类模板偏特化时的默认参数
起因：在使用enable_if时，发现，enable_if<std::is_xxx<T>::value>::type，并没有传递第二个参数，那么第二个参数怎么确定为void类型。
template <bool, typename T = void>
struct enable_if{
};
template <typename T>
struct enable_if<true, T>{
using type = T;
};
实验：偏特化版本typename T会遵循 typename T=void：
template <typename U, typename T = void>
class test {
public:
test() {
std::cout << "test1" << std::endl;
}
void aaa(){
std::cout << "aaa test1" << std::endl;
}
};
template <typename T>
class test<int, T> {
public:
test() {
std::cout << "test2" << std::endl;
std::cout<< std::is_void<T>::value << std::endl;
std::cout << typeid(T).name() << std::endl;
}
void aaa(){
std::cout << "aaa test2" << std::endl;
}
};
test<int> t2;
后续：
发现类似问题：https://stackoverflow.com/questions/18700558/default-template-parameter-partial-specialization
1. 尽可能优先匹配偏特化版本，
2. 偏特化模板中不能有默认参数（待确定）
