模板偏特性状

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