为何X的operator<在匿名命名空间无法被std::less识别？能否跨编译单元定义不同实现？

一、为什么匿名命名空间里的operator<会让std::less<X>报错？ #

先理清楚两个核心逻辑：

• std::less<T>的默认查找规则是：在全局命名空间以及T所在的命名空间里搜索operator<重载，不会主动去遍历匿名命名空间。
• 你最初用的static全局operator<，虽然它的链接属性是“仅当前编译单元可见”，但它的作用域仍属于全局命名空间，所以当前编译单元内实例化std::less<X>时，能正常匹配到这个重载，编译自然没问题。

而把operator<放进匿名命名空间后，这个函数的作用域被严格限制在匿名命名空间内部——匿名命名空间的名字是编译器自动生成的唯一标识，外部代码（包括std::less的模板实现）根本无法访问到里面的函数，因此就会出现匹配失败的报错。

二、同一结构体X的operator<能不能在不同编译单元有不同定义？ #

绝对不行，这直接违反了C++的单定义规则（ODR）：

1. 如果是非static的全局operator<，不同编译单元的不同定义会导致链接阶段符号冲突，直接编译失败。
2. 如果是static的全局operator<，虽然链接时不会冲突（每个编译单元会生成独立的函数副本），但这属于未定义行为——不同编译单元里的std::set<X>会使用完全不同的比较逻辑，比如在A单元插入的元素，放到B单元的std::set<X>中可能排序混乱、查找失效，彻底打乱程序逻辑。

从语义角度说，同一个类型的比较运算符必须保持逻辑统一，否则代码的可维护性和正确性完全无从谈起。

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