goto语句引起的crosses initialization of XXX

1. 背景

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

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

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

2. 代码例子

例子1:

#include <iostream>
class Test{
public:
    int a;
};

int main(){
    Test t1; 
    std::cout << "ok" << std::endl;
    goto _Lab1; 
    Test *t2 = new Test; //1 
    //Test t2;  //2
_Lab1:
    std::cout << t2->a << std::endl;    //1 
    //std::cout << t2.a << std::endl;   //2
    return 0;
}

从代码中也可以看出来，

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

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

例子2:

#include <iostream>
class Test{
public:
    Test(int _a):a(_a){};   //提供显示构造函数
    int a;
};

int main(){
    Test t1(1);
    std::cout << "ok" << std::endl;
    goto _Lab1; 
    Test t2(3); //没有执行初始化
_Lab1:
    std::cout << t2.a << std::endl;
    return 0;
}

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