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

作者

Concepts 是 C++20 引入的一项强大新特性，它通过在模板参数列表中添加约束，明确规定模板所需满足的类型特性。相比传统的 SFINAE，Concepts 让模板参数验证更直观、编译报错更友好，也使得模板函数的调用更像普通函数。

1. 基本语法

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

上面定义了一个名为 Addable 的 Concept，要求类型 T 能够执行 a + b 并返回与 T 同一类型。随后可以在模板参数中使用：

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

2. 与 requires 关键字结合

在 C++20 中，requires 既可用于 Concept 定义，也可直接用于函数签名中：

template<typename T>
auto multiply(T a, T b) requires std::integral <T> {
    return a * b;
}

这里限制 T 必须是整数类型。

3. 组合与继承

Concepts 可以组合成更复杂的约束：

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

template<typename T>
requires Arithmetic <T>
T square(T x) {
    return x * x;
}

4. 友好的编译错误

传统的 SFINAE 可能导致编译错误难以定位。Concepts 通过在错误信息中直接显示不满足的约束，大大提升调试体验。例如：

void foo(double x) requires std::integral <double> { }

编译错误会明确指出 double 不满足 std::integral。

5. 实际应用案例

5.1 泛型排序算法

template<std::ranges::range R>
requires std::sortable<std::ranges::iterator_t<R>>
void quicksort(R& rng) {
    // ... 具体实现
}

此处 std::sortable 是 C++23 中的标准概念，表示可排序的迭代器。

5.2 高阶函数库

template<typename Func, typename... Args>
requires std::invocable<Func, Args...>
auto invoke(Func&& f, Args&&... args) {
    return std::invoke(std::forward <Func>(f), std::forward<Args>(args)...);
}

6. 开发工具与支持

  • Clang 14+ 与 MSVC 19.34+ 已完整支持 Concepts。
  • IDE：Visual Studio 2022、CLion 2023 以及 VS Code（通过 Clangd）均能显示概念错误。

7. 结语

Concepts 为 C++ 提供了更严谨、可读性更高的模板编程手段。它们不仅提升了编译时错误信息的质量，也使得模板函数的接口更加清晰。随着社区生态的发展，越来越多的标准库和第三方库开始采用 Concepts，未来 C++ 的泛型编程将会更加稳健与高效。

发表评论