const型変数を非型テンプレートパラメータ（VARIABLEは定数式には現れません）

Question

これはなぜ機能しますか？

char __nontype[] = "foo"; 
typedef TemplateClass<T, __nontype> MyClass; 

ただし、これは（定数変数を使用して）ですか？

const char __nontype[] = "foo"; 
typedef TemplateClass<T, __nontype> MyClass; 

コンパイラエラー：

エラー： '__nontypeは' 定数式に表示することはできません

エラー：結果がありません：テンプレート引数2は

Answer 1

差である：ここ

は希望ワークがその例です。 externを追加すると動作します。つまり、私が言うことができる限り、

14.3.2 Template non-type arguments [temp.arg.nontype]

A template-argument for a non-type, non-template template-parameter shall be one of:

• an integral constant expression (including a constant expression of literal class type that can be used as an integral constant expression as described in 5.19); or
• the name of a non-type template-parameter; or
• a constant expression (5.19) that designates the address of an object with static storage duration and external or internal linkage or a function with external or internal linkage, including function templates and function template-ids but excluding non-static class members, expressed (ignoring parentheses) as & id-expression, except that the & may be omitted if the name refers to a function or array and shall be omitted if the corresponding template-parameter is a reference; or
• a constant expression that evaluates to a null pointer value (4.10); or
• a constant expression that evaluates to a null member pointer value (4.11); or
• a pointer to member expressed as described in 5.3.1.

externなしでも動作するはずです。オブジェクトは内部リンケージを持つことができますが、コンパイラはそれをまだサポートしていません。これはC++ 11の変更の1つです。以前のC++標準では許可されていませんでした。

Answer 2

エラーがそれを言う無効です。定数式（リンク時には知られていますが、コンパイル時には知られていません）。 constが結合に影響を与えるため

typedef const char *nontype_t; 
template <nontype_t> struct Y {}; 

char hello[] = "hello"; 
constexpr char* world = hello; 

int main() 
{ 
    Y<hello> a; 
}