C++20 概念：用概念简化模板约束

作者

在 C++20 之前，模板的参数约束往往需要使用 enable_if、SFINAE 或者 requires 关键字来实现。虽然这些技术功能强大，但代码可读性差、错误信息难以理解。C++20 引入了 概念（Concepts），为模板编程提供了更加直观和类型安全的约束方式。本文将从基本语法、常见概念以及实践应用三个方面，介绍如何利用概念来简化模板约束。

1. 概念的基本语法

概念本质上是一个布尔表达式，用来描述一个类型或一组类型所满足的属性。基本定义方式如下：

template<typename T>
concept MyConcept = requires(T a, T b) {
    // 需要满足的表达式
    { a + b } -> std::same_as <T>;    // 表达式必须可用，且返回类型为 T
    { a == b } -> std::convertible_to <bool>;
};
  • requires 关键字后跟一个表达式列表，表达式使用 -> 指定返回类型约束。
  • requires 也可以直接使用类型或值来检查是否可调用，例如 requires (T{1,2} + T{3,4});。

概念定义后可以在函数、类、变量等模板中使用：

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

如果传入的类型不满足 MyConcept，编译器会在错误信息中指明哪个约束不满足，从而提高可调试性。

2. 常见标准概念

C++20 标准库提供了大量预定义概念，常用的有：

概念 说明 头文件
std::integral 整数类型 `
`
std::floating_point 浮点数类型 `
`
std::arithmetic 整数或浮点数 `
`
`std::same_as
| 与类型 T 相同 |`
`std::derived_from
| 从 Base 派生 |`
std::constructible_from<T...> 可以用给定参数列表构造 <concepts>
std::movable 可移动类型 `
`

使用这些概念可以极大简化代码。例如，想要实现一个通用的 swap：

template<std::movable T>
void my_swap(T& a, T& b) {
    T temp = std::move(a);
    a = std::move(b);
    b = std::move(temp);
}

3. 组合概念：多约束

有时一个模板需要满足多个约束。可以使用逻辑运算符 &&、|| 和 ! 组合概念：

template<typename T>
concept IntegralOrPointer = std::integral <T> || std::is_pointer_v<T>;

也可以自定义组合概念：

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

template<Numeric T>
T multiply(T a, T b) {
    return a * b;
}

4. 自定义概念示例：可排序的容器

假设我们想实现一个泛型排序函数，只接受可随机访问、支持比较的容器。可以定义如下概念：

#include <concepts>
#include <iterator>

template<typename Container>
concept RandomAccessSortable = requires(Container c) {
    { std::begin(c) } -> std::input_iterator;
    { std::end(c) }   -> std::input_iterator;
    { std::is_sorted(std::begin(c), std::end(c)) } -> std::convertible_to <bool>;
};

template<RandomAccessSortable C>
void my_sort(C& container) {
    std::sort(std::begin(container), std::end(container));
}

5. 概念与 SFINAE 的对比

  • SFINAE：基于模板特化的错误隐藏，错误信息难以定位，适用于旧标准或编译器不支持 C++20 的场景。
  • 概念：直接在函数签名中声明约束，错误信息更清晰，编译速度更快。

在现代 C++20 代码中，建议优先使用概念。

6. 进阶话题：概念与 requires 子句

在函数模板内部也可以使用 requires 子句进一步限制模板参数：

template<typename T>
auto min(const T& a, const T& b)
    requires std::totally_ordered <T>  // 需要满足可比较
{
    return (a < b) ? a : b;
}

与概念一起使用，能够实现更细粒度的约束。

7. 小结

  • 概念 让模板约束变得更具可读性、可维护性和可调试性。
  • 标准概念 已经涵盖大多数常见需求，配合 requires 子句即可快速构建安全的泛型代码。
  • 自定义概念 可以根据项目需求抽象出更高层次的抽象，提升代码复用率。

掌握概念后，你的 C++ 模板代码将不再依赖繁琐的 SFINAE 伪技巧，而是能够以更自然、更类型安全的方式进行约束。祝你编码愉快！

发表评论