C++模板进阶指南：SFINAE

本是古典何须时尚 2022-12-26 11:28 161阅读 0赞

来自于 Substitution failure is not an error 的首字母缩写。Substitution，Failure和Error三个词构成。

详细的参考：[cpprefernce][]

SFINAE保证了在编译时期对类型进行推断，如果你拥有一个模版函数。  
你有两种需求，第一种是模版函数只支持特定类型的参数。  
第二种需求是对于重复定义函数发生的编译错误，通过SFINE放在函数的参数列表中，以此避免参数重复定义报错。。

## 第一种是模版函数只支持特定类型的参数 ##

#include <iostream>
    class IncA {
     public:
      IncA() : c(0) { }
      int increase() {
        c++;
        return c;
      }
    
      int c;
    };
    
    // 我们需要知道仅仅支持 int 或者是 IncA 类型
    template <typename T,
        typename std::enable_if<std::is_same<int, T>::value, T
        >::type* = nullptr
        >
    int IncAll(T& a) {
      a++;
      return a;
    }
    
    template <typename T,
             typename std::enable_if<std::is_same<IncA, T>::value, T
                 >::type* = nullptr
                 >
    int IncAll(T& a) {
      a.increase();
      return a.c;
    }
    int main() {
      int count = 0;
      IncAll(count);
    
      IncA inc_a;
      int count2 = IncAll(inc_a);
    
      printf("count1:%d\n", count);
      printf("count2:%d\n", count2);
      return 0;
    }

## 第二种需求是对于重复定义函数发生的编译错误，通过SFINE放在函数的参数列表中，以此避免参数重复定义报错。 ##

#include <iostream>
    template <typename T>
    int IncAll_2(T& a, std::decay<std::enable_if<std::is_same<decltype(a++), int>::value, T> >* = nullptr) {
      a++;
      return a;
    }
    /*
    // 或者
    template <typename T>
    int IncAll_2(T&a, std::decay_t<decltype(a++)>* = nullptr) {
      a++;
      return a;
    }
    */
    
    /*
     std::decay_t<>
     对于 A , A&& 或者 A& , const A& 转换成 A
     对于 int[] 转换成int*
     对于 int(int) 转换成 int(*)(int) 函数指针
     */
    template <typename T>
    int IncAll_2(T& a, std::decay<std::enable_if<std::is_same<decltype(a.b_increase()), int>::value, T> >* = nullptr) {
      a.b_increase();
      return a.c;
    }
    /*
    // 或者
    template <typename T>
    int IncAll_2(T&a, std::decay_t<decltype(a.b_increase())>* = nullptr) {
      a.b_increase();
      return a.c;
    }
    */
    
    int main() {
      int count;
      IncB inc_b;
      IncAll_2(count);
      IncAll_2(inc_b);
    
      printf("count3:%d\n", count);
      printf("count4:%d\n", inc_b.c);
      return 0;
    }

[cpprefernce]: https://en.cppreference.com/w/cpp/language/sfinae