C++模板约束与Concept设计方法

C++模板约束与Concept设计方法

模板让 C++ 拥有极强的泛型能力，但如果没有约束，接口会变得模糊，编译错误也会异常难读。C++20 的 concept 提供了一种更接近自然语言的方式，用来表达“什么样的类型才允许参与这个模板”。

先看一个基础概念：

#include
#include

template
concept Numeric = std::integral || std::floating_point;

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

int main() {
std::cout << add(3, 4) << '\n';
}

与早期 enable_if 相比，concept 的价值不只是写法简洁，更重要的是约束直接出现在接口处，调用者一眼就能理解。

你也可以定义能力约束，而不是类型分类约束：

#include
#include

template
concept StreamWritable = requires(std::ostream& os, T value) {
{ os << value } -> std::same_as;
};

template
void print(const T& value) {
}

这种设计比“只对 int、double、string 特判”更泛化，也更符合接口语义。

工程上使用 concept 时，建议遵循几条原则：

- 约束表达能力，而不是罗列具体类型。
- 让 concept 名称体现业务语义。
- 不要为了抽象而抽象，简单场景不必过度分层。
- 把复杂约束拆成多个小 concept 组合。

例如：

#include

template
concept SummableRange = std::ranges::input_range && requires(T r) {
*r.begin() + *r.begin();
};

高质量模板代码的关键，不是“支持尽可能多的类型”，而是“只支持满足明确语义的类型”。concept 正是在类型系统层表达这一点的最佳工具。