Явная специализация в области отсутствия пространства имен не компилируется в 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,

6

Решение

Это должно быть ошибка 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.

6

Другие решения

Других решений пока нет …