C++模板中基于模板参数有条件的定义类型别名。

在C++11中，可以使用std::enable_if结合模板别名来实现条件化类型别名的定义。例如，以下代码定义了一个模板类MyClass，如果模板参数为整数类型，则定义value_type类型别名为int，否则为double。

#include <type_traits>

template<typename T,
    typename = typename std::enable_if<std::is_integral<T>::value>::type>
struct MyClass {
    using value_type = int;
};

template<typename T,
    typename = typename std::enable_if<!std::is_integral<T>::value>::type>
struct MyClass {
    using value_type = double;
};

// Example usage: MyClass<int>::value_type == int, MyClass<double>::value_type == double

以上代码中，第一个typename主要是为了确保使用SFINAE(su(bstitution) f(ailure) i(s) n(ot) a(n) e(rror))机制来限制模板的实例化（也就是只有模板的第二个参数类型符合std::is_integral的限制时，该模板才会匹配）；第二个typename则是确保类型别名的定义是符合要求的（也就是满足enable_if条件的模板才会有类型别名）。在这种情况下，如果T是一个整数类型，则定义的类型别名为int，否则为double。