clang++无法匹配std::optional<int>对应的自定义模板operator<<函数

这个问题是C++的名字查找规则（普通查找+ADL参数依赖查找）共同导致的，具体原理如下：

• 你在ABC的operator<<函数内部调用operator<<时，普通查找会优先匹配当前作用域内的同名函数（也就是当前正在定义的、接收ABC类型的operator<<），匹配失败后不会继续向外查找全局作用域的模板函数。
• 接下来触发ADL查找，会检查所有参数的关联命名空间：
  1. 当输出std::optional<MyType>时，参数包含自定义类型MyType，它的关联命名空间是全局命名空间，因此ADL会找到你定义在全局的operator<<模板，匹配成功。
  2. 当输出std::optional<int>时，int是内置类型没有关联命名空间，两个参数std::ostream和std::optional<int>都属于std命名空间，ADL只会在std命名空间内查找，没有对应重载就会报错。

方案1：在使用位置显式引入全局重载（最便捷） #

在ABC的operator<<函数开头引入全局作用域的operator<<，让普通查找能匹配到模板：

inline std::ostream& operator<<(std::ostream& stream, const ABC& abc)
{
    using ::operator<<; // 新增此行，引入全局的运算符重载
    stream << abc.a;
    stream << abc.b;
    return stream;
}

方案2：将自定义运算符放到专属命名空间统一管理（更规范） #

为了避免全局命名空间污染，你可以把所有通用工具函数放到自定义命名空间：

// foo.h修改为
namespace my_utils {
    template <typename T>
    std::ostream& operator<<(std::ostream& stream, const std::optional<T>& info)
    {
        if (info) {
            stream << *info;
        } else {
            stream << "None";
        }
        return stream;
    }
}

使用时在需要的作用域引入即可：

inline std::ostream& operator<<(std::ostream& stream, const ABC& abc)
{
    using namespace my_utils;
    stream << abc.a;
    stream << abc.b;
    return stream;
}

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