重载决议无法找到跨命名空间operator+：模板参数为何影响编译？

核心原因：参数依赖查找（ADL）的关联命名空间规则 #

这个问题的关键在于编译器如何通过ADL查找n1::operator+，而ADL的查找范围完全由模板实例化时的参数类型决定：

当处理a + b表达式时，编译器会通过两种途径查找operator+：

1. 普通查找：遍历当前及外层作用域中可见的运算符。你的代码里没有using n1::operator+声明，所以普通查找无法定位到n1命名空间下的operator+。
2. ADL查找：自动将操作数类型的关联命名空间纳入查找范围。

关联命名空间的判定逻辑 #

对于模板实例化生成的类对象，其关联命名空间包含：

• 模板类自身所在的命名空间（此处为全局命名空间）
• 若模板参数是类类型，则该类所在的命名空间也会被加入ADL查找范围（对应C++标准[basic.lookup.argdep]章节，或cppreference中关于参数依赖查找的说明）

逐个拆解代码中的编译情况 #

• Base{} + 3：Base属于n1命名空间，ADL直接查找n1，找到operator+，编译正常。
• X{} + 3：X的默认模板参数是Base（n1下的类），因此X<>的关联命名空间包含n1，ADL成功找到operator+。
• Y<Base>{} + 3：Y的模板参数是Base，关联命名空间包含n1，ADL找到运算符，编译通过。
• Y{} + 3：Y的默认模板参数是void（非类类型），关联命名空间仅为全局，ADL找不到n1::operator+，普通查找也无结果，编译失败。
• X<void>{} + 3：X的模板参数是void，关联命名空间仅为全局，同样无法找到目标运算符，编译失败。

解决方法：显式引入运算符 #

当你取消using n1::operator+的注释后，该运算符被引入全局作用域，普通查找即可定位到它，此时无论ADL是否生效，所有加法表达式都能正常编译。

内容的提问来源于stack exchange，提问作者Luka Govedič