探索 SFINAE 的多功能性

SFINAE 是“替换失败不是错误”的缩写，为开发人员在模板领域赋能元编程。它允许在模板实例化期间进行复杂的条件检查。

SFINAE 的一个引人注目的应用是验证布尔条件。例如：

template void div(char(*)[I % 2 == 0] = 0) {
    // Triggered when I is even
}

template void div(char(*)[I % 2 == 1] = 0) {
    // Triggered when I is odd
}

此代码使用 SFINAE 来辨别 I 的均匀性。

SFINAE 进一步支持验证使用逗号运算符构造的初始值设定项列表的长度。考虑以下示例：

template
struct Vector {
    template 
    Vector(MyInitList const& i, char(*)[M 
这里，仅当 M 小于或等于 N 时才接受初始值设定项列表，以确保允许的列表长度。 char(*)[C] 语法表示指向大小为 C 的字符数组的指针。如果 C 的计算结果为 false（在本例中为 0），则会生成无效类型 char(*)[0]。在这种情况下，SFINAE 可以方便地忽略模板。
使用 boost::enable_if 的替代表示是：
template
struct Vector {
    template 
    Vector(MyInitList const& i, 
           typename enable_if_c::type* = 0) { // ... }
}
在实际应用中，SFINAE提供的条件检查能力被证明是非常宝贵的。它为开发人员提供了一个多功能工具来强制约束并根据特定条件定制模板行为。