在块作用域中,使用跳转向前越过变量的初始化,则变量没有被初始化,如果向后跳转回到变量初始化之前然后继续执行,则变量初始化2次。
变量的作用域从其声明处开始,所以虽然进入块的时候变量已经存在,但是只有到达其声明处后才能用名称来引用该变量。
不过这些规则对于变长数组有一定变化。实现只有到达变长数组声明处才知道需要多少空间,所以在声明之前无法创建变长数组。所以对于跳转有一定要求:禁止向前跳转到VLA声明之后,因为这样就无法创建VLA,如果代码中有这样的跳转要给出诊断信息。在VLA声明之后跳转到之前,则会销毁VLA。
在存在异步信号的场合,要支持函数的可重入,则实现必须保证函数返回值具有自动存储期。