c++类主模板的模板参数的默认值对特化模板一样有效

以代码开题

#include <type_traits>template<typename T, bool = std::is_same_v<T, int>>struct A : std::true_type {}; template<typename T>struct A<T, false> : std::false_type {}; int main() {    static_assert(A<int>::value);    static_assert(!A<double>::value);}