Стандарт C ++ запрещает объявления друзей частичных специализаций. (§14.5.3 / 8):

Объявления друзей не должны объявлять частичные специализации. [Пример:

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

- конец примера]

Другие вопросы, напримерэтот, получили ответы, которые ссылаются на этот запрет, но я хотел бы знать обоснование. Я не вижу его и не могу найти его с моей любимой поисковой системой. Однако я могу обнаружить, что это восходит к стандарту C ++ 98, поэтому, по-видимому, обоснование довольно простое и ясное. Может кто-нибудь объяснить это мне?