c++ - 是否可以将别名模板标记为朋友？

Question

想象一下我们有这样的代码：

template <class, class>
class Element
{};

template <class T>
class Util
{
public:
   template <class U>
   using BeFriend = Element<T, U>;
};

可以加BeFriend好友吗？（属于Util，或任何其他类别）。

编辑

尝试了“明显”的语法，但在 Clang 3.6 中都失败了。

template <class> friend class BeFriend;
template <class> friend BeFriend;

我不知道第二种语法，但在这个答案中找到了它。它似乎对非模板别名有效（并且是必需的），但在这种别名模板化的情况下没有帮助。

（注意：正如一些人可以从最小示例中推断出的那样，我正在寻找一种方法来解决 C++ 不允许与部分模板专业化成为朋友的限制）

score 9 · Accepted Answer

我认为您不能这样做，因为不能将部分专业化声明为朋友。

友元声明不得声明部分特化。[ 例子：
template<class T> class A { };
class X {
  template<class T> friend class A<T*>; // error
};
—结束示例]

您必须指定更通用的版本，例如：

template <class, class> friend class Element;

或完整的指定版本，例如：

using BeFriend = Element<T, int>;
friend BeFriend;

score 2 · Accepted Answer

问题不在于别名，问题在于 “不能将部分专业化声明为朋友”。

template <class, class> friend class Element;        // OK

template <class, class> friend class Element<T, T>;  // Error