编辑“︁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。
* 编译器会优先选择匹配的模板，忽略替换失败的候选。

=== 示例 2：表达式 SFINAE ===
通过 <code>decltype</code> 检测类型是否支持特定操作：

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

// 检测类型是否有 'size()' 成员函数
template <typename T>
auto has_size_method(const T& t) -> decltype(t.size(), std::true_type{}) {
    return std::true_type{};
}

// 后备重载
std::false_type has_size_method(...) {
    return std::false_type{};
}

int main() {
    std::string s = "hello";
    int x = 42;

    std::cout << std::boolalpha;
    std::cout << "String has size(): " << has_size_method(s) << std::endl;  // true
    std::cout << "Int has size(): " << has_size_method(x) << std::endl;     // false
    return 0;
}
</syntaxhighlight>

'''输出：'''
<pre>
String has size(): true
Int has size(): false
</pre>

'''解释：'''
* 若 <code>t.size()</code> 有效，<code>decltype</code> 返回 <code>std::true_type</code>。
* 否则，匹配后备重载（参数为 <code>...</code> 的版本）。