为什么 MSVC 不针对 char 或 const char* 优化 cout，但它为 int 优化？

Why doesn't MSVC optimize cout for char or const char* but it does for int?

本文关键字：char 优化 cout int MSVC const 为什么      更新时间：2023-10-16

比较代码：

    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版本优化得更好。问题 - 为什么生成的代码有所不同？

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

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

从运算符名称来看：因为一个是成员，另一个是自由函数。

相关文章：