c++ - 为什么 MSVC 不为 char 或 const char* 优化 cout 而为 int 优化？

Question

比较代码:

    const char x = 'a';
    std::cout<< x;
00C31000  mov         eax,dword ptr [__imp_std::cout (0C32054h)]  
00C31005  push        eax  
00C31006  call        std::operator<<<std::char_traits<char> > (0C310B0h)  
00C3100B  add         esp,4  

和

    const int x = 'a';
    std::cout<< x;
00271000  mov         ecx,dword ptr [__imp_std::cout (272048h)]  
00271006  push        61h  
00271008  call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (272044h)]  

和

    const char* x = "a";
    std::cout<< x;
00071000  mov         eax,dword ptr [__imp_std::cout (72058h)]  
00071005  push        eax  
00071006  call        std::operator<<<std::char_traits<char> > (710B0h)  
0007100B  add         esp,4 

似乎 const int 版本比 const char* 和(更令人惊讶的)const char 优化得更好> 版本。 问题 - 为什么生成的代码存在差异？

Answer 1

一些重载 operator<< (包括 int ，但不 char 或 const char* )是 std::ostream 的成员;有些是采用 std::ostream& 的非成员函数作为他们的第一个参数。

Microsoft 的编译器对成员函数和非成员函数使用不同的调用约定。我猜您正在为 32 位 Windows 构建。在这种情况下，成员函数将使用 thiscall惯例，其中 this在寄存器中传递 ecx其余参数在堆栈上传递；和非成员函数使用 cdecl约定，其中所有参数都在堆栈上传递。