背景:

因此，我一直在观看一些教程视频，了解编译器和链接器(在 VS 2017 VC++ 编译器/链接器中)如何通过查看汇编文件拼凑所有内容来工作。当我将这两个 cpp 文件编译并链接在一起时:

main.cpp (注意:我删除了与 c 库的隐式链接并定义了我自己的“mainCRTStartup”函数，以便更轻松地查看结果 .exe 文件。)

int Func1(int x);

int mainCRTStartup(void)
{
    Func1(3);

    return 0;
}

func1.cpp

int Func1(int x)
{
    x +=2;

    return x;
}

我得到的 main.exe 在程序集中看起来像这样:

File Type: EXECUTABLE IMAGE

  0000000140001000: CC                 int         3
  0000000140001001: CC                 int         3
  0000000140001002: CC                 int         3
  0000000140001003: CC                 int         3
  0000000140001004: CC                 int         3
@ILT+0(?Func1@@YAHH@Z):
  0000000140001005: E9 36 00 00 00     jmp         ?Func1@@YAHH@Z
@ILT+5(?mainCRTStartup@@YAHXZ):
  000000014000100A: E9 11 00 00 00     jmp         ?mainCRTStartup@@YAHXZ
  000000014000100F: CC                 int         3
  0000000140001010: CC                 int         3
  0000000140001011: CC                 int         3
  0000000140001012: CC                 int         3
  0000000140001013: CC                 int         3
  0000000140001014: CC                 int         3
  0000000140001015: CC                 int         3
  0000000140001016: CC                 int         3
  0000000140001017: CC                 int         3
  0000000140001018: CC                 int         3
  0000000140001019: CC                 int         3
  000000014000101A: CC                 int         3
  000000014000101B: CC                 int         3
  000000014000101C: CC                 int         3
  000000014000101D: CC                 int         3
  000000014000101E: CC                 int         3
  000000014000101F: CC                 int         3
?mainCRTStartup@@YAHXZ:
  0000000140001020: 48 83 EC 28        sub         rsp,28h
  0000000140001024: B9 03 00 00 00     mov         ecx,3
  0000000140001029: E8 D7 FF FF FF     call        @ILT+0(?Func1@@YAHH@Z)
  000000014000102E: 33 C0              xor         eax,eax
  0000000140001030: 48 83 C4 28        add         rsp,28h
  0000000140001034: C3                 ret
  0000000140001035: CC                 int         3
  0000000140001036: CC                 int         3
  0000000140001037: CC                 int         3
  0000000140001038: CC                 int         3
  0000000140001039: CC                 int         3
  000000014000103A: CC                 int         3
  000000014000103B: CC                 int         3
  000000014000103C: CC                 int         3
  000000014000103D: CC                 int         3
  000000014000103E: CC                 int         3
  000000014000103F: CC                 int         3
?Func1@@YAHH@Z:
  0000000140001040: 89 4C 24 08        mov         dword ptr [rsp+8],ecx
  0000000140001044: 8B 44 24 08        mov         eax,dword ptr [rsp+8]
  0000000140001048: 83 C0 02           add         eax,2
  000000014000104B: 89 44 24 08        mov         dword ptr [rsp+8],eax
  000000014000104F: 8B 44 24 08        mov         eax,dword ptr [rsp+8]
  0000000140001053: C3                 ret
  0000000140001054: CC                 int         3
  0000000140001055: CC                 int         3
  0000000140001056: CC                 int         3
  0000000140001057: CC                 int         3

问题:

我在这里遇到两个问题:

1.) 在视频中，当老师在链接所有内容后检查他的 .exe 文件时，他有“调用”指令，后跟硬编码地址，如 000040001000，但在我的 asm 文件中，我仍然有符号名称 @ILT+0(?Func1@@YAHH@Z) 我想调用的函数。我以为链接器的工作是解析这个符号并为 .exe 放入一个绝对地址？我知道当 exe 加载到内存中时，这个地址不是最终地址，但仍然认为像 000040001000 这样的绝对地址会被放在那里。

2.) 在教程视频中，当 Func1 的“调用”指令在 VS 调试器中运行时，调试器直接跳转到存储函数代码开头的地址。然而，对于我的 exe(你可以在上面看到)，调用指令首先跳转到其他地址(在我的 asm 文件中由 @ILT+0(?Func1@@YAHH@Z) 表示) AND THEN 调用 jmp 指令，然后跳转到函数 Func1 的代码。为什么我在我的代码中使用“call”然后“jmp”获得这种双重间接寻址？

最佳答案

Visual Studio 在执行“调试”构建时会为大多数或所有函数创建一个跳转表，从而创建“额外的间接层”。如果完成“发布”构建，则不会创建跳转表，并且对函数的调用将由链接器填充其地址/偏移量。

尝试进行发布构建，也许是打开调试功能的发布构建，以便您可以看到函数名称。请注意，为发布版本打开调试内容需要更改项目属性和项目属性中的源文件。

关于c++ - 为什么在调用函数时要多一层间接寻址？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/48359654/