c++ - 友元函数声明中的尖括号是什么意思？

Question

我很难理解符号 <>在作为 friend 的函数声明中。 (这是由于需要定义一个函数的主体而产生的，该函数是一个注入(inject)到外部自由函数中的友元。)

template<class T> class A;

template<class T> double f(A<T> const& a);

template<class T>
class A{
    double p_;
    friend double f<>(A<T> const& a); // same as friend double f<>(A const& a);
};

这是否完全等同于 friend double f<T>(A<T> const& a); ？ 如果是这样，这个符号的目的是什么 <> ？毕竟f没有默认模板参数。

更普遍的情况是:

template<class T1, class T2, ...>
class A{
    double p_;
    friend double f<>(A const& a); // same as double f<T1, T2, ...>?
};

?

Answer 1

与friend double f<T>(A<T> const&)相同.您通常会使用空模板参数来消除函数非模板 f 之间的歧义。和一个函数模板 f .如果你没有<>编译器会创建一个完全独立的非模板函数 f和另一个f<T>将无法访问私有(private)成员。

template<class T> class A;
template<class T> double f(A<T> const& a);
template<class T>
class A {
  double p_;
  friend double f(A<T> const& a); // notice omission of <>, declared as non-template
};

template<class T>
double f(A<T> const& a) {
  return a.p_;
}

int main() {
  f<>( A<int>{} ); // 'double A<int>::p_' is private within this context
}

Is is [sic] the case that more generally:

template<class T1, class T2, ...>
class A{
    double p_;
    friend double f<>(A const& a); // same as double f<T1, T2, ...>?
};

例如，如果 f在类外声明为 template<class...Ts>f(A<Ts...>);那么是的，它们是等价的。