選擇類的構造函數

Question

我要讓類模板的構造default，如果它是瑣碎和默認T，這樣的事情：

template <typename T> 
class my_class { 
public: 
    template <typename <std::enable_if<std::is_trivially_default_constructible<T>::value, int>::type = 0> 
    constexpr my_class() = default; 

    template <typename <std::enable_if<!std::is_trivially_default_constructible<T>::value, int>::type = 0> 
    constexpr my_class() {}; 
} 

當然，這個代碼不工作（空參數，如果條件不滿足）。怎麼做？

Answer 1

可以提供時T是獨立的專業化和不平凡的默認constructible：

template <typename T, bool = std::is_trivially_default_constructible<T>::value> 
class my_class { 
public: 
    constexpr my_class() = default; 
}; 

template <typename T> 
class my_class<T, false> { 
public: 
    constexpr my_class() {}; 
};