深入探索SFINAE

一、sfinae 知乎

SFINAE(stubstitution failure is not an error)是一种C++编译器技术，用于在编译时根据条件包含或排除模板参数。在模板元编程中，SFINAE通常用于在编译期间选择模板函数重载。该技术的实行依赖于编译器的模板类型推断和重载解析规则。

对于那些包括函数特化和模板特化等类型选择的模板函数，编译器必须能够将提供的参数连接到正确的函数或模板实例上。SFINAE技术可以让编译器在这个选择过程中转而继续尝试，而不会引发编译时错误。

例如：

template &lttypename T&gt
void foo(T t) {
    typename T::type* ptr; //这里的typename就是用于把表达式T::type为类型说明符而不是成员说明符
}
struct S {
    using type = int;
};
int main() {
    foo(S());
    foo(int()); //1
    return 0;
}

上面代码中，foo(int())是不合法的，因为int类型没有type成员。SFINAE规则使得编译器选择忽略这个错误，所以代码可以成功编译。

二、sfinae overload

使用SFINAE技术，一个函数可以通过特定的方式来处理在编译器选择错误重载时必然会出现的情况。这通常通过创建一个函数的包含额外模板参数的重载来实现，而这些参数具有定义为typename std::enable_if&ltbool expr, T&gt::type的形式。在这个结构中，expr会被编译器检查，如果为false，那么std::enable_if不能生成任何类型，这意味着编译器将跳过该特定函数，直到找到一个合适的重载。

例如：

template &lttypename T&gt
typename std::enable_if&ltstd::is_floating_point&ltT&gt::value, void&gt::type
foo(T t) {
    std::cout &lt&lt "foo(T)\n";
}
template &lttypename T&gt
typename std::enable_if&ltstd::is_integral&ltT&gt::value, void&gt::type
foo(T t) {
    std::cout &lt&lt "foo(T)\n";
}
int main() {
    foo(3.14f); //1
    foo(42);
    return 0;
}

在这个例子中，两个foo函数都接受一个参数T，但他们都有不同的enable_if类型，并且在不同的类型条件下启用。这个程序将输出两次”foo(T)”，分别适用于浮点型和整型参数。

三、sfinae 发音

SFINAE 所代表的单词很长，这也使得它的发音颇受争议。笔者曾经经常发音为“sifnae”，但实际上，最常见的发音是“s-fin-ay”，并且有时候被缩写为“S”或“SFINAE”。

四、sfinae 成员函数

使用SFINAE技术，可以很方便地为函数重载提供额外条件。但要注意的是，SFINAE在成员函数中的使用和使用于外部函数有所不同，这与模板参数决定了如何编写这样的代码。作为成员函数，我们需要使用decltype来使用其所属的类，在enable_if的条件语句中，我们要使用std::declval来代替未知类型的实例，在enable_if后面的语句里面可以调用我们想要的函数。

例如：

struct A {
    template &lttypename T&gt
    typename std::enable_if&ltstd::is_same&ltT, int&gt::value, void&gt::type
    foo() {
        std::cout &lt&lt "int - A::foo()\n";
    }
    template &lttypename T&gt
    typename std::enable_if&ltstd::is_same&ltT, float&gt::value, void&gt::type
    foo() {
        std::cout &lt&lt "float - A::foo()\n";
    }
};
int main() {
    A a;
    a.foo&ltint&gt(); //1
    a.foo&ltfloat&gt();
    return 0;
}

在这个示例中，类A包含两个使用SFINAE技术的成员函数。在函数中，我们使用std::enable_if来使我们的成员函数只能被调用一定类型的实例。这个程序将输出一次“int – A::foo()”和一次“float – A::foo()”。

五、sfinae 与 重载的区别

与使用函数重载相比，SFINAE技术优点在于，使用SFINAE时错误不会直接导致程序崩溃。重载不像使用SFINAE那样灵活，因为一旦重载解析失败，编译器只会报错并停止编译，而使用SFINAE技术则可以使解析失败的函数不会被编译器选中，然后继续选择其他适当的重载，即它可以保持程序正常进行。

六、sfinae对类内部声明有效吗

类内部包含的SFINAE声明实际上是不允许的。这个时候我们必须在类外部声明SFINAE的模板特化。例如：

template &lttypename T, typename = void>
struct foo {
    static const bool value = false;
};

template &lttypename T&gt
struct foo&ltT, typename std::enable_if&ltsizeof(T) % 2 == 0&gt::type> {
    static const bool value = true;
};

struct A {
    int x;
};

int main() {
    std::cout &lt&lt std::boolalpha &lt&lt foo&ltA&gt::value; //1
    return 0;
}

上面代码中，如果我们在A内部使用SFINAE，会报错，但我们可以用foo在类外部声明SFINAE的模板特化。

七、sfinae和type traits

C++11的type traits库中包含一系列的预定义类型特性，例如is_pointer&ltT&gt和is_reference&ltT&gt，这些类型特性常用于SFINAE技术的实现。

例如：

template &lttypename T&gt
typename std::enable_if&ltstd::is_pointer&ltT&gt::value, void&gt::type
foo(T t) {
    std::cout &lt&lt "pointer - foo()\n";
}
template &lttypename T&gt
typename std::enable_if&ltstd::is_reference&ltT&gt::value, void&gt::type
foo(T t) {
    std::cout &lt&lt "reference - foo()\n";
}
int main() {
    int x = 0;
    int* p = &x;
    foo(p); //1
    foo(x);
    return 0;
}

在这个例子中，我们使用了std::is_pointer和std::is_reference。与std::enable_if一起使用可以使重载函数不被错误的选择。