特殊なテンプレートのインスタンス化を防ぐにはどうすればいいですか？

Question

私はテンプレート化されたclass（それにはFooと呼んでいます）にはいくつかの特殊化があります。誰かが未特定のバージョンのFooを使用しようとすると、コンパイルが失敗するようにしたいと思います。ここで

は、私が実際に持っているものです。

template <typename Type> 
class Foo 
{ 
    Foo() { cannot_instantiate_an_unspecialized_Foo(); } 

    // This method is NEVER defined to prevent linking. 
    // Its name was chosen to provide a clear explanation why the compilation failed. 
    void cannot_instantiate_an_unspecialized_Foo(); 
}; 

template <> 
class Foo<int> 
{ }; 

template <> 
class Foo<double> 
{ }; 

だから：

int main() 
{ 
    Foo<int> foo; 
} 

動作しますが：

int main() 
{ 
    Foo<char> foo; 
} 

はありません。

明らかに、コンパイラーチェーンは、リンク処理が行われるときにのみ不平を言います。しかし、以前にそれを不平にする方法はありますか？

boostを使用できます。

template <typename Type> 
class Foo; 

template <> 
class Foo<int> { }; 

int main(int argc, char *argv[]) 
{ 
    Foo<int> f; // Fine, Foo<int> exists 
    Foo<char> fc; // Error, incomplete type 
    return 0; 
} 

なぜこの作業を行います。

Answer 1

ちょうどクラスを定義していませんか？単にが存在しないため、の汎用テンプレートではありません。宣言されていますが、定義されていません。

Answer 2

あなたは単にベースケース定義することはできません：C++ 0X（C++ 03 static_assertエミュレーションとも使用できますが、エラーメッセージのトリックは必ずしも良好ではない

template <typename> class Foo;    // no definition! 

template <> class Foo<int> { /* ... */ }; // Foo<int> is OK 

Answer 3

を）未定義のプライマリテンプレートを残すより：

template<typename T> 
struct dependent_false: std::false_type {}; 

template<typename Type> 
struct Foo { 
    static_assert(dependent_false<Type>::value 
       , "Only specializations of Foo may be used"); 
}; 

Fooがプライマリテンプレートでインスタンス化されている場合、アサーションにのみトリガーされます。 static_assert(false, ...)を使用すると、アサーションが常にトリガされます。