命名空间内类型通过{fmt}结合ostream打印失效问题咨询

这个报错和类型是否定义在命名空间内没有直接关联，本质是C++**参数依赖查找（ADL）**规则与{fmt} ostream适配逻辑的匹配问题：
引入<fmt/ostream.h>后，{fmt}自动识别流输出类型的逻辑，依赖ADL查找目标类型对应的operator<<重载。ADL查找运算符重载时，只会检索参数类型关联的命名空间（即类型本身定义所在的命名空间、其基类所在命名空间等），不会主动扫描全局命名空间。
你的代码里foo::A定义在foo命名空间，但operator<<写在了全局命名空间，ADL找不到这个重载，{fmt}就会判定该类型不支持流输出，抛出静态断言错误。

不需要手动实现formatter<foo::A>模板特化，只要调整operator<<的位置让ADL能检索到即可，有两种可选实现：

• 方案一（推荐，符合C++最佳实践）：直接把operator<<定义到和类型相同的foo命名空间内
  修正后的可运行代码：

  #include <fmt/format.h>
  #include <fmt/ostream.h>
  
  namespace foo {
    struct A {};
    // 运算符和类型放在同一命名空间，ADL可正常查找
    std::ostream& operator<<(std::ostream& os, const A& a)
    {
      return os << "A!";
    }
  }
  
  int main()
  {
    fmt::print("{}\n", foo::A{}); // 正常输出 A!
  }
  

• 方案二（适配已有全局运算符的场景）：如果全局命名空间下的operator<<是历史遗留代码、不方便移动，可以在类型所在的foo命名空间内加using声明，把全局的运算符重载导入到关联命名空间供ADL查找：

  #include <fmt/format.h>
  #include <fmt/ostream.h>
  
  namespace foo {
    struct A {};
    // 导入全局命名空间的operator<<到当前命名空间
    using ::operator<<;
  }
  
  // 全局已有的流输出运算符，无需移动位置
  std::ostream& operator<<(std::ostream& os, const foo::A& a)
  {
    return os << "A!";
  }
  
  int main()
  {
    fmt::print("{}\n", foo::A{}); // 正常输出 A!
  }
  

两种方案都可以让{fmt}自动识别类型的流输出支持，不需要额外写formatter特化，编译运行均正常。

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