явная специализация не может быть другим заявлением

Question

Код

template <typename T> 
void foo(const T& t) 
{} 

template <typename T> 
class A 
{ 
    template <> 
    friend void foo<T>(const T& t) 
    {} 
}; 

дает компилировать ошибку

"defining explicit specialization ‘foo<T>’ in friend declaration friend void foo<T>(const T& t)" 

при компиляции с GCC и

"error C3637: 'A<int>::foo' : a friend function definition cannot be a specialization of a unction template" 

при компиляции в VS2013

Я подчинен d, что стандарт говорит так, но почему? Я хочу понять причину (под капотом) Существует много статей, в которых написано: «Явная специализация не может быть объявлением друга», но я не могу понять, почему. Есть идеи?

Answer 1

Объявление явной специализации внутри шаблона класса для первого (и возможно только) времени означало бы, что явная специализация будет только «существующей» после создания экземпляра шаблона - независимо от того, зависит ли объявление от параметра шаблона или нет. Это создает множество проблем и может привести к нарушениям ОПР в различных сценариях, многие из которых, по-видимому, были бы плохо сформированными НДР; В основном из пункта упомянутой @dyp в комментариях, [temp.expl.spec]/6

Кроме того, определение друг функция внутри класса без внешней декларации делает эту функцию только invokeable через ADL. Ясно, что было бы совершенно бессмысленно, если явная специализация применима только тогда, когда вызов ассоциирует типы аргументов - опять же, не говоря уже о нарушениях ODR.

Эти и другие причины делают такую ​​конструкцию слишком сложной, даже если она не очень полезна: то, что вы можете просто сделать, - это добавить специализацию как friend, никоим образом не указывая, была ли эта специализация создана или явно специализирована ,

friend void foo<T>(const T&); 

Любая явная специализация может быть добавлена ​​в область пространства имен.