c中的goto和自动变量初始化器

Question

在教程中说

如果使用 goto 语句跳转到块的中间，该块中的自动变量不会被初始化。

那么在下面的代码中，如果我可以被访问/声明，那么为什么它没有被初始化？

int main()
{
   goto here;
   {
     int i=10;
     here:
      printf("%d\n",i);
   }
   return 0;
}

ps：输出是一些垃圾值。

Answer 1

您的问题“如果可以访问i，为什么...”背后没有逻辑。能够“访问i”并不是支持或反对任何事情的理由。这只是意味着printf 语句与i 在同一范围内。但是，由于您跳过了初始化程序，因此变量未初始化（正如您的教程所说）。

读取未初始化的变量是未定义的行为，因此您的程序格式错误。

变量i 的内存在编译时已经被留出，因为已知该变量存在于内部块中。正如您想象的那样，内存不会动态分配。它已经存在，但由于goto，它从未设置为任何确定的值。

经验法则：不要跳过初始化程序。

Answer 2

变量在声明它们的范围内是可见的（在这种情况下，在{} 之间），与该范围内语句的执行顺序无关。 goto 绕过了i 的初始化，这意味着在调用printf() 时它具有未定义的值。

Answer 3

考虑另一种明显的情况：

int main()
{
    int i; //i is declared, but not initialized
    goto here;
    {
       i=10;//i is initialized 
       here: //you've skipped the initialization
       printf("%d\n",i);//and got garbage
    }
return 0;
}

在你的情况下：

int main()
{

    goto here;
    {
       //printf("%d\n",i);  // i does not exist here yet
       int i; //from here until the end of the scope variable i exists
       i=10;  // i exists here and smth is written into it
   here:  // i exists here
       printf("%d\n",i); // i exists here and it's value is accessed
    }
return 0;
}

所以，int i = 5; 这真的是两件事。一个是声明，不能被任何东西跳过，包括goto（就像打开新范围也不受影响。你已经跳到范围的中间，但范围已经在那里）。其次是操作赋值，因为是正常操作（程序流程），所以可以被goto或者'break'或者'continue'或者'return'跳过

Answer 4

C 编译器将解析源文件并“记录”任何变量初始化。
当它到达

printf("%d\n", i)

它将知道变量 i 已经存在并且他应该能够使用它，因为它在范围内。
At 执行空间是在 main 函数调用之后，main() 中的任何代码执行之前，堆栈上的 i 变量保留的。

Answer 5

因为语言标准是这样说的：

6.7.8 初始化

语义

如果具有自动存储持续时间的对象未显式初始化，则其值是不确定的。

J.2 未定义行为

在以下情况下行为未定义：

具有自动存储期限的对象的值在不确定时使用。

6.8.4.2 switch 语句

EXAMPLE 在仿真程序片段中

switch (expr)
{
  int i = 4;
  f(i);
  case 0:
    i = 17;
    /* falls through into default code */
  default:
    printf("%d\n", i);
}

标识符为 i 的对象存在自动存储持续时间（在块内）但从未初始化，因此如果控制表达式具有非零值，则对 printf 函数的调用将访问一个不确定的值。同样的，函数 f 的调用也无法到达。

Answer 6

C 允许您访问地址空间内的任何内容，无论它是否实际初始化。有时像那样工作会崩溃或显示垃圾，有时它会打印一些有用的东西，但这都是未定义的行为。很方便的把戏，但却是破坏程序的好方法，所以不要认为仅仅得到结果就意味着你的把戏有效。