## 使用 C++20 概念（Concepts）简化模板编程

作者

在 C++20 之前，模板编程常常伴随着“SFINAE”（Substitution Failure Is Not An Error）和 enable_if 的堆砌，导致代码既难以阅读也难以维护。C++20 引入的 概念（Concepts） 则提供了一种更直观、更强类型检查的方式，让模板参数的约束变得像普通的类型约束一样清晰。

1. 什么是概念？

概念是对类型或值表达式的一组要求的描述，它们可在模板参数列表中使用，起到类似 typename T : SomeConcept 的约束作用。若传入的类型不满足概念，编译器会给出更具体、更友好的错误信息。

2. 如何定义一个简单概念？

template<typename T>
concept Incrementable = requires(T x) {
    { ++x } -> std::same_as<T&>;   // ++x 必须返回 T&
    { x++ } -> std::same_as <T>;    // x++ 必须返回 T
};

上述 Incrementable 概念检查类型 T 是否支持前置和后置自增操作，并且返回值类型符合预期。

3. 在模板中使用概念

template<Incrementable T>
T add_one(T value) {
    return ++value;
}

若你尝试调用 add_one(3.14)，编译器会提示浮点数不满足 Incrementable，而不像 SFINAE 那样产生隐晦的错误。

4. 组合概念与标准库

C++20 标准库已为常用概念预先定义了许多，例如：

  • std::integral：整数类型
  • std::floating_point：浮点类型
  • std::default_initializable：默认可初始化

你可以直接使用它们来简化约束：

#include <concepts>

template<std::integral I>
I safe_divide(I a, I b) {
    if (b == 0) throw std::runtime_error("division by zero");
    return a / b;
}

5. 细粒度约束

你可以将多个概念组合成更复杂的约束：

template<typename T>
concept SortedRange = requires(T t) {
    typename T::iterator;
    { std::begin(t) } -> std::same_as<typename T::iterator>;
    { std::end(t) }   -> std::same_as<typename T::iterator>;
    std::is_sorted(std::begin(t), std::end(t));
};

然后在函数里使用：

template<SortedRange R>
auto sum_sorted(R&& r) {
    return std::accumulate(std::begin(r), std::end(r), 0);
}

6. 诊断信息的优势

概念的错误信息通常比 SFINAE 更易读，因为它直接指出不满足的约束：

error: no type named 'iterator' in 'int'

而 SFINAE 可能导致编译器生成一堆复杂的模板错误链。

7. 性能影响

概念本身是编译时检查，运行时没有开销。编译器通过概念进行更严格的类型检查，有时甚至能产生更高效的代码（例如，在模板内不需要进行类型特化时）。

8. 兼容性

若项目需要在 C++17 环境下运行，可以使用 boost::concepts 或 concepts 库的实现，或将概念功能降级为 enable_if。但若使用 C++20 及以后版本，建议直接使用标准概念。

9. 小结

  • 概念 提升了模板代码的可读性与可维护性。
  • 通过 预定义概念，可快速实现常见约束。
  • 自定义概念 让你可以在需要时定义更细粒度的约束。
  • 错误信息更友好，编译阶段即能捕获类型错误。

使用概念，模板编程不再是“魔法”，而是更像普通的函数或类模板，带着清晰的接口约束与更安全的类型检查。欢迎在你自己的项目中尝试概念，感受 C++20 带来的提升吧！

发表评论