超级会员免费看
SFINAE是Substitution Failure is not an Error的缩写，是C++中的一种特性。它涉及到函数模板在类型替换过程中的行为。当模板参数替换导致错误时，编译器不会报错，而是忽略该模板，尝试其他匹配。在示例中，当尝试将int类型应用于含有size_type的函数模板时，编译器因找不到匹配而报错。解决办法是提供一个更通用的函数模板备选。SFINAE原则在模板元编程中尤其关键。
SFINAE是一个英文简称，全称为 Substitution Failure is not an Error,中文为：“替换失败不是一个错误”,SFINAE可以看作是c++语言的一种特性或模板设计中要遵循的一个重要原则，非常重要。
对于函数模板，当用一个具体类型替换模板参数时，可能会产生意想不到的问题，如产生一些毫无意义的甚至是看起来语法上错误的代码，对于这些代码，编译器的处理方法并不一定是报错，有可能是忽略，编译器认为这个函数模板不匹配本次的函数调用，就当作这个函数模板不存在一样（想象一下去车站接人，会根据样貌判别，不像的直接忽略），转而去选择其他更匹配的函数或函数模板。例如：
template<typename T>
typename T::size_type mydouble(const T& t)
{
return t[
订阅专栏 解锁全文
1064
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
