Concepts 检查 public data member 应使用 requires(T t) { t.member; }，通过对象表达式触发访问检查，而非 T::member（仅适用于静态成员或嵌套类型）；该方式轻量、可靠，支持 const 和非默认可构造类型。
Concepts 怎么检查某个类型有没有 public data member
直接用 requires + decltype 检查成员表达式是否合法，是最轻量、最可靠的方式。别试图用 std::is_same_v 或反射（C++20 不支持），也别绕到 std::declval<t>().member</t> 再加 SFINAE——Concepts 就是为此而生的。
核心思路：只要 T{}.member 能通过编译（且是 public、非 static、非函数），就说明它存在。注意必须用花括号初始化（T{}）或 std::declval<t>()</t>，不能写 T().member，否则对无默认构造的类型会失败。
- 推荐写法：
requires requires(T t) { t.member; }—— 简洁、直观、支持所有可访问的 data member（包括 const 成员） - 若需限定类型（比如必须是
int），写成：requires requires(T t) { { t.member } -> std::same_as<int>; }</int> - 避免写
requires requires { T{}.member; }：这强制要求T可默认构造，限制过严
如何定义一个要求含 x 和 y 成员的 2D 点概念
实际项目中常需要约束结构体“看起来像点”，比如必须有 x 和 y 两个 public 成员。这时候把多个 require 块合并进一个 concept 最清晰。
template<typename T>
concept PointLike = requires(T t) {
t.x;
t.y;
};
这个定义不关心 x 和 y 是什么类型，也不要求可修改（const 成员也能满足）。如果后续要支持坐标运算，再追加类型约束，比如：
立即学习“C++免费学习笔记（深入）”；
- 要求两者都是浮点数：
{ t.x } -> std::floating_point;（C++20<concepts>提供） - 要求能参与加法：
{ t.x + t.y } -> std::same_as<decltype>;</decltype> - 注意：不要在 concept 内部写
static_assert，那会破坏 SFINAE 行为，导致硬错误而非约束失败
为什么 requires T::member 会编译失败
requires T::member 这种写法是错的——T::member 是作用域解析，只能用于静态成员或嵌套类型，不能用来检查实例数据成员。编译器会报错类似：error: 'member' is not a member of 'T'，哪怕 T 真有该成员。
正确路径只有一条：必须通过对象表达式触发 ADL 或成员访问检查。也就是说，一切检查都得从「某个 T 类型的对象」出发：
- ✅ 正确：
requires(T t) { t.member; } - ✅ 正确（更泛化）：
requires requires { std::declval<t>().member; }</t> - ❌ 错误：
requires T::member; - ❌ 错误：
requires requires { T::member; }
这个错误非常典型，尤其当开发者刚从 Java/C# 转来，习惯用 Type.Member 思维写 C++ Concepts。
模板函数里用 PointLike 时，为什么传入 struct 仍报错
常见现象：定义了 PointLike concept，也写了 template<PointLike T> void draw(T p);，但传入明明有 x 和 y 的 struct 时，编译器却说 “candidate template ignored: constraints not satisfied”。问题往往出在成员访问权限或隐式转换上。
- 检查
x和y是否确实是 public：private 或 protected 成员无法在 concept 外部表达式中访问 - 检查是否为 static 成员：静态成员不满足
t.x这种实例访问语法；若需支持 static，得改写为T::x并单独建 concept - 检查是否有同名函数重载：比如同时有
int x;和int x() const;，此时t.x是歧义的，concept 检查失败 - 别忽略用户定义转换：如果 struct 定义了
operator int()，而你又写了{ t.x } -> std::same_as<int></int>，可能意外匹配到转换函数返回值，而非 data member
最稳妥的调试方式是把 concept 拆开，逐个验证：requires(T t) { t.x; } 单独测，再加 t.y，比一上来就堆条件更容易定位哪一行卡住。
