如何让模板化友元函数与非模板友元函数同样正常工作？附代码示例

这个问题的核心在于名字查找规则和模板函数的声明可见性，我们一步步拆解：

为什么非模板友元foo能正常工作？ #

当你调用foo(obj)时，因为obj是ns::Obj类型，C++的**依赖于参数的查找（ADL）**机制会自动去obj所在的命名空间ns里查找foo函数。而你在Obj类内部声明的非模板友元函数，已经被隐式地引入到了ns命名空间中，所以编译器能顺利找到并调用它。

为什么模板友元bar<int>(obj)会编译失败？ #

问题出在显式指定模板参数<int>这一步：
当你写bar<int>(obj)时，编译器首先会在当前作用域（全局作用域）查找名为bar的实体，但全局作用域里没有任何关于bar是模板函数的声明。此时编译器会直接报错——因为它不知道bar是模板，无法解析<int>这个模板参数列表，根本不会触发后续的ADL查找去ns命名空间里找。

两种有效的解决方法 #

方法1：在命名空间中提前声明模板函数 #

在ns命名空间里，先声明Obj类型和模板函数bar，让编译器在处理main中的调用时，知道bar是一个模板：

#include <iostream>
namespace ns{
struct Obj; // 先声明Obj类型

template<typename T>
void bar(Obj); // 提前声明模板友元函数

struct Obj {
    friend void foo(Obj){std::cout << "no problem" << std::endl;}
    template<typename T>
    friend void bar(Obj){std::cout << "problem solved" << std::endl;}
};
}
int main() {
    ns::Obj obj;
    foo(obj); // 正常编译
    bar<int>(obj); // 现在可以正常编译
    return 0;
}

方法2：调用时使用命名空间限定 #

直接通过ns::bar<int>(obj)的方式调用，让编译器直接去ns命名空间查找模板函数bar——类内部的友元声明已经将模板bar引入到了ns命名空间中，所以能顺利找到并实例化：

#include <iostream>
namespace ns{
struct Obj {
    friend void foo(Obj){std::cout << "no problem" << std::endl;}
    template<typename T>
    friend void bar(Obj){std::cout << "problem solved" << std::endl;}
};
}
int main() {
    ns::Obj obj;
    foo(obj); // 正常编译
    ns::bar<int>(obj); // 加上命名空间限定后正常编译
    return 0;
}

额外补充：如果模板参数可推导 #

如果你的模板函数bar的参数列表中包含T类型的参数，编译器可以自动推导模板参数，此时无需显式指定，ADL也能正常工作：

#include <iostream>
namespace ns{
struct Obj {
    friend void foo(Obj){std::cout << "no problem" << std::endl;}
    template<typename T>
    friend void bar(Obj, T){std::cout << "problem solved" << std::endl;}
};
}
int main() {
    ns::Obj obj;
    bar(obj, 1); // 编译器自动推导T为int，正常编译
    return 0;
}

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