부분 템플릿 특수화는

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>이 하찮게 파괴 없을 것 (예를 들어, 이렇게하지, 리터럴 유형). 내가 경고 (가늠자에, 합리적인) T이지만, 불행하게도 그 날에게 제공 할 때 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) {}; 
}; 

같은 부분 전문성을 가지고 같은 을 거라고

경고 : 클래스 템플릿 부분 전문화에는 추론 할 수없는 템플릿 매개 변수가 포함되어 있습니다. 이 부분 전문화는 결코 사용되지 않을 것입니다

그래서 내가 원하는 것을 얻을 수있는 방법이 있습니까?

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