C++20 概念（Concepts）：在泛型代码中使用约束的实用指南

作者

在 C++20 之前，模板参数往往是“无约束”的，导致错误信息难以理解。C++20 引入了 概念（Concepts），让你可以对模板参数进行约束，使编译器在编译阶段提供更清晰、更精准的错误信息。本文将详细介绍如何定义和使用概念，并通过示例说明其在实际项目中的应用。

一、概念的基本语法

概念是一个可复用的、可组合的约束表达式。其基本定义方式如下： 

template<typename T>
concept SomeConcept = requires(T a, T b) {
    { a + b } -> std::same_as <T>;
    { a - b } -> std::same_as <T>;
};
  • requires 子句中列出的表达式必须在类型 T 上合法。
  • `-> std::same_as ` 表示该表达式的返回类型必须与 `T` 相同。
  • 你也可以使用 std::integral, std::floating_point 等标准库已定义的概念。

二、在函数模板中使用概念

在模板参数列表中使用概念比传统的 enable_if 更直观。 

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

如果传入的类型不满足 SomeConcept，编译器会给出“add 不能实例化于该类型”的错误信息，而不是“模板参数推导失败”。

三、组合概念

概念可以使用逻辑运算符 &&, ||, ! 组合。 

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

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

四、在类模板中使用概念

类模板的模板参数也可以使用概念进行约束。 

template<template<typename> typename Container, typename T>
requires std::ranges::range<Container<T>> && std::same_as<std::ranges::range_value_t<Container<T>>, T>
class MyContainer {
    // ...
};

五、概念与 requires 子句的区别

  • 概念 用于对模板参数做约束；
  • requires 子句 可以放在函数或类内部，用于更细粒度的约束。 
template<typename T>
void foo(T t) requires std::same_as<T, int> {
    // 只有当 T 为 int 时才会编译
}

六、实际案例：安全的加密加法

假设我们有一个加密整数类型 EncryptedInt，只有满足加密约束才能执行加法。 

struct EncryptedInt {
    int value;
    // 这里会有加密/解密逻辑
};

template<typename T>
concept Encrypted = requires(T a, T b) {
    { a.value } -> std::same_as <int>;
};

template<Encrypted T>
T add_encrypted(const T& a, const T& b) {
    return T{ a.value + b.value };  // 这里简化为直接相加
}

如果尝试传入普通 int，编译器会提示不满足 Encrypted 约束。

七、常见错误与调试技巧

  1. 错误信息仍然晦涩：检查是否使用 requires 子句而非概念。
  2. 概念未被识别：确保编译器开启 C++20 模式（如 -std=c++20）。
  3. 互相递归的概念：在定义概念时避免循环依赖，可能导致编译器报错。

八、结语

概念为 C++ 的泛型编程带来了更高的可读性和更好的错误诊断。通过合理地拆分概念、组合概念以及与 requires 子句结合使用，可以写出既安全又高效的模板代码。建议在新项目中积极使用 C++20 概念，并逐步迁移旧的 enable_if 代码。祝编码愉快！

发表评论