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

== 实际应用场景 ==

=== 类型萃取（Type Traits） ===
SFINAE 是标准库中 <code>std::enable_if</code> 和 <code>std::void_t</code> 的基础。例如，实现一个自定义的 <code>is_incrementable</code> 特性：

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

template <typename T, typename = void>
struct is_incrementable : std::false_type {};

template <typename T>
struct is_incrementable<T, std::void_t<decltype(++std::declval<T&>())>> 
    : std::true_type {};

// 使用示例
static_assert(is_incrementable<int>::value, "int should be incrementable");
static_assert(!is_incrementable<std::string>::value, "string cannot be incremented");
</syntaxhighlight>

=== 条件编译接口 ===
在模板库中，根据类型特性提供不同的实现：

<syntaxhighlight lang="cpp">
template <typename T>
class Container {
public:
    // 仅对可拷贝类型启用此构造函数
    template <typename U = T>
    Container(const T& value, 
              typename std::enable_if<std::is_copy_constructible<U>::value>::type* = nullptr) {
        // 实现拷贝逻辑
    }
};
</syntaxhighlight>