**题目：C++20 中的 Concepts：编写更安全、更易读的模板代码**

作者

在 C++20 之前，模板编程常常伴随着“错误的错误信息”和“隐晦的模板错误”。当模板实例化失败时，编译器往往给出长而难懂的报错，导致调试成本大幅增加。C++20 引入了 Concepts，为模板约束提供了一种更清晰、更语义化的方式。本文将从概念的基本语法、典型使用场景、以及与现有技术（如 SFINAE、模板元编程）的关系展开讨论，并给出完整的代码示例。

1. 何为 Concept？

Concept 是一种描述类型或值满足某些属性的规范。例如，std::integral 表示“整数类型”，std::movable 表示“可移动的类型”。Concept 可以组合、继承，并且能够在编译时做精确的约束检查。

概念的声明格式为：

template <typename T>
concept ConceptName = /* 逻辑表达式 */;

逻辑表达式可以包含：

  • 关键字 requires 后跟一个约束块（可使用 requires 表达式或 requires 语句块）。
  • 直接使用已有的概念。
  • 标准库中已有的概念，如 `std::integral `、`std::ranges::range` 等。

2. 基本示例：实现一个通用的 swap

#include <concepts>
#include <utility>

template <typename T>
concept Swappable = requires(T& a, T& b) {
    std::swap(a, b);
};

template <Swappable T>
void mySwap(T& a, T& b) {
    std::swap(a, b);
}

解释：

  • Swappable 概念通过 requires 表达式检查在调用 std::swap 时是否会产生有效的表达式。
  • mySwap 只有当 T 满足 Swappable 时才会被实例化，从而在编译时立即捕捉到错误。

3. 与 SFINAE 的比较

SFINAE（Substitution Failure Is Not An Error）曾是模板约束的主要手段。相比之下，Concepts：

  • 可读性：概念名称直接表达意图，代码更易懂。
  • 错误信息：编译器给出的报错更简洁、针对性更强。
  • 表达能力：支持组合、继承以及自定义约束块，功能更强大。

示例：使用 SFINAE 检查可交换性：

template <typename T, typename = std::void_t<>>
struct is_swappable : std::false_type {};

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

相比之下，Concepts 可以直接写成：

template <typename T>
concept Swappable = requires(T& a, T& b) {
    std::swap(a, b);
};

4. 进阶使用：范式化参数包约束

C++20 允许对 参数包 进行约束，例如：

template <typename... Args>
concept AllIntegral = (std::integral <Args> && ...);

template <AllIntegral... Args>
void sumAll(const Args&... args) {
    ((std::cout << args << " "), ...);
}

此代码仅在所有参数都是整数时才会编译。

5. 与 ranges 的结合

C++20 的 `

` 组件与 Concepts 深度耦合。下面的函数接受任何满足 `std::ranges::input_range` 的容器，并返回其元素之和： “`cpp #include #include template auto sumRange(const R& r) { return std::ranges::accumulate(r, decltype(*std::begin(r)){}); } “` 编译器会自动检查 `R` 是否满足 `input_range`，并且如果不满足，报错信息直接指出缺失的概念。 — ### 6. 实际项目中的应用案例 #### 6.1 编写安全的 `std::vector` 适配器 “`cpp #include #include template requires std::default_initializable && std::move_constructible class VectorAdapter { std::vector data_; public: void push_back(const T& value) { data_.push_back(value); } // … }; “` 此处利用 `default_initializable` 和 `move_constructible` 确保 `VectorAdapter` 只接受可默认构造且可移动的类型。 #### 6.2 约束函数对象的调用方式 “`cpp template concept InvocableWith = requires(F f, Args&&… args) { { std::invoke(f, std::forward (args)…) } -> std::same_as>; }; template F> int compute(F f, int a, double b) { return std::invoke(f, a, b); } “` 此函数只能接受返回 `int` 且参数为 `(int, double)` 的可调用对象。 — ### 7. 小结 – **Concepts** 提升了模板编程的安全性和可读性。 – 通过 `requires` 语句块可以精确描述复杂约束。 – 与标准库中的 ` `、“ 等组件紧密结合，进一步扩展了 C++20 的功能。 – 在实际项目中，优先使用 Concepts 替代 SFINAE，以获得更好的开发体验。 随着 C++20 的普及，Concepts 已经成为现代 C++ 开发不可或缺的工具。掌握其语法与使用模式，将使你的模板代码更加稳健、易维护。

发表评论