非名前空間スコープでの明示的な特殊化

指定されたコードは、Clang では正常にコンパイルできますが、GCC ではコンパイルに失敗します。 C 標準 ([temp.expl.spec]) によれば、明示的な特殊化は、対応するプライマリ テンプレートを定義できる任意のスコープで宣言できます。

この動作は GCC のバグであるようです。 CWG 727 によると、明示的特殊化に関する [temp.expl.spec] のルールは、関連するスコープでそのような宣言を許可するように変更されました。

明示的特殊化のスコープ

元の標準では、明示的な特殊化は、特殊化されたテンプレートを囲む名前空間で宣言する必要があると規定されていました。ただし、現在の標準では、プライマリ テンプレートを定義できるスコープでの明示的な特殊化が許可されています:

• クラス定義 (12.2)
• メンバー関数 (17.6.2)
• インライン名前空間 (10.3.1.2)

GCC はこの更新されたルールに準拠していませんバグとなります。この問題はバグ 85282 として特定され、現在 GCC 開発チームによって追跡されています。