強制編譯錯誤的未專門化模板實例化

Question

好吧，這是我第一次進入模板，這可能是幾個非常愚蠢，簡單的問題中的第一個。

考慮：

template <class T> 
void sendit(char *buffer, unsigned len) 
{ 
    // force compile error 
} 

void sendit<first_valid>(char *buffer, unsigned len) 
{ 
    // this is OK 
} 


void sendit<second_valid>(char *buffer, unsigned len) 
{ 
    // this is OK 
} 

基本上，這個想法是，我有一組可以依法由sendit（）方法來操作的「東西」，我會專門爲這些東西的模板。如果用戶試圖調用sendit（），（在技術上，sendit（）），我想在他的臉上拋出一個編譯錯誤。

這是可行的嗎？如果是這樣，怎麼樣？

這是一個合理的方法嗎？

Answer 1

離開它未定義：

template <class T> 
void sendit(char *buffer, unsigned len); 

// C++11 
template <class T> 
void sendit(char *buffer, unsigned len) = delete; 

使用= delete是IMO的首選方法。

或者說，（在C++ 03使用boost）的一些類型的靜態斷言：

template <class T> 
void sendit(char *buffer, unsigned len) { 
    static_assert(sizeof(T) == 0, "must specialize"); // must use sizeof to make it dependant on T 
} 

---

不管怎樣，你確定你真的需要型此模板？我不是說你不應該，只是知道有涉及重載替代品，如：

// This is only if you're using the types as tags 
// Don't do this otherwise!!! 

void sendit(first_valid, char *buffer, unsigned len) 
{ 
    // this is OK 
} 


void sendit(second_valid, char *buffer, unsigned len) 
{ 
    // this is OK 
} 

sendit(first_valid(), ...); // call first 
sendit(second_valid(), ...); // call second 

或者用枚舉，而不是一個類型作爲模板參數：

enum foo { first, second } 

template <foo Foo> 
void sendit(char *buffer, unsigned len); 

void sendit<first>(char *buffer, unsigned len) 
{ 
    // this is OK 
}