C++20 中的 Concepts：让类型约束更直观

2026-01-16 作者 stdcpp

在 C++20 之前，模板参数的类型约束通常通过 SFINAE（Substitution Failure Is Not An Error）或概念化的第三方库（如 Boost.TypeTraits）实现，这种方法往往导致模板错误信息混乱且难以阅读。C++20 引入了Concepts（概念），让我们能够在编译时对模板参数进行明确的类型约束，从而提高代码可读性、可维护性，并让编译器提供更友好的错误提示。

1. 基本语法

template <typename T>
concept Incrementable = requires(T a) {
    ++a;          // 前置递增
    a++;          // 后置递增
    a += 1;       // 加一
};

requires 关键字后面是一个 约束表达式，可以包含类型推断、语句、返回值判断等。
Incrementable 是一个概念名，后续可以直接用来约束模板参数。

2. 在模板中使用概念

template <Incrementable T>
T add_one(T x) {
    return x + 1;
}

如果传入的类型不满足 Incrementable，编译器会报错并指出具体哪一条约束未满足，而不是一堆隐式模板错误。

3. 组合概念

概念可以像逻辑运算符一样组合，形成更细粒度的约束：

template <typename T>
concept Number = requires(T a, T b) {
    { a + b } -> std::same_as <T>;
    { a * b } -> std::same_as <T>;
};

template <typename T>
concept SignedInteger = Number <T> && std::signed_integral<T>;

4. 默认模板参数中的概念

C++20 允许在默认模板参数中使用概念，以便在类模板实例化时自动应用约束：

template <typename T = int, typename Enable = std::enable_if_t<Incrementable<T>>>
class Counter { /* ... */ };

5. 实际案例：泛型加法器

template <typename T>
concept Addable = requires(T a, T b) {
    { a + b } -> std::same_as <T>;
};

template <Addable T>
T sum(T a, T b) {
    return a + b;
}

int main() {
    std::cout << sum(5, 7) << '\n';           // int
    std::cout << sum(2.5, 4.1) << '\n';        // double
    // sum("hello", "world");  // 编译错误：std::string 不满足 Addable
}

6. 好处总结

传统方法	Concepts
错误信息模糊	直观、精准
难以维护	更易读写
需要复杂宏或 SFINAE	简洁语法
编译时间略长	轻微增量

7. 常见陷阱

未使用 requires：概念定义不含 requires 时，它等价于 true_type，约束失效。
返回值约束：在 requires 表达式中使用 -> 进行返回值约束时，需确保表达式在上下文中可解析。
概念命名规范：建议使用 PascalCase，并在文件顶部统一声明 `#include `。

8. 进一步阅读

官方 C++20 标准章节：[concepts]
《C++20 标准实用手册》概念章节
现有开源项目（如 ranges-v3）对概念的使用示例

通过引入 Concepts，C++20 大幅提升了模板编程的安全性与可读性。今后在项目中广泛采用概念，将使代码更加健壮、易维护。

发表评论取消回复