Question

#include <stdio.h>
#include <string.h>
#include <iostream>
using namespace std;
int main() {
    for(int i=0;i<5;++i)
    {
            int x=i;
         cout<<&x<<endl;
    }
}

现在每次打印相同的内存地址。现在x在每次迭代后被销毁，因为它只是一个局部变量。但为什么x的地址总是一样的？

Answer 1

我们可以看看这个程序的反汇编，以了解发生了什么。在开始之前，我们可以通过替换cout，endl - ＆gt;＆gt;来简化它。的printf。没有什么特别的，但是反汇编的循环会稍微短一些。

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
int main() {
    for(int i=0;i<5;++i)
    {
            int x=i;
            printf("%x\n",&x);
    }
}

构建g++ -o main main.c，运行./main，使用objdump -d main进行反汇编，使用注释进行反汇编（有意义的行标有“＆lt;＆lt; - ”，命令的机器代码为删除）：

0000000000400810 <main>:
400810: push   %rbp       ; prologue
400811: mov    %rsp,%rbp  ; --------
400814: sub    $0x10,%rsp ; <<-- Prepare place at stack 
                                           ;      for two 4-byte variables!
                                           ; Addr. space: 0x4 + 0x4 = 0x10
400818: movl   $0x0,-0x4(%rbp)    ; init i with a 0
40081f: jmp    400841 <main+0x31> ; start loop -------------------.
400821: mov    -0x4(%rbp),%eax    ; <<-- move i to eax <----------|-.
400824: mov    %eax,-0x8(%rbp)    ; <<-- move eax to x            | |
400827: lea    -0x8(%rbp),%rax    ; <<-- load effective           | |
                                  ; address of x to rax           | |
40082b: mov    %rax,%rsi          ; param - address of x          | |
40082e: mov    $0x400940,%edi     ; param - address of format str | |
400833: mov    $0x0,%eax          ; param - final zero            | |
400838: callq  4006a0 <printf@plt>; call printf(..)               | |
40083d: addl   $0x1,-0x4(%rbp)    ; increment i                   | |
400841: cmpl   $0x4,-0x4(%rbp)    ; compare with 4     <----------' |     
400845: jle    400821 <main+0x11> ; if <= go to --------------------'
400847: mov    $0x0,%eax          ; default return value
40084c: jmp    400856 <main+0x46>
40084e: mov    %rax,%rdi
400851: callq  400710 <_Unwind_Resume@plt>
400856: leaveq 
400857: retq

因此，编译器只需将x移出循环并将其保存在堆栈中。因此，我们有一个x的常量地址。使用System V AMD64 ABI调用约定在x86_64上测试。

Answer 2

每个x重用与前一次迭代中的旧x相同的内存空间，因为旧的x不再需要它：）

Answer 3

这可能是编译器的贡献。它们设计有优化功能。你必须检查编译器的输出代码，看看为什么会这样。

为什么每次为本地范围内的变量分配相同的地址？

3 个答案: