跨命名空间调用自定义类型operator<<时出现编译错误

问题重现 #

编译错误信息：

<source>: In function 'void abc::func(std::ostringstream&, const Foo&)':
<source>:38:9: error: no match for 'operator<<' (operand types are 'std::basic_ostream<char>' and 'const abc::Foo::MyType' {aka 'const abc::util::MyType'})
   37 |     oss << ';'
      |     ~~~~~~~~~~
      |         |
      |         std::basic_ostream<char>
   38 |         << foo.value;
      |         ^~ ~~~~~~~~~
      |                |
      |                const abc::Foo::MyType {aka const abc::util::MyType}

最小复现代码：

#include <sstream>
#include <string>
#include <print>

namespace abc::util
{
struct MyType
{
    std::string value;
};

std::ostringstream&
operator<<( std::ostringstream& oss, const MyType& some_value )
{
    oss << some_value.value;
    return oss;
}
}

namespace abc
{
struct Foo
{
    using MyType = util::MyType;
    MyType value { "12345" };
};

void
func( std::ostringstream& oss, const Foo& foo )
{
    oss << ';'
        << foo.value; // 无法编译
    
    // oss << ';';
    // oss << foo.value; 可正常编译
}
}

int main( )
{
    std::ostringstream oss;
    abc::func( oss, abc::Foo { } );
    std::println( "{}", oss.view( ) );
}

核心原因 #

问题出在链式调用时的返回值类型变化和ADL（实参相关查找）的匹配规则：

1. 分开调用的逻辑
   执行oss << ';'后，oss的类型依然是std::ostringstream&。接下来单独调用oss << foo.value时，编译器会触发ADL：因为foo.value的类型是abc::util::MyType，所以会去abc::util命名空间查找对应的operator<<，刚好你定义的运算符第一个参数是std::ostringstream&，和oss的类型完全匹配，因此编译通过。

2. 链式调用的逻辑
   链式调用中，oss << ';'的返回值不是std::ostringstream&，而是std::basic_ostream<char>&——这是因为标准库中针对char的operator<<定义在std命名空间，且返回基类basic_ostream的引用。

   此时用这个基类引用去调用<< foo.value时，编译器会查找能匹配std::basic_ostream<char>&和const abc::util::MyType&的operator<<：

   • std命名空间中没有针对MyType的运算符；
   • 你定义的operator<<第一个参数是std::ostringstream&（派生类），无法匹配基类引用std::basic_ostream<char>&；
     因此找不到匹配的运算符，编译报错。

解决方案 #

将你的operator<<的第一个参数改为基类std::ostream&（或std::basic_ostream<char>&），这样无论链式还是分开调用都能匹配：

namespace abc::util
{
// 修改后的运算符
std::ostream&
operator<<( std::ostream& oss, const MyType& some_value )
{
    oss << some_value.value;
    return oss;
}
}

修改后，链式调用中oss << ';'返回的std::ostream&可以匹配运算符的第一个参数，同时ADL依然会找到abc::util命名空间中的这个运算符，编译即可正常通过。

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