C++如何利用C++20的概念（Concepts）约束模板参数-C++-PHP中文网

最干净明确的方式是用concept定义约束并在模板参数位置引用；requires表达式需严格按语法写：检查成员函数用t.size()、嵌套类型用typename t::value_type、返回类型用{a+b}->std::same_as，多要求用分号分隔。

c++如何利用c++20的概念（concepts）约束模板参数

直接用 concept 定义约束条件，再在模板参数位置引用它——这是最干净、错误提示最明确的方式。别再靠 static_assert 或嵌套 std::enable_if_t 硬扛了。

requires 表达式是核心，它决定“什么才算满足约束”。写错会导致约束失效或误报，常见问题包括表达式求值、参数绑定和返回类型检查没写对。

检查成员函数调用：用 requires(T t) { t.size(); }，不是 t.size() > 0 —— 后者是运行期逻辑，编译器只验证语法合法性
检查嵌套类型存在：必须写 typename T::value_type，漏掉 typename 关键字会编译失败
检查操作符返回类型：比如加法要返回自身类型，得写 { a + b } -> std::convertible_to<t></t>，只写 a + b 不够严格
多个要求并列时用分号分隔，不要用逗号；每个表达式单独一行更易读、出错时定位准

有三种等效写法，但语义和可读性不同，选错会影响重载决议和错误提示粒度。

前置声明式：template<integral t> void f(T)</integral> —— 最简洁，适合单一强约束
requires 子句：template<typename t> requires Addable<t> void f(T)</t></typename> —— 适合组合多个概念，比如 Addable<t> && Copyable<t></t></t>
trailing requires：template<typename t> void f(T) requires Integral<t></t></typename> —— 仅适用于函数模板，不能用于类模板；好处是把约束和实现逻辑放得近，方便对照

注意：如果用了 requires 子句或 trailing requires，就不要再用 typename 声明参数类型，否则编译器会报错。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

别重复造轮子，但要用对。很多内置 concept 名称看似直观，实际语义有细微差别。

std::integral 包含 bool，而很多场景需要排除它；稳妥做法是自定义：concept SignedIntegral = std::integral<t> && !std::same_as<t bool></t></t>
std::ranges::range 要求 begin()/end() 返回相同类型的迭代器，但不要求支持 size()；若需长度信息，得额外加 requires { std::ranges::size(r); }
组合用 &&（且）、||（或）、!（非），但注意 || 在重载决议中可能导致歧义，优先用 if constexpr 分支处理
std::equality_comparable 检查 a == b 是否合法且返回 bool，但不保证对称性；真要强约束，得自己写 requires { { a == b } -> std::same_as<bool>; { b == a } -> std::same_as<bool>; }</bool></bool>

错误信息不再是一长串模板展开堆栈，而是聚焦在“哪个 concept 不满足”和“哪条 requires 失败”，但依然容易忽略关键线索。

错误里出现 T does not satisfy XXX，说明 concept 名字写对了；如果只报 no type named 'value_type'，大概率是忘了在 concept 定义里加 typename
如果多个 concept 同时不满足，编译器通常只报第一个失败项；想全量排查，得逐个注释掉其他 requires 子句
自定义 concept 里用了 std::is_same_v 这类 trait，记得包含 <type_traits></type_traits>；漏掉头文件会导致 “unresolved identifier” 类错误，跟 concept 本身无关
模板参数推导失败时，编译器可能根本不会进入 concept 检查阶段——先确认调用点传参是否能明确推导出 T，比如避免裸指针或未标注的 lambda

真正麻烦的是 requires 表达式里隐含依赖未声明的 ADL 函数，或者 SFINAE 友好性被破坏（比如用了 decltype 但没包在 requires 里），这类问题不会立刻报错，而是让 concept 表面通过、实则漏检。