c++ - 为什么标准禁止部分特化的友元声明？

Question

C++ 标准禁止部分特化的友元声明。 (§14.5.3/8):

Friend declarations shall not declare partial specializations. [Example:

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

--end example]

其他问题，例如this one ,已收到援引此禁令的答复，但我想知道理由。我没有看到它，也无法用我最喜欢的搜索引擎找到它。我但是可以发现它可以追溯到 C++98 标准，所以大概基本原理很明确。谁能给我解释一下？

Answer 1

我没有引用，但我怀疑这是因为它会导致在声明 friend 的类的范围内而不是在相关模板的范围内声明部分特化，而不是创建一个一堆规则强制 friend 声明导致特化在正确的范围内，他们只是禁止它。