テンプレートの特殊化の静的constの初期化

Question

静的なconst要素を持つクラステンプレートを作成しました。その目的は、テンプレートの各特殊化がこの静的要素の独自のバージョン/値を持つことです。ここに私のサンプルコードです：コンパイルしない行については

my int 
my char 
my int my char 
my int my char 

、エラーメッセージを（GCC 4.4を使用して：

template < typename T > class C 
{ 
    public: 
     static const std::string NAME; 
     T something; 
     void printName() { std::cout << NAME << std::endl; } 
}; 

class C1 : public C<int>{}; 
class C2 : public C<char>{}; 

template<> const std::string C<int>::NAME{ "my int" }; // compiles 
template<> const std::string C<char>::NAME{ "my char" }; // compiles 

//template<> const std::string C1::NAME{ "my int" }; // doesn't compile 
//template<> const std::string C2::NAME{ "my char" }; // doesn't compile 

//const std::string C1::NAME{ "my int" }; // doesn't compile 
//const std::string C2::NAME{ "my char" }; // doesn't compile 

int main() 
{ 
    C1 c1; 
    C2 c2; 

    c1.printName(); 
    c2.printName(); 

    std::cout << c1.NAME << " " << c2.NAME << std::endl; 
    std::cout << C1::NAME << " " << C2::NAME << std::endl; 
} 

コンパイルバージョンを使用して、出力は私が期待するものです）

ISO C++ does not permit 'C<int>::NAME' to be defined as 'C1::NAME' 

なぜこれは許可されていませんか？私の理解では、テンプレートの完全な特殊化はすべての（？）の点でクラスであり、このクラスはテンプレートに宣言されたすべてのメンバーを持っています。だから私はスコープ解決演算子を使用して、そのクラスの静的メンバーを参照することができると期待します。どうやら、上記のメインの最後の行のように、初期化の後にそうすることはできますが、初期化自体はできません。

標準がこのように記述された理由については、誰でも洞察を提供できますか？標準で「悪い」構文が許可されていれば、どのような問題が起こるでしょうか？

Answer 1

あなたが直面している問題は、テンプレートとは関係がないように思えます。問題は、入れ子ネーム指定子の元のクラスではない派生クラスを使用して静的メンバーを定義しようとしていることです。あなたのコード内

struct A { 
    static int x; 
}; 
struct B : A{}; 
int B::x = 42; 

C1

とC2がCの専門のC、むしろ、それらが誘導されているクラスの完全な特殊化ではありません：あなたはここに同じ問題を持っているでしょう。だから私はあなたがここで何を期待しているのか分からない...