Làm cách nào để ngăn chặn việc tạo mẫu không chuyên biệt?

Question

Tôi có một mẫu tem class (gọi là Foo) có một số chuyên môn. Tôi muốn quá trình biên dịch thất bại nếu ai đó cố gắng sử dụng phiên bản không chuyên biệt của Foo.

Dưới đây là những gì tôi thực sự có:

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

Vì vậy mà:

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

trình khi:

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

Liệu không.

Rõ ràng, chuỗi trình biên dịch chỉ phàn nàn khi quá trình liên kết diễn ra. Nhưng có cách nào để làm cho nó phàn nàn trước?

Tôi có thể sử dụng boost.

Answer 1

Chỉ cần không xác định lớp:

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

Tại sao công việc này? Đơn giản vì có không phải là bất kỳ mẫu chung nào. Đã khai báo, có, nhưng không được xác định.

Answer 2

Bạn có thể chỉ đơn giản là không xác định trường hợp cơ sở:

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

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

Answer 3

Một trick cho C++ 0x (cũng có sẵn với một thi đua 03 static_assert C++, nhưng được thông báo lỗi không nhất thiết phải tốt hơn thay vì để mẫu chính chưa được xác định):

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

Xác nhận sẽ chỉ kích hoạt khi Foo được khởi tạo với mẫu chính. Sử dụng static_assert(false, ...) sẽ kích hoạt xác nhận mọi lúc.