编辑“︁C++ sfinae”︁（章节）

=== 示例 1：使用 <code>std::enable_if</code> ===
以下示例展示如何通过 <code>std::enable_if</code> 限制函数模板仅对整数类型生效：

<syntaxhighlight lang="cpp">
#include <iostream>
#include <type_traits>

// 仅对整数类型有效的函数模板
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_number(T num) {
    std::cout << "Integer: " << num << std::endl;
}

// 对其他类型的重载
template <typename T>
typename std::enable_if<!std::is_integral<T>::value, void>::type
print_number(T) {
    std::cout << "Not an integer!" << std::endl;
}

int main() {
    print_number(42);      // 输出: Integer: 42
    print_number(3.14);    // 输出: Not an integer!
    return 0;
}
</syntaxhighlight>

'''输出：'''
<pre>
Integer: 42
Not an integer!
</pre>

'''解释：'''
* <code>std::enable_if<Condition, Type></code> 在 <code>Condition</code> 为 <code>true</code> 时返回 <code>Type</code>，否则触发 SFINAE。
* 编译器会优先选择匹配的模板，忽略替换失败的候选。