如何将命名空间中的函数模板声明为类模板的友元？

你的问题出在类模板内部声明友元时，当前类还属于不完全类型——此时用std::declval<S const&>().bar()推导返回类型，编译器还不知道bar成员的存在，因此触发错误。

可以通过以下两种方式修复：

方案一：通用型（适配任意返回类型） #

通过前置声明+后置返回类型延迟推导，让编译器在类完全定义后再处理类型判断：

#include <utility>

// 前置声明类模板S，让ns::foo提前知晓它的存在
template<class T> class S;

namespace ns
{
  // 前置声明函数模板，用后置返回类型延迟返回值推导
  template<class T>
  auto foo(const S<T>& v) -> decltype(v.bar());
}

template<class T>
class S
{
  void bar() const { }
public:
  // 声明ns::foo的特定实例为友元，用入参c推导返回类型
  friend auto ns::foo<T>(const S<T>& c) -> decltype(c.bar());
};

namespace ns
{
  // 此时S<T>已是完全类型，可正常访问bar
  template<class T>
  auto foo(const S<T>& v) -> decltype(v.bar()) 
  { 
    return v.bar(); 
  }
}

int main()
{
  ns::foo(S<int>());
}

方案二：简化型（返回类型固定时用） #

如果bar的返回类型固定（比如你的例子里是void），可以直接写死返回类型，省去复杂的前置声明：

#include <utility>

namespace ns
{
  template<class T>
  void foo(T const &v) { return v.bar(); }
}

template<class T>
class S
{
  void bar() const { }
public:
  // 直接声明ns::foo的对应实例为友元，返回类型写void
  friend void ns::foo<S<T>>(const S<T>& c);
};

int main()
{
  ns::foo(S<int>());
}

两种方案都能让ns::foo合法访问S的私有成员bar，解决不完全类型的编译错误。

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