理解 SFINAE 的用处

替换失败不是错误（SFINAE）是模板元编程中的一个基本概念。虽然其理论意义很重要，但了解其实际应用可以增强您的编码能力。

使用 SFINAE 进行条件检查

SFINAE 的一个显着用途在于检查布尔条件。 SFINAE 不依赖于显式的 if 语句，而是允许您定义模板专业化，根据条件的真实性评估不同类型。

考虑以下代码：

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

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

此代码为div() 函数。当 I 为偶数时，由于 I % 2 == 0 成功替换为 true，因此选择第一个特化。相反，当 I 为奇数时，选择第二个特化。

检查列表大小限制

SFINAE 还提供了一种检查初始值设定项列表大小的便捷方法。这是一个例子：

template
struct Vector {
    template
    Vector(MyInitList const& i, char(*)[M 
Vector 结构确保初始化列表 i 最多包含 N 个元素。通过使用 SFINAE，消除了 M > N 无效情况的模板特化，仅当满足条件时才产生有效类型。
结论
SFINAE是一种多功能技术，使程序员能够执行类型级计算并做出条件代码决策。它的应用程序，从检查布尔条件到确保初始化列表的有效性，展示了它在高级 C 编程中的有用性。