SFINAE

      SFINAE是一个英文简称，全称为 Substitution Failure is not an Error,中文为：“替换失败不是一个错误”,SFINAE可以看作是c++语言的一种特性或模板设计中要遵循的一个重要原则，非常重要。

      对于函数模板，当用一个具体类型替换模板参数时，可能会产生意想不到的问题，如产生一些毫无意义的甚至是看起来语法上错误的代码，对于这些代码，编译器的处理方法并不一定是报错，有可能是忽略，编译器认为这个函数模板不匹配本次的函数调用，就当作这个函数模板不存在一样（想象一下去车站接人，会根据样貌判别，不像的直接忽略），转而去选择其他更匹配的函数或函数模板。例如：

template
typename T::size_type mydouble(const T& t)
{
	return t[0] * 2;
}


int main()
{
	mydouble(15);
	
	system("pause");
	return 0;
}

编译一下，发现错误：

      为什么会出现这种错误呢？当调用mydouble()时候，因为传入的是一个数字15，所以编译器认为15是int类型比较合适，于是编译器就用int替换mydouble()函数模板中的T。一般来说编译器做这个替换只会替换模板的声明部分，函数体部分编译器不会去替换，替换之后大概如下：

int::size_type mydouble(const int &t);

      这个语法显然不对，但是编译器并不认为这个函数模板有错，这就是所谓的“替换失败并不是一个错误”，对于int类型，并没有size_type,但是对于其他的类型可能就存在。但是为什么会报“未找到匹配的重载函数”呢？这是由于函数模板不匹配，编译器又找不到其他适合的mydouble(),所以编译器才报错。那加一个如下的函数：

int mydouble(int i)
{
	return i*2;
}

这样就通过编译了。

总结SFINAE:虽然编译器看不出模板的对错，但是当编译器能决定是否选择该模板，当编译器觉得不合适的时候，会直接忽略掉该模板，并不会报错。