模板偏特性狀

Question

假設我有以下模板：

template <typename T> union example { 
    T t; 

    constexpr example(const T & t) : t(t) {}; 

    /* We rely on owning class to take care 
    * of destructing the active member */ 
    ~example() {}; 
}; 

因爲析構函數存在的，example<T>絕不會平凡破壞（因此沒有，也就是說，一個文本類型）。我倒是喜歡向有一個偏特像

template <typename T> union 
    example<std::enable_if_t<std::is_trivially_destructible<T>::value, T>> { 
    T t; 

    constexpr example(const T & t) : t(t) {}; 
}; 

讓example<T>是平凡破壞時T是，但不幸的是，讓我的（合理的，事後）警告

警告：類模板部分特化包含無法推導出的模板 參數; 這部分專業化將永遠不會使用

那麼有沒有什麼辦法得到我想要的東西？

Answer 1

也許與第二，默認的模板參數？

#include <type_traits> 
#include <iostream> 

template <typename T, bool = std::is_trivially_destructible<T>::value> 
union example { 
    T t; 

    constexpr example(const T & t) : t(t) {}; 

    /* We rely on owning class to take care 
    * of destructing the active member */ 
    ~example() { std::cout << "primary template\n"; } 
}; 

template<typename T> 
union example<T, true> { 
    T t; 

    constexpr example(const T & t) : t(t) {}; 
}; 


struct nontrivial 
{ 
    ~nontrivial() { std::cout << "woot!\n"; } 
}; 

int main() 
{ 
    example<nontrivial> e1{{}}; 
    example<int> e2{{}}; 
}