[C++知识库]c++ SFINAE特性

/*
  替换失败并不是一个错误(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函数的实例化找到了合适的版本。