重载operator<<在GCC编译失败但MSVC正常的原因

这段C++代码在MSVC中可正常编译，但在GCC 12中编译失败，报错提示无法匹配std::basic_ostringstream<char>与const other::A的operator<<。将other命名空间中的class A移至全局命名空间后，GCC即可正常编译。

相关代码 #

#include <iostream>
#include <sstream>

template <class C>
class basic_format
{
public:
    
    template <typename T>
    basic_format & operator << (const T & val)
    {
        out << val;
        return *this;
    }

    std::basic_string<C> str() const { return out.str(); }

    operator std::basic_string<C>() const { return str(); }

private:
    
    std::basic_ostringstream<C> out;
};

using aformat = basic_format<char>;
using wformat = basic_format<wchar_t>;

namespace other
{
    class A {};
}

template <class C>
std::basic_ostream<C>& operator << (std::basic_ostream<C>& out, const other::A&)
{
    return out << static_cast<C>('A');
}

int main()
{
    other::A a;
    
    const std::string val = aformat() << a;

    std::cout << val << std::endl;
    
    return 0;
}

GCC 12报错信息 #

g++ -std=c++20 -pthread a.cpp -o a

a.cpp: In instantiation of ‘basic_format<C>& basic_format<C>::operator<<(const T&) [with T = other::A; C = char]’:
a.cpp:43:42:   required from here
a.cpp:12:13: error: no match for ‘operator<<’ (operand types are ‘std::__cxx11::basic_ostringstream<char>’ and ‘const other::A’)
12 |         out << val;
    |         ~~~~^~~~~~
...（省略重复候选operator信息）

原因分析 #

问题根源在于C++模板的名字查找规则以及**依赖参数查找(ADL)**的严格实现差异：

• basic_format::operator<<是模板函数，根据C++标准，模板定义点的普通查找只能看到当时已声明的名字。我们针对other::A的operator<<在basic_format模板定义之后才声明，因此普通查找无法找到它。
• ADL查找会在函数参数类型所在的命名空间中查找运算符。这里out << val的两个参数分别属于std（std::basic_ostringstream）和other（other::A）命名空间，但我们定义的operator<<在全局命名空间，不在这两个范围内，因此ADL也无法找到它。
• MSVC可能采用了非标准的查找逻辑（比如在模板实例化点进行普通查找），因此能找到全局的运算符重载；而GCC严格遵循标准，所以触发报错。

解决方案 #

方案1：将运算符重载移入other命名空间 #

让ADL能在other命名空间中匹配到该运算符：

namespace other
{
    class A {};

    template <class C>
    std::basic_ostream<C>& operator << (std::basic_ostream<C>& out, const A&)
    {
        return out << static_cast<C>('A');
    }
}

方案2：提前声明other::A和运算符重载 #

在basic_format模板定义前，先声明other::A和对应的operator<<，让模板定义点的普通查找能看到它：

namespace other
{
    class A;
}

template <class C>
std::basic_ostream<C>& operator << (std::basic_ostream<C>& out, const other::A&);

// 后续再定义basic_format模板...

方案3：将class A移至全局命名空间 #

这是用户已验证有效的方法，此时ADL会查找全局命名空间，匹配到对应的运算符重载。

内容的提问来源于stack exchange，提问作者Alexey Starinsky