C++20中requires(T t) { t.xxx; }是唯一早拦截、报错精准、语义明确的公有成员变量约束方案；C++17需用std::void_t+成员指针探测，但易因括号错误导致硬错误而非SFINAE。
直接用 requires(T t) { t.xxx; } 就能干净限制模板参数必须含公有成员变量，C++20 下这是唯一既早拦截、又报错精准、还语义明确的方案；C++17 及以前只能靠 std::void_t + 成员指针探测，但写错一个括号就变硬错误，不是 SFINAE。
为什么 static_assert(obj.xxx) 会崩在函数体里
它根本进不到函数体——obj.xxx 是运行时表达式，而模板还没实例化完，编译器看到 obj.xxx 就直接报 error: 'xxx' is not a member of 'T'，堆栈深、位置偏、无法定位到你调用模板的地方。
-
static_assert必须作用于编译期常量表达式，obj.xxx不满足 - 哪怕套一层
decltype(obj.xxx)，也得先有obj，仍逃不开构造和访问权限检查 - 真正要约束的是“类型
T是否支持t.xxx这种语法”，不是某个对象有没有这个字段
requires(T t) { t.xxx; } 的实操要点和常见翻车点
这行代码检查的是“对左值 t 能否合法使用点号访问 xxx”，隐含要求该成员是公有、非静态、非函数、非模板。它不看类型，只看可访问性。
- 必须写成
requires(T t) { t.xxx; }，漏掉括号或参数声明（比如写成requires { t.xxx; }）直接语法错误 - 若
xxx是const或volatile限定的成员，建议传const T& t更稳妥 - 若
xxx是mutable或引用类型，此写法仍有效；但私有成员会失败——这不是 bug，是 Concepts 对接口可见性的设计使然 - 不要写
{ &T::xxx }或requires { T::xxx; }：前者是 SFINAE 路线，后者查的是静态成员
C++17 兼容方案：HasMemberXxx trait 怎么写才不翻车
标准写法依赖 std::void_t 包裹 decltype(&T::xxx)，再用 std::is_member_object_pointer 做二次过滤，避免把成员函数指针误判为成员变量。
立即学习“C++免费学习笔记（深入）”；
- 主模板必须设为
std::false_type：template<typename t typename="void"> struct HasMemberXxx : std::false_type {};</typename> - 偏特化里必须用
std::void_t<decltype></decltype>，不能只写decltype(&T::xxx)，否则 SFINAE 失效 - 结尾必须接
std::is_member_object_pointer<decltype></decltype>，比std::is_same_v更安全，能兼容const/volatile/mutable修饰 - 在函数模板中启用时，用
std::enable_if_t<hasmemberxxx>::value>* = nullptr</hasmemberxxx>，错误会提前暴露在模板参数推导层
最易被忽略的一点：Concepts 的 requires(T t) { t.xxx; } 和 SFINAE 的 &T::xxx 语义不同——前者要求可访问+可取值，后者只要求声明存在；如果你的类把 xxx 设为私有且给了友元，SFINAE 可能过，Concepts 一定不过。选哪个，取决于你要约束的是“实现细节”还是“公开接口”。
