/*
替换失败并不是一个错误(SFINAE),SFINAE:Substitution Failure Is Not An Error
理解:编译器内部遵循的原则,c++语言的一个特性。
SFINAE特性是针对“函数模板重载”而言。
针对于函数模板而言,当用一个具体类型替换函数模板的参数时,可能会产生意想不到的问题 :
比如产生一些毫无意义甚至是看起来语法上有错误的代码,对于这些代码,编译器并不一定报错,
有可能是忽略——编译器认为这个函数模板不匹配针对本次的函数调用,就当这个函数模板不存在一样。
转而去选择其他更匹配的函数或者函数模板,这就是所谓的“替换失败并不是 一个错误”说法的由来
如果找不到匹配的函数,那么编译器会报错。
*/
范例解释:
#include <iostream>
#include <vector>
#include <type_traits>
#include <memory>
#include <functional>
using namespace std;
template <typename T>
typename T::size_type fun(const T& t)
{
return t[0] * 2;
}
int main(int argc, char** argv)
{
fun(12);
return 0;
}
编译以上代码时产生了错误,也就是说类似这样的代码是错误的
int::size_type(const int &t)
{
//...
}
fun函数无法知道更合适的版本了,报错了,但是如果有合适的版本,即使产生了像上面一样的错误代码,编译器是忽略的。
#include <iostream>
#include <vector>
#include <type_traits>
#include <memory>
#include <functional>
using namespace std;
template <typename T>
typename T::size_type fun(const T& t)
{
return t[0] * 2;
}
template <typename T>
typename T fun(const T& t)
{
return t * 2;
}
int main(int argc, char** argv)
{
fun(12);
return 0;
}
编译通过了,fun函数的实例化找到了合适的版本。