Uzman olmayan şablon örneği nasıl önlenir?

Question

Ben templated class (o Foo call) birkaç uzmanlık sahip olduğu. Birisi, Foo'un özel olmayan bir sürümünü kullanmaya çalıştığında derlemenin başarısız olmasını isterim. İşte

Aslında ne var: Yani

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> 
{ }; 

o:

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

İşleri ederken:

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

yok mu. bağlama işlemi gerçekleştiğinde

Açıkçası, derleyici zinciri sadece şikayet ediyor. Ama daha önce şikayet etmenin bir yolu var mı?

Ben boost kullanabilirsiniz.

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; 
} 

Neden bu işi yapar:

Answer 1

Sadece sınıfını tanımlamak değil mi? Basitçe, , herhangi bir genel şablon olmadığı için. Açıklandı, evet, ancak tanımlanmadı.

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

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

Answer 2

Sadece temel durumunun olamaz tanımlanmamış birincil şablon) bırakarak daha:

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"); 
}; 

iddiası sadece Foo birincil şablonla örneği zaman tetikleyecektir. static_assert(false, ...) kullanmak her zaman iddiayı tetikler.

Answer 3

C++ 0 x (aynı zamanda C++ 03 static_assert emülasyonuyla mevcuttur, ancak hata iletisi için bir hile mutlaka daha iyi değildir: