c++20起应优先使用concept显式约束类型，而非sfinae；它在使用点报错、支持返回类型约束（如-> std::same_as）、需#include ，前置template更常用，自定义概念应聚焦领域语义并复用标准概念。
直接用 concept 定义显式约束，别靠 SFINAE 硬扛
现代 C++（C++20 起）中，concept 是唯一推荐的、编译期类型约束正道。它不是语法糖，而是语言级机制——错误在模板**使用点**就报，而不是钻进 20 层嵌套实例化后才崩溃。你写一个 requires 表达式，就是在告诉编译器：“这个类型必须能干成这事，否则不许进来”。
常见错误是只写 { a + b } 却漏掉返回类型约束，导致 std::string + const char* 意外满足 Addable（因为返回的是 std::string，但你本意可能是“同类型加法”）。必须补上 -> std::same_as<t></t> 或 -> std::convertible_to<t></t>。
- 定义概念时，
requires块里的表达式必须是合法的 C++ 语句或带返回类型的花括号表达式 - 嵌套类型检查（如
typename T::value_type）要单独写在requires { ... }中，不能混在变量声明里 - 所有自定义
concept必须包含#include <concepts></concepts>，否则std::same_as等标准谓词不可用
template<myconcept t></myconcept> 和 requires MyConcept<t></t> 的区别在哪
前者是**前置约束**，简洁、可读性强，适合绝大多数函数/类模板；后者是**后置 requires 子句**，优势在于能复用已有模板名（比如不改函数签名只加约束），或组合多个逻辑条件（如 requires A<t> && (B<t> || C<t>)</t></t></t>）。
容易踩的坑：把 requires 写在函数体内部（非法），或误以为 requires 子句能出现在变量模板或别名模板中（不行，只支持函数/类模板和变量声明）。
- 前置写法：
template<:integral t> void f(T);</:integral>—— 最常用，一目了然 - 后置写法：
template<typename t> void f(T) requires std::integral<t>;</t></typename>—— 适合重载分支或复杂布尔组合 - 简写 auto 形式：
void f(const std::integral auto& x);—— 仅限函数参数，不能用于类模板或返回类型
检测成员函数或嵌套类型，requires 怎么写才不翻车
检测是否存在 begin() 和 end() 成员（即是否为 range），不要手写 decltype(&T::begin) 这种 SFINAE 遗留写法。标准做法是用 requires 块内调用并检查返回类型：
template<typename t>
concept HasBeginEnd = requires(T&& t) {
{ t.begin() } -> std::input_iterator<decltype>;
{ t.end() } -> std::same_as<decltype>;
};</decltype></decltype></typename>
注意两点：一是参数用 T&& 而非 T，避免对右值调用 begin() 时报错；二是返回类型约束必须具体，比如 -> std::input_iterator<...></...>，不能只写 { t.begin() }。
- 检测嵌套类型：
requires { typename T::value_type; }—— 就这行，别加;以外的符号 - 检测可调用对象：
{ t(42) } -> std::convertible_to<int>;</int>—— 注意括号和返回约束 - 别用
std::is_detected等旧库元函数，它们和 concepts 不兼容，且错误信息退化
内置概念够用吗？什么时候必须自己写 concept
std::integral、std::floating_point、std::ranges::range 这些内置概念覆盖了 80% 基础场景，但一旦涉及领域语义（比如“这个类型必须能序列化为 JSON”“必须提供线程安全的 push()”），就必须自定义。
自定义概念不是越细越好。例如，与其写十个分别检查 size()、empty()、operator[] 的小 concept，不如组合成一个 RandomAccessContainer 概念，用 && 连接原子约束。否则重载决议会混乱，编译器可能选错模板。
- 优先复用标准概念：
std::copyable比手写requires { T{t}; t = t; }更可靠 - 组合约束时，用
&&表示“全都要”，||表示“任一即可”，但||在重载中易引发歧义，慎用 - 概念名建议用 PascalCase（如
SortableContainer），避免和变量/函数名混淆
真正难的不是写对语法，而是想清楚“这个模板到底需要类型承诺什么行为”，而不是仅仅“能过编译”。比如 std::same_as<t></t> 和 std::convertible_to<t></t> 看似只差一个字，但前者要求完全一致（禁止隐式转换），后者允许——选错会导致本该接受 short 的模板拒绝它。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
