Explizite Spezialisierung im Nicht-Namespace-Bereich

Der angegebene Code kann in GCC trotz erfolgreicher Kompilierung in Clang nicht kompiliert werden. Gemäß dem C-Standard ([temp.expl.spec]) können explizite Spezialisierungen in jedem Bereich deklariert werden, in dem die entsprechende primäre Vorlage definiert werden könnte.

Dieses Verhalten scheint ein Fehler in GCC zu sein. Gemäß CWG 727 wurde die Regel in [temp.expl.spec] bezüglich der expliziten Spezialisierung geändert, um solche Deklarationen in jedem relevanten Bereich zu ermöglichen.

Bereich der expliziten Spezialisierung

Der ursprüngliche Standard besagte, dass die explizite Spezialisierung in einem Namespace deklariert werden sollte, der die spezialisierte Vorlage umschließt. Der aktuelle Standard erlaubt jedoch eine explizite Spezialisierung in jedem Bereich, in dem die primäre Vorlage definiert werden kann:

• Klassendefinitionen (12.2)
• Mitgliedsfunktionen (17.6.2)
• Inline-Namespaces (10.3.1.2)

GCCs Versäumnis, diese aktualisierte Regel einzuhalten stellt einen Fehler dar. Das Problem wurde als Bug 85282 identifiziert und wird derzeit vom GCC-Entwicklungsteam verfolgt.