c中无限循环内的变量声明是否会导致堆栈溢出

Question

这是一个简单的问题，但我只想把它扔在那里，并感谢是否有人可以验证我的理解是否正确或提供更多见解。 如果这是重复的帖子，我提前道歉。

例如。 在下面的代码中：

(1) stack_overflow.c

int main() {
   while (1) {
      int some_int = 0;
      char* some_pointer = some_function();

      // ... some other code ....

   }
}

(2) no_overflow.c

int main() {
   int some_int;
   char* some_pointer;

   while (1) {
      some_int = 0;
      some_pointer = some_function();

      // ... some other code ....

   }
}

我是否正确地说在第一个代码片段中，由于在无限循环中不断声明变量，此代码最终会导致堆栈溢出？ （无限循环是故意的）

然而，在第二个代码片段中，我们实际上将重用内存的相同部分，这是期望的结果，因为它会更有效。

编译器优化是否能够检测到这一点并防止堆栈溢出，如果可以，哪些 c 编译器和优化级别可以实现这一点？

Answer 1

不是这种情况。

每次进入循环体时，都会在堆栈上创建两个变量。 当循环到达结尾}时，这些变量就会被销毁。 在测试循环条件并重新输入主体后，会创建一对新的变量。

Answer 2

我是否正确地说在第一个代码片段中，由于在无限循环中不断声明变量，此代码最终会导致堆栈溢出？

不：

6.2.4 对象的存储期限
...
6 对于这种不具有可变长度数组类型的对象，它的生命周期从进入与其关联的块开始，直到该块的执行以任何方式结束。 （进入封闭的块或调用函数会暂停，但不会结束当前块的执行。）如果递归地进入块，则每次都会创建对象的新实例。 对象的初始值是不确定的。 如果为对象指定了初始化，则在执行块时每次到达声明或复合文字时都会执行它； 否则，每次达到声明时，值都会变得不确定。

7 对于这种具有可变长度数组类型的对象，它的生命周期从对象的声明开始，直到程序的执行离开声明的范围。 ³⁵⁾如果递归进入范围，则每次都会创建一个新的对象实例。 对象的初始值是不确定的。

---

^{35) 离开包含声明的最里面的块，或跳转到该块中的某个点或声明之前的嵌入块，离开声明的范围。}

^{C 2011 在线草案}

每次循环时， some_int和some_pointer的新实例都将在循环体的开头创建并在循环体结束时销毁 - 从逻辑上讲，无论如何。 在我使用的大多数实现中，这些项目的存储将在函数入口处分配一次，并在函数出口处释放。 然而，这是一个实现细节，虽然它很常见，但您不应该依赖它在任何地方都是正确的。

如果some_function动态分配内存或其他一些在循环结束之前没有被释放的资源，你可能会耗尽你的动​​态内存池或其他什么，但它不应该导致堆栈溢出。

Answer 3

通常没有，但这不是最佳做法。 但是，如果some_function()每次调用都分配一个变量，并且它没有在同一个循环中被释放，那么您将丢失分配变量的位置并出现内存错误。

请分享其余代码以获得更清晰的答案。