C++20 Concepts：实战指南

作者

Concepts 是 C++20 新增的功能之一，它为模板编程提供了更强大、更直观的约束机制。本文将从概念的基础语法入手，演示如何在实际项目中使用 Concepts 来提升代码可读性、可维护性和编译期错误定位。

1. 什么是 Concept？

Concepts 是一种对模板参数进行约束的机制。通过给模板参数指定一个或多个 Concept，编译器可以在编译期检查传入的实参是否满足这些约束，并在不满足时给出明确的错误信息。与传统的 SFINAE（Substitution Failure Is Not An Error）相比，Concepts 更加简洁、易读且错误信息更友好。

2. 定义 Concept

Concept 的定义类似于函数模板，但不需要实现主体。使用 requires 关键字来表达约束。示例：

#include <concepts>

template <typename T>
concept Incrementable = requires(T x) {
    { ++x } -> std::same_as<T&>;
    { x++ } -> std::same_as <T>;
};

上述 Incrementable Concept 检查类型 T 是否支持前置自增和后置自增运算符。

3. 在模板中使用 Concept

3.1 替代 SFINAE

传统的 SFINAE 方式通常需要大量模板元编程。使用 Concept 可以简化：

#include <iostream>
#include <type_traits>
#include <concepts>

template <typename T>
requires Incrementable <T>
void increment_and_print(T& value) {
    ++value;
    std::cout << value << std::endl;
}

或使用更简洁的写法：

template <Incrementable T>
void increment_and_print(T& value) {
    ++value;
    std::cout << value << std::endl;
}

如果实参不满足 Incrementable，编译器会给出“未满足 Incrementable”之类的错误。

3.2 组合 Concept

Concept 可以组合使用，构造更复杂的约束：

template <typename T>
concept Arithmetic = std::integral <T> || std::floating_point<T>;

template <Arithmetic T>
T add(T a, T b) {
    return a + b;
}

3.3 函数模板重载

Concept 还能辅助函数模板重载，类似于 C++20 的 if constexpr 与 requires 组合：

template <typename T>
requires std::integral <T>
T square(T x) {
    return x * x;
}

template <typename T>
requires std::floating_point <T>
T square(T x) {
    return x * x;
}

4. Concepts 在 STL 中的应用

STL 的许多容器、算法已经使用 Concepts 进行约束。例如 std::ranges::sort 需要传入满足 std::ranges::random_access_range 的容器。

#include <algorithm>
#include <vector>
#include <ranges>

int main() {
    std::vector <int> v = {3,1,4,1,5};
    std::ranges::sort(v);   // 编译器检查 v 是否满足随机访问范围
}

5. 常用内置 Concept

C++20 标准库提供了许多内置的 Concept，主要位于 `

` 头文件。以下列举一些常用的： | Concept | 说明 | |———|——| | `std::integral` | 整数类型 | | `std::floating_point` | 浮点类型 | | `std::same_as ` | 与类型 T 完全相同 | | `std::derived_from ` | 继承自 Base | | `std::default_initializable` | 可默认初始化 | | `std::copyable` | 可拷贝 | | `std::movable` | 可移动 | ## 6. 实战案例：构造安全的容器 假设你需要实现一个只允许存储可移动且可拷贝类型的容器 `MovableVector`： “`cpp #include #include #include template requires std::movable && std::copyable class MovableVector { std::vector data_; public: void push_back(T value) { data_.push_back(std::move(value)); } // 其它接口… }; “` 如果有人尝试 `MovableVector>`，编译器会报错，因为 `std::unique_ptr` 不是 `copyable`。 ## 7. 如何编写自定义 Concept 编写自定义 Concept 需要： 1. 选择合适的约束表达式（如成员函数、运算符、类型属性）。 2. 使用 `requires` 或 `template` 语法。 3. 在需要的地方使用 `requires` 关键字。 下面给出一个示例：判断类型是否支持 `std::ostream` 输出。 “`cpp #include #include #include template concept Streamable = requires(std::ostream& os, T const& t) { { os std::same_as; }; template void print(const T& value) { std::cout ` 直接在函数模板上添加约束。 – 内置 Concepts 丰富，满足大部分常见需求。 – 结合 STL 范围（ranges）可以实现更安全、更高效的代码。 从 C++20 起，Concepts 成为模板编程的核心工具。无论是简化代码还是提升错误诊断质量，掌握 Concepts 对现代 C++ 开发者至关重要。祝你编码愉快！

发表评论