1. 背景

goto语句虽然目前已经不提倡使用，但是用起来还是很方便，尤其是老代码中见的比较多。

在改动有goto语句的老代码时需要特别注意，是否跳过来资源的释放、有用变量的初始化等等。

很久之前写c程序时，有些提交系统要求变量必须在函数开始地方全部申明，最近遇到了"crosses initialization of XXX"知道为什么了。就是因为有可能跳过变量的声明。

2. 代码例子

例子1:

1 #include 
     
       2 class Test{ 3 public: 4     int a; 5 }; 6  7 int main(){ 8     Test t1;  9     std::cout << "ok" << std::endl;10     goto _Lab1; 11     Test *t2 = new Test; //1 12     //Test t2;  //213 _Lab1:14     std::cout << t2->a << std::endl;    //1 15     //std::cout << t2.a << std::endl;   //216     return 0;17 }
     

从代码中也可以看出来，

(1) 在只打开第一种情况下，“goto _Lab1”跳过来t2变量的定义，导致t2没有初始化。编译报错。

(2) 在只打开第二种情况下，由于Test类没有显示构造函数，编译器会提供无参数的默认构造函数。编译正常。执行后t2.a 是随机的int值。

例子2:

1 #include 
     
       2 class Test{ 3 public: 4     Test(int _a):a(_a){};   //提供显示构造函数 5     int a; 6 }; 7  8 int main(){ 9     Test t1(1);10     std::cout << "ok" << std::endl;11     goto _Lab1; 12     Test t2(3); //没有执行初始化13 _Lab1:14     std::cout << t2.a << std::endl;15     return 0;16 }
     

Test类显示提供了带参数构造函数后，t2由于goto语句导致未初始化，编译失败。