Question

我有一组声明为static和fastcall的函数。他们中的大多数都使用指向结构的指针，该结构在C ++中或多或少地扮演this的角色。一些函数在结构中不需要任何东西，但为了统一起见，我想要传递指针。编译器会注意到该参数未被使用并且省略了为其分配寄存器吗？

Answer 1

我写了这个无意义的程序来测试这个。它在函数中有一些无意义的代码，并多次调用它，因为否则编译器只是内联整个函数调用使测试无用。（这是C和C ++的奇怪组合我知道......愚蠢的代码，但仍然可以证明这个问题）

#include <stdio.h>
#include <vector>
#include <algorithm>

using namespace std;

struct demo
{
    int a;
    char ch;
};

static  void __fastcall func(struct demo* d)
{
    for(int i = 0; i < 100; i++) {
    std::vector<int> a;
    std::sort(begin(a), end(a));
    printf("THis is a test");
    printf("Hello world\n");
    }
}

int main()
{
  //  void*p = (void*)&func;
    struct demo d;
    func(&d);
    func(&d);
    func(&d);
    func(&d);
    func(&d);
    func(&d);
    func(&d);
    //printf((const char*)p);
}

在那里写的函数调用compile到这个： -

    func(&d);
00F61096  call        func (0F61000h)  
    func(&d);
00F6109B  call        func (0F61000h)  
    func(&d);
00F610A0  call        func (0F61000h)  
    func(&d);
00F610A5  call        func (0F61000h)  
    func(&d);
00F610AA  call        func (0F61000h)  
    func(&d);
00F610AF  call        func (0F61000h)  
    func(&d);
00F610B4  call        func (0F61000h)

这表明如果没有使用，编译器确实会省略参数。然而如果我取消注释那两行以获取该函数的地址然后事情会发生变化，而是生成这个： -

00C71099  lea         ecx,[esp]  
00C7109C  call        func (0C71000h)  
    func(&d);
00C710A1  lea         ecx,[esp]  
00C710A4  call        func (0C71000h)  
    func(&d);
00C710A9  lea         ecx,[esp]  
00C710AC  call        func (0C71000h)  
    func(&d);
00C710B1  lea         ecx,[esp]  
00C710B4  call        func (0C71000h)

它发送指针的位置。

我的假设是，在第一种情况下，编译器能够证明如果它为函数生成了一个自定义调用约定，那么就不可能存在任何用户可见效果，但在第二种情况下，你需要一个指向函数的指针，该函数可以从另一个单独编译的模块调用，该模块无法知道该参数是否需要。虽然在这种情况下，无论寄存器是否已设置都无关紧要，但一般情况下编译器需要坚持精确的调用模式，因此我假设它生成了最通用的代码，如果可以，则不会使用自定义调用约定不能证明它可以看到所有可以调用该函数的代码。

无论如何，要回答这个问题，编译器不会总是在寄存器中传递未使用的参数，但我当然不会写任何依赖于任何特定行为的代码，因为在其他地方更改了不相关的代码（获取函数的地址）），改变了这种行为，我所能看到的任何标准都没有保证。

Answer 2

首先，编译器应该警告你未使用的函数参数，如果你使用正确的编译器标志（例如-Wall）。我建议保留你不使用参数列表的参数，虽然我猜他们会被优化掉。然而，您可以做些什么来确保编译代码两次，一次使用参数，一次不使用，并在二进制文件之间执行diff并查看它们是否匹配。我认为它应该取决于您使用的编译器和优化标志。

干杯，

安迪

Answer 3

您可以在函数定义中省略参数。这将给编译器提示不使用相关参数，它将从中受益并优化代码

void func（struct demo *） { ... }

编译器会优化静态函数的未使用参数吗？

3 个答案: