c++ - クラステンプレートの状態データメンバーであり、明示的に特殊化できるエンティティではありません

Question

以下のコードでエラーが発生しました：

template<typename T, bool B = is_fundamental<T>::value>
class class_name;

template<>
class class_name<string, false>{
public:
    static string const value;
};

template<>
string const class_name<string, false>::value = "Str";
// error: not an entity that can be explicitly specialized.（in VC++)

どうすれば修正できますか？

Answer 1

ここでは、2つの異なるアプローチを組み合わせています。1つ目は@KerrekSBによって提案されたものです

template<typename T, bool B = is_fundamental<T>::value>
class class_name;

// NOTE: template<> is needed here because this is an explicit specialization of a class template
template<>
class class_name<string, false>{
public:
    static string const value;
};

// NOTE: no template<> here, because this is just a definition of an ordinary class member 
// (i.e. of the class class_name<string, false>)
string const class_name<string, false>::value = "Str";

または、一般的なクラステンプレートを完全に書き出して、静的メンバーを明示的に特殊化することもできます。<string, false>

template<typename T, bool B = is_fundamental<T>::value>
class class_name {
public:
    static string const value;
};

// NOTE: template<> is needed here because this is an explicit specialization of a class template member
template<>
string const class_name<string, false>::value = "Str";