要用 requires(T t) { t.member; } 检查公有非静态数据成员存在性，确保可访问、可求值且语义准确；配合 { t.member } -> std::same_as 等约束类型。
必须用 requires(T t) { t.member; }，不能靠 static_assert 或裸写 T::member —— 后者要么触发硬错误，要么检查错对象（比如把嵌套类型当成员变量）。
如何用 C++20 Concepts 检查公有成员变量存在性
这是最常用也最容易写错的场景。关键不是“能编译”，而是“语义准确”：你真正想约束的是“给一个 T 类型的对象，能否用点号访问该成员”，这隐含要求成员是 public、非静态、非函数、非模板。
-
requires(T t) { t.id; }✅ 正确：检查可访问性，const 成员也能过（只要可读） -
requires(const T t) { t.id; }✅ 更稳妥：显式适配 const 成员 -
requires { typename T::id; }❌ 错：这是查嵌套类型别名，不是数据成员 -
requires { T::id; }❌ 错：这是查静态成员，漏掉绝大多数实例成员 - 私有成员会失败 —— 这不是缺陷，是设计意图：Concepts 约束的是接口契约，不是实现细节
如何同时验证成员存在性和类型
只确认 t.id 存在不够，常见需求是它还得是整型、可转为字符串，或支持自增。这时必须用花括号表达式块 + 箭头约束。
-
{ t.id } -> std::same_as：要求类型精确为 -
{ t.id } -> std::convertible_to<:string>：允许隐式转为std::string -
{ ++t.id }：要求支持前置自增（且id非 const） - 不要写
{ t.id + 1 }而不约束返回类型 —— 它可能意外接受float或用户自定义类型 - 若成员是
mutable或引用，t.id写法仍有效；但++t.id对 const 引用会失败
C++17 兼容方案：用 std::void_t + 成员指针探测
当项目卡在 C++17 或需兼容旧编译器时，HasMemberXxx trait 是唯一轻量可靠的选择。它比 Concepts 更早拦截错误，但错误信息更晦涩。
- 主模板必须继承
std::false_type：templatestruct HasId : std::false_type {}; - 偏特化必须用
std::void_t包裹，不能只写decltype(&T::id)—— 否则 SFINAE 失效 - 结尾必须接
std::is_member_object_pointer，否则成员函数指针也会被误判为成员变量 - 函数模板中启用方式：
template::value>* = nullptr> - 该方案能识别
const/volatile/mutable修饰的成员，但无法区分访问权限（私有成员指针声明合法即通过）
真正容易被忽略的点是：Concepts 的 requires(T t) { t.member; } 和 SFINAE 的 &T::member 检查的是不同东西 —— 前者要求可访问+可求值，后者只要求声明存在。选哪个，取决于你到底想约束“能不能用”，还是“存不存在”。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
