問題タブ [variable-templates]

クラス テンプレートを部分的に特殊化できることはわかっていますが、関数テンプレートを部分的に指定できないこともわかっています。

変数テンプレートはどうですか? 部分的に特化できるかどうかについてのドキュメントが見つかりません。

インスタンス化されない限り、プライマリ参照テンプレートを初期化せずに C++14 で参照テンプレートを宣言することは合法ですか?

これにより、GCC と Clang で異なる結果が生成されます。

インスタンス化されるまでは、参照ではなくテンプレートであるため、プライマリ参照テンプレートを初期化する必要はありません。

次のようなことができることがわかりました。

どうやら GCC と Clang の両方が、有効な式であり、プライマリ参照テンプレートがインスタンス化されない限り、参照テンプレート初期化子 RHS を受け入れますが無視するためです。また、任意の型の任意の式が Clang の初期化要件を満たします。

プライマリ参照テンプレートがインスタンス化されない限り、GCC はイニシャライザを必要としません。参照テンプレートが実際にインスタンス化されるまでは、初期化子を必要としないため、これは「精神的に」正しい動作のようです。

基準は、参照テンプレートで 100% 明確ではありません。変数テンプレートのインスタンス化で見つけたものは次のとおりです。

14.7.1

変数テンプレートの特殊化が明示的にインスタンス化または明示的に特殊化されていない限り、変数テンプレートの特殊化は、特殊化が使用されるときに暗黙的にインスタンス化されます。

...

実装は、インスタンス化を必要としない ... 変数テンプレート ... を暗黙的にインスタンス化してはなりません。

14.7.2

インライン関数、初期化子または戻り値から推定される型を持つ宣言 (7.1.6.4)、constリテラル型の変数、参照型の変数、およびクラス テンプレートの特殊化を除き、明示的なインスタンス化宣言には、エンティティの暗黙的なインスタンス化を抑制する効果があります。彼らが参照するもの。[注: その意図は、明示的なインスタンス化宣言の対象であるインライン関数は、odr が使用された場合 (3.2) にも暗黙的にインスタンス化されるため、本体をインライン化すると見なすことができますが、アウトオブラインのコピーはありません。インライン関数の翻訳単位で生成されます。

14.7.3

明示的に特殊化されている関数テンプレート、クラス テンプレート、または変数テンプレートの宣言は、明示的な特殊化の宣言に先行するものとします。[注: テンプレートの定義ではなく、宣言が必要です。—終了注]。

編集して追加:

変数テンプレート宣言、クラス テンプレート宣言、または関数テンプレート宣言は、それぞれ変数宣言、クラス宣言、または関数宣言と同じではなく、同じ規則の対象ではありません。テンプレートがインスタンス化されるまでは、それは単なるテンプレートです。

クラス テンプレート、変数テンプレート、および関数テンプレートは、主な定義を提供せずに宣言できますが、特殊化の定義のみを提供できます。次のコードは、Clang と GCC の両方で有効です。

では、問題は、なぜ参照テンプレートと異なる必要があるのか​​ということです。他のテンプレートには当てはまらないのに、参照テンプレートの最初の宣言が参照の初期化を伴う定義でなければならないのはなぜですか?