Является ли законным выполнять частичную внутриклассическую специализацию класса шаблона-члена в производном классе

Question

Это вопрос this. Я специально интересовался, если частичной специализации класса члена как это:

struct FooParent { 
    template <class> 
    struct Bar{ }; 
}; 

struct Foo: FooParent { 
    template <class T> 
    struct Bar<T*> {}; 
}; 

Я знаю, это может быть сделано внутри области видимости пространства имен:

template <class T> 
struct Foo::Bar<T*>{ }; 

Но я также специально заинтересован в в классе частичная специализация на уровне производного класса.

Оба лязг и GCC жалуется, когда встреча бывший:

лязг утверждает, что существует явная специализация шаблона, который, очевидно, не происходит:

error: explicit specialization of 'Bar' in class scope

НКУ немного менее многословным здесь и говорит что специализация шаблона члена должна выполняться в области пространства имен, которая, очевидно, не относится к не производному классу.

error: specialization of 'template struct FooParent::Bar' must appear at namespace scope

Это gcc прямо здесь, в сообщении об ошибке?

Answer 1

Я пытаюсь подвести итог тому, что я сказал в комментариях к вопросу, по просьбе ОП.

---

Я думаю, [temp.class.spec]/5 достаточно, чтобы ответить на вопрос.
В частности:

A class template partial specialization may be declared or redeclared in any namespace scope in which the corresponding primary template may be defined [...].

В этом случае, что на самом деле править на ней, где основной шаблон может быть определен.
В этом примере вы пытаетесь объявить (и контекстно определить, но это прежде всего объявление) частичную специализацию в производном классе.

Короткий ответ: вы не можете определить основной шаблон в производном классе, поэтому вы также не можете объявить частичную специализацию в этом классе.

Если бы это было возможно, следующее было бы возможно тоже:

struct FooParent { 
    template <class> 
    struct Bar; 
}; 

struct Foo: FooParent { 
    template <class T> 
    struct FooParent::Bar<T*> {}; 
}; 

Или это один, если вы предпочитаете:

struct Foo: FooParent { 
    template <class T> 
    struct Bar<T*> {}; 
}; 

К сожалению, они не имеют права, и это было бы достаточно (?) что ваша попытка специализировать шаблон шаблона также недействительна.

В любом случае, давайте рассмотрим это немного дальше.
Основной шаблон является частью спецификации элемента Foo (см. here для получения дополнительной информации).
Таким образом, вопрос - Где я могу определить такой шаблон?, быстро становится - Где я могу определить любого другого члена класса?.
Опять же, ответ - не относится к производному классу.

---

Я уверен, что адвокат языка даст вам более прямое и прямое объяснение.
Я также уверен, что тот же самый адвокат языка будет проклинать меня за то, что упомянул неправильные разделы стандарта.
В любом случае, я надеюсь, что несколько примеров, приведенных выше, могут дать вам базовую точку, с которой можно начать.