如何專門基於模板參數是否有別名

Question

我希望能夠專注基於一種類型的容器是否具有例如

class SomethingElse {}; 
class Something { 
    using Type = int; 
}; 

static constexpr bool value = ChooseIfType<Something>::value; 

指定的typedef類型是否有ChooseIfType辦法當類型沒有typedef Type時返回false？

我覺得有一個簡單的方法來做到這一點，但我無法弄清楚。

謝謝！

Answer 1

只需使用std::void_t（或C++ 11替代）：

template<typename T, typename = std::void_t<>> 
struct ChooseIfType : std::false_type {}; 

template<typename T> 
struct ChooseIfType<T, std::void_t<typename T::Type>> : std::true_type {}; 

live demo

將該溶液利用SFINAE的。默認值永遠不會變形，並創建一個值爲false的特徵。編譯器試圖匹配所有的模板特化（在這種情況下只有一個）。如果T具有成員類型Type，則ChooseIfType<T, void_t<typename T::Type>>比ChooseIfType<T, void_t<>>更專業。如果沒有，那麼這不是一個可行的專業化，並且選擇了默認值，但替換失敗不是錯誤。

按照cppreference，一個C++ 11 void_t實施看起來是這樣的：

template<typename... Ts> struct make_void { typedef void type;}; 
template<typename... Ts> using void_t = typename make_void<Ts...>::type;