模板推导中限定名与非限定名查找的差异及C++模板方法重载匹配异常问题问询

用大白话给你掰明白这两个概念：

• 限定名查找：就是带::前缀的名字查找，比如std::cout、B::Foo。规则非常明确：只在你指定的作用域（以及该作用域的嵌套子作用域）里搜索，不会去其他命名空间瞎找，也不触发参数依赖查找（ADL），属于「精准定位式」查找。
• 非限定名查找：不带::的名字，比如你代码里的Foo(elem)。查找路径分三步：
  1. 从当前代码所在的作用域开始，逐层往外层作用域找；
  2. 如果是在模板中，还要结合模板实例化时的上下文；
  3. 额外触发ADL——根据函数参数的类型所属命名空间，去对应空间里匹配函数。

你遇到的「传入Bar类型数组时调用默认模板」的问题，本质是模板定义阶段的名字查找规则导致的。

问题根源 #

看你B命名空间里的函数顺序：

1. 先实现默认模板Foo(const T&)
2. 接着实现数组重载Foo(const std::array<T,N>&)
3. 最后才实现Foo(const A::Bar<T>&)

当编译器解析数组重载的模板定义时（这是实例化前的阶段），在B命名空间里只能看到前两个Foo——默认模板和正在定义的数组重载。此时Bar的重载还没被声明，编译器根本不知道它的存在。

而数组重载里的Foo(elem)是非限定名查找，由于elem的类型依赖模板参数T，Foo属于「依赖名」，查找规则是：定义时找到的名字 + 实例化时ADL找到的名字。但Bar的重载在B命名空间，ADL只会去elem类型所属的A命名空间搜索，所以实例化时也找不到Bar重载，只能匹配默认模板。

你发现的两种解法为什么有效？ #

1. 移除所有命名空间：所有Foo都进入全局作用域，全局作用域的名字查找会考虑整个翻译单元的声明——哪怕Bar重载在数组重载之后，实例化时也能遍历到全局作用域的所有Foo版本。
2. 前置声明所有模板原型：这是C++解决模板名字查找问题的标准操作。在B命名空间开头先声明所有Foo重载，编译器解析数组重载时就已经知道Bar重载的存在，实例化时自然能匹配到正确版本。

更直接的替代解法 #

不想调整声明顺序？直接把数组重载里的Foo(elem)改成B::Foo(elem)——用限定名查找。这样编译器会直接去B命名空间遍历所有Foo重载，不管声明顺序如何，实例化时都能找到Bar版本。修改后的代码：

template<typename T, size_t N>
void Foo(const std::array<T,N>& var) {
    std::cout << "Array overload has been called" << std::endl;
    for(auto& elem : var) {
        B::Foo(elem); // 用限定名明确指定B命名空间
    }
}

修改后的预期输出 #

调整后，B::Foo(ArrayBar)的输出会变成：

Array overload has been called
Bar overload has been called

完全符合你的预期。

内容的提问来源于stack exchange，提问作者J.M