**C++20 中的 Concepts：让模板代码更易读与安全**

作者

在 C++20 之前，模板的灵活性带来了强大的泛型编程能力，但也带来了错误诊断困难、意外匹配以及难以维护的代码。 Concepts（概念）作为一种编译时的约束机制，旨在解决这些痛点。本文将从概念的基本定义、写法、应用场景、以及对代码可读性和错误提示的提升等方面进行阐述，并通过几个实战示例演示如何在项目中应用 Concepts。

1. 何为 Concepts？

Concepts 是一种对模板参数进行约束的语法，允许开发者在函数、类模板以及模板参数列表中声明“此参数必须满足哪些特性”。在编译阶段，编译器会检查传递给模板的类型是否符合约束；如果不满足，编译器会给出清晰的错误信息，而不是像传统模板那样在深层模板实例化过程中产生堆砌错误。

template<typename T>
concept Addable = requires(T a, T b) {
    { a + b } -> std::convertible_to <T>;
};

上面定义了一个名为 Addable 的概念，表示 T 必须支持 + 运算且结果可隐式转换为 T。

2. 如何声明与使用 Concepts？

2.1 关键字 concept

概念使用 concept 关键字声明，后跟概念名和参数列表。主体通常是一个 requires 表达式，描述了类型需要满足的语义。

template<typename T>
concept Iterable = requires(T x) {
    std::begin(x);
    std::end(x);
};

2.2 requires 约束

在模板参数列表中直接使用 requires 约束，或者使用 requires 语句块。

template<Iterable T>
void printAll(const T& container) {
    for (auto&& val : container) {
        std::cout << val << ' ';
    }
}

2.3 组合与继承

可以使用逻辑运算符（&&, ||, !）组合概念，或将概念嵌套在更大层级。

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

template<Number T>
T square(T x) { return x * x; }

3. Concepts 与传统 SFINAE 的对比

维度 传统 SFINAE Concepts
语法 typename = std::enable_if_t<...> template<Concept T>
可读性 难以一眼看出约束 直接明了
错误信息 典型错误堆栈深 清晰“未满足约束”
编译时间 可能更长 可提前错误定位

概念是对 SFINAE 的补充与提升，而非替代。对于已有的代码库，仍可保持 SFINAE 的使用；但在新项目或重构时，建议优先使用概念。

4. 实战示例：安全的 make_unique

C++14 中 std::make_unique 实现的技巧是使用 new，但缺乏对数组类型的处理。C++20 中可以通过 Concepts 做更细粒度的约束。

template<typename T>
concept NonArray = !std::is_array_v <T>;

template<NonArray T, typename... Args>
std::unique_ptr <T> make_unique(Args&&... args) {
    return std::unique_ptr <T>(new T(std::forward<Args>(args)...));
}

如果传入的是数组类型，编译错误会直接指出 NonArray 约束不满足，而不是在实现内部抛出 static_assert。

5. 对代码可读性与维护性的提升

  1. 声明文件：可以在 concepts.hpp 里集中声明所有概念，方便团队共享与复用。
  2. 文档化：IDE 可以根据概念名称自动生成文档，帮助新成员快速上手。
  3. 防止误用：编译器在传参时即判定，避免运行时异常或逻辑错误。

6. 小结

  • Concepts 提供了更直观、强大的模板参数约束机制。
  • 与传统 SFINAE 相比，Concepts 使错误诊断更友好，代码更易读。
  • 在 C++20 及以后的版本中，Concepts 已成为泛型编程的标准工具，值得在新项目中优先考虑。

练手建议：尝试把你现有的 std::sort 自定义比较函数改写为概念约束，看看错误信息有何变化。祝编码愉快！

发表评论