大佬教程收集整理的这篇文章主要介绍了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中的基本模板被调用?
简而言之,您的通用模板实现有2个参数T和U,而您的SFINAE专业化只有T参数,而第二个是从T推导出来的.因此它比一般情况更专业,最后,当您参考时X< int,void>,选择特化.
现在问题2.假设我们用bool而不是void替换enable_if参数.现在我们的专业化将是X< int,bool>而不是X< int,所以当你引用X< int>,即X< int,void>时,它与专业化不再匹配,因为它们是2种不同的类型.
以上是大佬教程为你收集整理的c – 具有默认参数的模板特化全部内容,希望文章能够帮你解决c – 具有默认参数的模板特化所遇到的程序开发问题。
如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。
本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。