非typename引数としてのローカル変数

Question

非形式引数としてローカル変数を使用することはなぜ不正ですか？

たとえば、次のコードlocal_varは、Xの引数にすることはできません。

template<int& x> struct X {}; 

void f(int local_var) 
{ 
    X<local_var> x; 
} 

Answer 1

テンプレート引数はコンパイル時に評価されなければならない、とコンパイラが実行時まで、ローカル変数のアドレスを知ることができませんので（オブジェクトへの参照をバインドするためには、コンパイラが知っている必要がありますそのオブジェクトのアドレス）。

お知らせ、C++ 11標準は、非型テンプレート引数は、段落14.3.2/1で提供することができます正確に何を伝えている：非タイプの

テンプレート引数、非鋳型テンプレートパラメータは、のいずれかでなければならない：

からテンプレートのタイプの積分または列挙型の非タイプテンプレートパラメータ、変換定数式 （5.19）のために-parameter;または

- 非タイプのテンプレートパラメータの名前。または

- 関数テンプレート と機能テンプレートIDS含む静的記憶域期間と 外部または内部結合または外部または内部リンケージを持つ関数でオブジェクトのアドレスを指定する定数式（5.19）、しかし非静的なクラスメンバを除いて、 & id-expressionと表されます。ただし、名前が関数または配列を参照する場合は省略することができます。 は対応するテンプレートパラメータが参照;または

- NULLポインタ値（4.10）に評価される定数式。または

- nullメンバポインタ値（4.11）に評価される定数式。または

- 5.3.1で説明されているように表現されたメンバーへのポインター。または

- タイプstd::nullptr_tのアドレス定数式。

ご覧のとおり、ローカル変数はこのリストにありません。

Answer 2

テンプレートの「値」はコンパイル時に存在する必要があります。

template<int x> struct X {}; 

あなたが参照をバインドするか、ここでポインタを渡していない場合でも、コンパイラはコンパイル時に渡された要素の値を知っている必要があります。

int &xをint xに置き換えるのはここです。約&については、正しく答えられます。私は、それがすべての型付けされていないテンプレート引数に当てはまることを指摘したかっただけです。

• 基準の「値」参照（実装に依存し、それらのほとんどに実際にポインタ）
  • あるオブジェクトのアドレスはコンパイル時に知られていなければならない
• ザ "ポインタの「値」は...
  • ...ここでもまた知っておく必要があります。
• 値型の「値は、」私はアンディのに加えて（したかっも

 

X<local_var> x; // will not work, local_var does not exist at compile time 
X<1> x; // works since 1 is known 

コンパイル時に認識されなければならない値そのものであります回答）は、参照の代わりに値の型を使用することを示唆する結論を防止します。