是否可以編寫不接受任何類型的C++模板？

Question

我很好奇，如果有可能編寫這樣的C++模板，它不可能創建一個類/類型它將接受（編譯沒有錯誤）。 如果可能，它可能是什麼？

Answer 1

當然。例如：

template <typename T> 
struct S { 
    static_assert(std::is_class<T>::value, "T must be a class"); 
    static_assert(!std::is_class<T>::value, "T must not be a class"); 
}; 

但是，這樣的模板會自動形成不規則的NDR。

如果可以 爲模板來產生沒有有效的專門化，並且該模板不會被實例化，是形成不良的模板，不需要診斷 。

（[temp.res/8），你可以做到這一點

Answer 2

一種方式是隻提供類模板的前向聲明。過去我使用的類模板的一個例子是將類型的大小作爲編譯器錯誤進行打印。

template <size_t> struct PrintSize; 

PrintSize<sizeof(int)> a; 

當您編譯代碼，你將能夠從編譯器發出錯誤消息告訴int大小。