C++ C++20的concepts怎么用_C++20概念与模板约束使用方法

C++20的concepts允许为模板参数定义约束，提升代码可读性和错误提示；通过concept关键字定义谓词，如Integral或Addable，并结合requires表达式检查操作合法性；标准库提供std::integral等常用concept，可应用于函数、类模板及简写函数语法，增强类型安全与编译时检查。

在C++20中，concepts 是一个重要的新特性，它允许我们为模板参数指定清晰的约束条件，从而提升代码的可读性、可维护性和编译错误信息的友好程度。相比以前只能靠SFINAE或requires表达式“隐式”限制模板，现在可以显式声明哪些类型是合法的。

什么是Concepts？

Concept是一个编译时谓词（即返回true或false），用于约束模板参数。它可以看作是对类型的一组要求，比如“这个类型必须支持加法操作”或者“必须是整数类型”。

定义一个concept使用 concept 关键字，后接名称和一个布尔表达式：

template
concept Integral = std::is_integral_v;

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

上面的例子中，Integral 是一个concept，只有整型类型（如int、long等）才能实例化add函数。

如何定义和使用自定义Concept

除了基于类型特征（type traits）定义concept，还可以通过requires表达式来检查操作是否合法。

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

这段代码表示：类型T必须支持+操作，并且结果能转换为T本身。这样就能确保加法行为符合预期。

然后你可以用它来约束函数模板：

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

若传入不支持+操作的类或结果类型不匹配，编译器会直接报错指出违反了Addable约束，而不是抛出一长串模板实例化失败的信息。

标准库中的常用Concepts

C++20标准库在头文件中提供了许多预定义的concept，例如：

• std::integral：整型类型
• std::floating_point：浮点类型
• std::default_constructible：可默认构造
• std::copyable：可复制
• std::equality_comparable：支持==操作

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

#include 

template
void process_integer(T value) {
    // 只接受整型
}

在类模板中使用Concepts

concepts同样适用于类模板。你可以在类模板参数列表中加入约束：

template
concept Printable = requires(T t) {
    std::cout << t;
};

template
struct Logger {
    void log(const T& value) {
        std::cout << "Value: " << value << '\n';
    }
};

如果T不支持输出到std::cout，编译就会在模板定义处报错，提示哪个要求没满足。

函数参数中的简写语法（abbreviated function template）

C++20还支持一种更简洁的写法，直接在函数参数中使用concept名称：

void scale(std::integral auto& x, int factor) {
    x *= factor;
}

这等价于：

template
void scale(T& x, int factor);

这种写法适合简单场景，让代码看起来更接近普通函数，但功能仍是模板。

基本上就这些。合理使用concepts能让模板编程更安全、易懂，也能大幅改善错误提示。刚开始可能觉得requires表达式有点复杂，但一旦掌握常见模式，写起来就很自然了。