C++ 是否可以将别名模板标记为好友？

假设我们有这样的代码：

template <class, class>
class Element
{};

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

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

---

（注释：正如一些可以从最小的例子推断的，我正在寻找一种方法来处理C++不允许部分模板专用化的限制）

，我认为您不能这样做，因为部分专门化不能被声明为朋友。 从标准来看

友元声明不应声明部分专门化。[ 例如：

template<class T> class A { };
class X {
  template<class T> friend class A<T*>; // error
};

模板类A{}；
X类{
模板友元类A；//错误
};

-[结束示例]

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

template <class, class> friend class Element;

模板好友类元素；

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

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

使用BeFriend=Element；
朋友；

问题不在于别名，而在于 “部分专门化不能声明为友元”

模板友元类元素；//好啊
模板友元类元素；//错误

试试看（扰流板警报：你可以）@bolov:用哪种语法？我尝试了

template friend class BeFriend

和

template friend

两种方法，但在Clang 3.6上都没有成功，所以这里需要更多的细节：）我说得太快了。我认为这是微不足道的。我的错。如果有办法的话，委员会不知道。请参阅的底部的注释。就我所知，悲伤的答案就是答案——在标准的相关条款中有明确（足够）的关于什么可以成为朋友的措辞，而别名模板不在其中，因此这看起来像是一条死胡同。但是，如果您愿意更改

元素

的定义方式，则可能会有一个解决潜在问题的方法（模拟部分专业化的朋友），这将涉及嵌套的类模板。我不确定这对你是否有帮助。看起来像。

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

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

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