据我所知,是的,这是一个有效的翻译。不,这几乎是100%肯定不是你的编译器要产生的翻译。C标准有所谓的 as-if rule 这意味着编译器可以自由生成 任何 犹如

例如,在实践中,编译器可以生成以下程序:

• '3' 在函数调用中用作第一个参数的寄存器中
• 呼叫 putchar
• 将用作返回值的寄存器归零
• main 功能

对于一个观察者来说,这个程序的副作用和你的程序的副作用是无法区分的:它会打印出来 3 从 具有 0 作为返回值。

差不多了 怎么翻译 ,尽管函数的局部变量通常在堆栈上分配,而不是请求操作系统提供一些内存来存储它们。

当然,有了智能编译器,源代码中有足够的信息,可以简单地将整个过程优化到:

int main(void) { putchar('3'); }

ISO C标准没有规定 怎样

变量 a b 和 pa 将在堆栈中分配。因此,不需要向操作系统请求内存分配——您只需要使用由进程本身控制的堆栈。也许它不会要求16个字节——4个字节就足够了,因为您有效地使用了变量 . 即使那个是常数,所以 一 可以替换为 1

第四步: 编译器可能会完全跳过此步骤,因为您没有使用 宾夕法尼亚州 直到下一步重新分配。

推这两个论点( %d\0 字符串和值 1 printf . 不知道它是否输出到终端——也许 stdout 正在重定向到文件吗?

最终不可能确切地知道源代码将产生什么指令。取决于体系结构、操作系统/OS版本、编译器/cc版本、编译器标志。。。