选择类的构造函数

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