C++20概念（Concepts）如何让代码更安全、更易读？

作者

在 C++20 中引入的概念（Concepts）为模板编程提供了一种强大的类型约束机制。相比传统的 SFINAE，Concepts 语法更直观、错误信息更友好，也能让编译器在类型检查阶段做出更早、更准确的判断。下面我们从概念的基本语法、常用标准概念、以及如何自定义概念来改进代码的类型安全与可读性三方面进行探讨。

1. 什么是概念？

概念是对类型参数的一种描述，用于限定模板参数必须满足的特性。它们可以看作是一种“接口”，告诉编译器该类型至少需要实现哪些操作或拥有哪些成员。

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

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

上述代码仅允许整型（int、long 等）传入 add 函数，编译器会在传参时自动验证。

2. 概念的核心语法

  1. 定义概念 

    template <typename T>
concept ConceptName = /* 约束表达式 */;

    约束表达式可以是任意可被求值为布尔值的表达式，常用的是对 std::is_*_v 进行取值或对类型成员进行访问。

  2. 使用概念

    • 作为模板参数约束 
      template <ConceptName T> void f(T t);
    • 作为函数模板的 requires 子句 
      template <typename T>
requires ConceptName <T>
void g(T t);

  3. 组合概念

    • 逻辑运算符 &&、||、! 
      template <typename T>
concept Arithmetic = Integral <T> || FloatingPoint<T>;
    • 组合概念与 requires 语法 
      template <typename T>
requires Arithmetic <T>
void h(T a, T b);

3. 常用标准概念

概念 作用
std::integral 整数类型
std::floating_point 浮点类型
std::arithmetic 整数或浮点
std::default_initializable 可以默认初始化
std::copy_constructible 可以拷贝构造
std::move_constructible 可以移动构造
std::destructible 可以析构
std::swappable 可以交换
std::equality_comparable 可以使用 == 比较
std::regular 满足 regular 类型要求（结合上面多种概念）

使用标准概念可以大幅减少自定义代码量，并让模板签名更加简洁。

4. 自定义概念实例

4.1 约束“可序列化”类型

#include <iostream>
#include <type_traits>

template <typename T>
concept Serializable = requires(T a, std::ostream& os) {
    { os << a } -> std::same_as<std::ostream&>;
};

template <Serializable T>
void log(const T& value) {
    std::cout << "Logging: " << value << '\n';
}

此时 log 只能接受那些可以直接送入 std::ostream 的类型，例如 int、std::string、或者自定义类实现了 operator<<。

4.2 约束“可比较且可复制”类型

template <typename T>
concept ComparableCopyable = std::equality_comparable <T> && std::copy_constructible<T>;

template <ComparableCopyable T>
bool contains(const std::vector <T>& vec, const T& val) {
    return std::find(vec.begin(), vec.end(), val) != vec.end();
}

contains 函数仅能在可比较且可复制的类型上使用，避免了在不具备比较运算符时的编译错误。

5. 概念带来的优势

维度 传统方法 使用概念
编译错误信息 通常是 “no matching function” 或 “invalid use of void” 具体说明哪个概念未满足，定位更快
可读性 模板参数后缀 typename T 需要额外的 requires 或 SFINAE 代码 template <Concept T> 直观明了
性能 过度使用 SFINAE 可能导致编译器多次实例化 编译器提前检查，避免无用实例化
维护 SFINAE 代码复杂、容易出错 概念可单独维护、复用

6. 实战：将传统 std::enable_if 替换为概念

6.1 传统实现

template <typename T, std::enable_if_t<std::is_integral_v<T>, int> = 0>
int mul(T a, T b) { return a * b; }

template <typename T, std::enable_if_t<std::is_floating_point_v<T>, int> = 0>
double mul(T a, T b) { return a * b; }

6.2 使用概念

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

template <IntegralOrFloat T>
auto mul(T a, T b) -> T { return a * b; }

概念一次定义，两个函数合并为一个，代码更简洁。

7. 小结

  • 概念 为模板参数提供了更直观、可读性更强的类型约束语法。
  • 标准概念 已覆盖大部分日常需求，可直接使用。
  • 自定义概念 能进一步提升代码安全性，避免因类型不匹配导致的编译错误。
  • 使用概念后，编译器能更早发现问题，错误信息更友好，代码更易维护。

在实际项目中，只需为常用的自定义类型写几行概念，即可让整个代码库受益。赶快尝试在自己的模板库里加入概念，让 C++20 的强大功能在你手中释放吧！

发表评论