C++如何使用std::enable_if进行模板元编程？（SFINAE技巧）

std::enable_if 是实现 SFINAE 的核心工具，通过条件控制模板“消失”而非报错，支持函数重载与类模板条件启用；C++14 起可用 enable_if_t 简化写法，C++17 后推荐 if constexpr 替代。

在C++模板编程中，std::enable_if 是实现 SFINAE（Substitution Failure Is Not An Error）最常用、最直观的工具之一。它的核心作用是：**让模板在某些条件下“消失”，而不是编译报错**，从而实现函数重载或类模板的条件启用。

基本用法：控制函数模板的启用

std::enable_if 本身是一个模板结构体，定义在 <type_traits></type_traits> 中。它有两个模板参数：
- 第一个为布尔值 Cond；
- 第二个为可选的类型 T = void（默认）。

当 Cond 为 true 时，它定义了一个 type 别名（即 T）；
当 Cond 为 false 时，不定义 type —— 这会触发 SFINAE，使该模板从重载集中被剔除。

典型写法（C++11/14）：

#include <type_traits>
<p>template<typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
add_one(T x) {
return x + 1;
}</p><p>template<typename T>
typename std::enable_if<!std::is_integral<T>::value, T>::type
add_one(T x) {
return x; // 非整型不做处理
}</p>

注意：返回类型写法略显冗长，常配合默认模板参数简化：

template<typename T>
T add_one(T x, 
    typename std::enable_if<std::is_integral<T>::value>* = nullptr) {
    return x + 1;
}

更现代的写法：使用 std::enable_if_t 和 constexpr if（C++17）

C++14 引入了 std::enable_if_t<cond t></cond>，它是 typename std::enable_if<cond t>::type</cond> 的别名，大幅提升可读性：

立即学习“C++免费学习笔记（深入）”；

标签： app 工具 ai c++ stream