为什么自定义命名空间内定义的operator<<调用时找不到？必须放全局吗？

核心原因是C++对非限定名函数调用的查找规则，特别是**参数依赖查找（ADL，又称Koenig查找）**的触发逻辑：

• 对于类似std::cout << time_point这样的运算符表达式，本质是对operator<<的非限定函数调用，编译器查找匹配重载时会分两步执行：
  1. 常规作用域查找：从调用点所在的作用域开始，一层层向外遍历，直到全局作用域，寻找匹配的函数声明。
  2. 参数依赖查找：在常规查找的结果基础上，额外遍历所有实参类型所属的最内层命名空间（包括其外围嵌套命名空间、关联的模板实例化所属命名空间），补充查找匹配的重载。
• 对应你的代码场景：
  两个操作数的类型分别为std::ostream、std::chrono::system_clock::time_point，全部属于std及其嵌套子命名空间，和my_namespace没有任何从属关联。
  当自定义的operator<<定义在my_namespace内部时：
  • 常规查找：main函数位于全局作用域，全局作用域没有该函数的声明，无法命中。
  • 参数依赖查找：仅会扫描和操作数相关的std、std::chrono命名空间，完全不会访问无关的my_namespace，自然无法找到你定义的重载，最终触发编译报错。
• 当你把operator<<移到全局命名空间时，常规查找遍历到全局作用域即可直接命中对应声明，编译流程自然顺利通过。

补充说明：这也是为什么我们通常为自定义类型重载operator<<时，将其放在和类型相同的命名空间下可以正常工作——此时操作数是该命名空间的自定义类型，参数依赖查找会自动扩展到该命名空间定位重载。但本场景中操作数属于标准库，和自定义命名空间无关联，因此这种写法无法被查找规则命中。

完全不需要。只要能让编译器在查找调用对应的operator<<时定位到你的函数声明，定义位置没有强制要求，常见的可落地方案包括：

• 在调用前通过using声明引入目标重载：比如在main函数开头添加using my_namespace::operator<<;，将命名空间内的函数引入当前作用域，常规查找即可命中。
• 自定义配套类型做包装：在my_namespace中定义包装结构体持有目标time_point，为该包装类型实现operator<<，此时因为操作数是my_namespace的自定义类型，参数依赖查找会自动在该命名空间中找到对应的重载。
• 注意事项：不要尝试将自定义的operator<<直接加入std命名空间，这属于C++标准定义的未定义行为——标准仅允许用户对std中已存在的模板进行全特化，不允许随意向std命名空间新增自定义定义。

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