我有一个关于以下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可以在执行到达其块的入口点之前绑定到内存空间,并且只要不影响代码的语义,就可以随时无限制.
