Явная специализация в области отсутствия пространства имен не компилируется в GCC
Следующий код компилируется в Clang, но не в GCC:
template<typename T>
struct Widget
{
template<typename U>
void foo(U)
{
}
template<>
void foo(int*)
{
}
};
Согласно стандарту C ++ ([temp.expl.spec], пункт 2):
Явная специализация может быть объявлена в любой области, в которой соответствующий первичный шаблон может быть
определенный
Это ошибка в GCC, и если да, то как я могу найти ее в трекере ошибок?
Это вывод GCC:
prog.cc:13:14: error: explicit specialization in non-namespace scope 'struct Widget<T>'
template<>
^
Я использую GCC HEAD 8.0.1, с -std=c++2a,
Решение
Это должно быть ошибка GCC. Полная специализация должна быть разрешена в любой области, в том числе в определении класса.
В соответствии с CWG 727, [temp.expl.spec] пункт 2 был изменен с
(акцент мой)
Явная специализация должны быть объявлены в пространстве имен вложение специализированного шаблона. Явная специализация, для которой идентификатор объявления или имя-класса-класса не определено, должна быть объявлена в ближайшем окружении пространства имен шаблона, или, если пространство имен встроено (10.3.1 [namespace.def]), любое пространство имен из его набор пространств имен. Такое заявление также может быть определением. Если объявление не является определением, специализация может быть определена позже (10.3.1.2 [namespace.memdef]).
в
(акцент мой)
Явная специализация может быть объявлено в любой области в котором может быть определен соответствующий первичный шаблон (10.3.1.2 [namespace.memdef], 12.2 [class.mem], 17.6.2 [temp.mem]).
Похоже, GCC не может следовать этому.
РЕДАКТИРОВАТЬ
Я сообщил о проблеме как Ошибка 85282.
Другие решения
Других решений пока нет …