**标题：C++20 Concepts：让模板类型安全像写普通函数一样直观**

作者

在C++20之前，模板的类型约束只能通过 SFINAE（Substitution Failure Is Not An Error）或者概念库（Concepts）等手段来实现，代码往往显得冗长且可读性差。C++20 引入了概念（Concepts）这一特性，让模板的类型检查与普通函数一样直接、易读。本文将通过一系列实例，演示如何使用 Concepts 优化模板代码、提升类型安全，并简化调试流程。

1. 什么是 Concept？

Concept 是一种类型约束，定义了一组类型必须满足的逻辑表达式。Concept 不是类型，而是一个“属性”，可以在函数模板、类模板或变量模板的声明中直接使用。 

template<typename T>
concept Integral = std::is_integral_v <T>;

这个概念 Integral 表示 T 必须是整数类型。

2. 基础用法

2.1 函数模板约束

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

现在如果调用 add(1, 2) 成功；但 add(1.2, 3.4) 会产生编译错误，提示 T 不满足 Integral。

2.2 多约束组合

template<Integral T, typename U>
requires std::is_same_v<T, U>
T mul(T a, U b) {
    return a * b;
}

这里使用 requires 关键字来组合两个约束：T 必须是整数，且 T 与 U 必须相同。

3. 复杂概念的构建

3.1 范围概念（Range）

template<typename T>
concept Range = requires(T r) {
    { std::begin(r) } -> std::input_iterator;
    { std::end(r) }   -> std::input_iterator;
};

该概念确保 T 可以使用 std::begin 和 std::end，并且返回的是输入迭代器。

3.2 计算型概念（Arithmetic）

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

此概念定义了四则运算操作，且结果类型与输入相同。

4. 在类模板中使用 Concept

template<Arithmetic T>
class Calculator {
public:
    T sum(const T& a, const T& b) { return a + b; }
    T diff(const T& a, const T& b) { return a - b; }
};

这使得 Calculator 的实例只能为实现算术操作的类型，例如 int、double、`std::complex

` 等。 — ### 5. 让 Concepts 结合标准库算法更强大 假设我们要实现一个通用的排序函数，但只针对可比较的类型： “`cpp template requires std::sortable>> void sort_range(R&& r) { std::ranges::sort(r); } “` 使用 `std::sortable`（C++23）可以确保容器中的元素支持 ` concept LessThanComparable = requires(T a, T b) { a requires LessThanComparable>> void sort_range(R&& r) { std::ranges::sort(r); } “` 这样 `sort_range` 只能被传入 `std::vector `、`std::list` 等满足比较的容器。 — ### 6. Concept 与 SFINAE 的比较 | 特点 | SFINAE | Concept | |——|——–|———| | 语法 | 复杂、嵌套 | 简洁、可读 | | 错误信息 | 模糊 | 明确指出不满足的约束 | | 编译速度 | 有时较慢 | 通常更快，因编译器可早期判定 | | 兼容性 | 已有大量代码 | 需要 C++20 支持 | 概念在许多场景下可以彻底取代 SFINAE。 — ### 7. 真实项目中的案例 #### 7.1 线程安全的缓存容器 “`cpp template requires std::is_default_constructible_v class ThreadSafeCache { public: Value get(const Key& k) { std::shared_lock lock(mutex_); return cache_.at(k); } void set(const Key& k, const Value& v) { std::unique_lock lock(mutex_); cache_[k] = v; } private: std::unordered_map cache_; mutable std::shared_mutex mutex_; }; “` 这里使用 `std::is_default_constructible_v` 作为约束，确保缓存值可以默认构造。 #### 7.2 泛型矩阵乘法 “`cpp template class Matrix { std::vector> data_; public: Matrix(size_t rows, size_t cols) : data_(rows, std::vector (cols)) {} Matrix operator*(const Matrix& rhs) const { // 简化实现 } }; “` `Arithmetic` 确保 `T` 支持加、乘运算，避免在乘法实现中出现编译错误。 — ### 8. 小结 – **Concepts** 为模板编程提供了类型约束的语法糖，显著提升可读性与可维护性。 – 通过组合 `requires` 与现有标准库概念，可以快速构建复杂的类型约束。 – 在大型项目中使用 Concepts 可以提前捕获错误，减少运行时问题。 从 C++20 起，建议所有新的泛型代码使用 Concepts，逐步替换旧的 SFINAE 技术。这样不仅能写出更安全、易懂的代码，还能让编译器更好地进行优化。祝你在 C++ 之路上编码愉快！

发表评论