Явная специализация в области вне пространства имен

Данный код не может скомпилироваться в GCC, несмотря на успешную компиляцию в Clang. Согласно стандарту C ([temp.expl.spec]), явные специализации могут быть объявлены в любой области, где может быть определен соответствующий основной шаблон.

Похоже, что такое поведение является ошибкой в ​​GCC. Согласно CWG 727, правило в [temp.expl.spec] относительно явной специализации было изменено, чтобы разрешить такие объявления в любой соответствующей области.

Область явной специализации

Исходный стандарт гласил, что явная специализация должна быть объявлена ​​в пространстве имен, включающем специализированный шаблон. Однако текущий стандарт допускает явную специализацию в любой области, где может быть определен основной шаблон:

• Определения классов (12.2)
• Функции-члены (17.6.2)
• Встроенные пространства имен (10.3.1.2)

Неспособность GCC соблюдать это обновленное правило представляет собой ошибку. Проблема была идентифицирована как ошибка 85282 и в настоящее время отслеживается командой разработчиков GCC.