堆栈空间何时分配给局部变量？

我有一个关于以下C代码的问题：

void my_function()
{
    int i1;
    int j1;

    // Do something...

    if (check_something())
    {
        int i2;
        int j2;

        // Do something else...
    }

    // Do some more stuff...
}

对于为i2和j2分配/释放堆栈空间还是依赖于编译器,是否有任何保证？我希望当i2和j2进入范围时,堆栈指针被调整,当它们超出范围时调整后备份,但是后来认为一些编译器可能只是“优化”整个事物,并在嵌套的范围内考虑变量首先输入该功能.

我知道我可以看看我的编译器生成的汇编代码,但是想知道实现是否可以留给编译器.

谢谢！

解决方法

只要语言的语义被保留,编译器就可以自由地做任何事情.换句话说,i2和j2可以在执行到达其块的入口点之前绑定到内存空间,并且只要不影响代码的语义,就可以随时无限制.

原文地址：https://www.jb51.cc/c/115566.html