c – 具有默认参数的模板特化

template <typename T,typename U = void>
struct X{
  X() {
    std::cout << "in 1" << std::endl;
  };
};

template <typename T>
struct X< T,std::enable_if_t<std::is_integral_v<T>> > {
  X() {
    std::cout << "in 2" << std::endl;
  };
};

int main() {
  X<int> x;
}

在2中运行程序时打印.

>为什么选择第二个特化而不是第一个特化,因为它们都有效地声明了结构X< int,void>.是什么让std :: enable_if_t< std :: is_integral_v< T>>比基本模板中显示的默认模板类型参数更专业？
>为什么基本模板的默认类型参数必须与要调用的部分特化的部分特化定义的类型相同,并且2要打印.
为什么要更改为std :: enable_if_t< std :: is_integral_v< T>,bool>导致1中的基本模板被调用？