将在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 ....

   }
}

am我正确地说，在第一代码段中，此代码最终会导致堆栈溢出，因为无限循环内部不断声明变量？ （无限循环是有意的）

，而在第二个代码段中，我们实际上将重复使用相同的内存，这是所需的结果，因为它将更有效。

编译器优化是否能够检测到这一点并防止堆栈溢出，如果是的，哪个compilers＆amp;优化水平会实现这一目标吗？

Answer 1

事实并非如此。

每次输入循环的主体时，都会在堆栈上创建两个变量。当循环击中结束}时，这些变量然后被破坏。测试循环条件并重新输入身体后，创建了新的变量。

Answer 2

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

不：

6.2.4对象的存储持续时间
...
6对于没有可变长度阵列类型的对象，其寿命从进入与之关联的块直到该块以任何方式结束 延伸。 （输入一个封闭的块或调用函数暂停，但不会结束，执行当前块。）如果递归输入块，则每次都会创建对象的新实例。对象的初始值不确定。 如果为对象指定了初始化，则每次在执行块的执行中达到声明或复合文字时都会执行。否则，每次达到声明。

时，该值将不确定
7对于确实具有可变长度阵列类型的对象，其寿命从对象的声明延伸到程序执行之前，请留下声明的范围。 ^35）如果递归输入范围，每次都会创建一个对象的新实例。对象的初始值不确定。

---

^{35）离开包含声明的最内向块，或在声明之前跳到该块或嵌入式块中的一个点，离开声明的范围。}

^{C 2011 Online Draft}

每次通过循环，some_int和some_pointer的新实例将在循环主体的开头创建，并在其结束时被摧毁 - 无论如何，从逻辑上讲。在我使用的大多数实现中，这些项目的存储将在功能输入时分配一次，并在功能退出时发布。但是，这是一个实现细节，尽管很常见，但您不应该依靠它到处都是真实的。

如果some_function动态分配内存或其他在循环结束之前未被释放的资源，则可以耗尽动态内存池或其他方式，但这并不应该导致堆栈溢出。

Answer 3

通常不是，但这不是最好的做法。
但是，如果some_function（）是在每个调用中分配一个变量，并且它不会在同一循环中释放，则您将失去分配变量的位置并具有内存错误。

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