选择声明模板朋友的语法背后的基本原理是什么？

Question

声明模板函数友元涉及一些非常不直观的语法，即使对于 C++ 也是如此！为所需的额外<> 选择语法的理由是什么？使用template 关键字不是更有意义吗？

对于那些不知道的人，这里有一个你可以尝试做的例子：

template <typename T>
class Foo
{
  int x;
  friend void bar(Foo<T>);
};

template <typename T>
void bar(Foo<T> f)
{
  std::cout << f.x;
}

如果你尝试调用bar(Foo<T>())，你会得到链接器错误。

要解决这个问题，您必须转发声明 bar（因此是 Foo），然后在朋友声明中粘贴一个奇怪的 <>。

template <typename T> class Foo;
template <typename T> void bar(Foo<T>);

template <typename T>
class Foo
{
  int x;
  friend void bar<>(Foo<T>); // note the <> (!?)
};

template <typename T>
void bar(Foo<T> f)
{
    std::cout << f.x;
}

我的问题是，<> 语法背后的基本原理是什么？使用template 关键字或类似的东西不是更直观吗？

编辑：澄清一下，我已经知道 为什么 是必需的，我想知道的是为什么他们选择使用 来消除歧义，而不是使用其他更直观的方法语法。

Answer 1

等等。您没有声明朋友模板。您将模板的专业化声明为朋友！因此，为什么要在其中放置 template 子句？

命名函数模板特化的语法是teplateName<ArgumentList>，这就是你应该根据标准在友元声明中使用的语法。

如果您想与整个模板以及生成的所有特化和显式特化交朋友，您仍然可以这样做，然后您可以使用模板子句

template<typename U>
friend void bar(Foo<U>);

Answer 2

引用this page:

调用非模板函数是因为非模板函数在重载决议中具有优先权。

所以我猜friend void bar<>(Foo<T>); 很直观，因为您要确保它是您正在调用的模板函数，而不是Foo<T> 的重载。否则编译器将无法注意到模板化或非模板化函数是类的朋友。

我不清楚为什么使用<> 语法而不是template 语法。