C++20用requires检查成员可访问性最清晰准确；C++17及以前需用std::void_t+SFINAE探测，因static_assert在函数体内无法阻止前置硬错误，有效约束必须发生在模板匹配阶段。
直接用 requires 表达式检查成员变量可访问性，是 C++20 下最清晰、错误提示最准的方式；C++17 及以前只能靠 std::void_t + 成员指针探测，但报错晦涩、写法易错。
为什么不能用 static_assert 检查 obj.member
static_assert 在函数体内部求值，此时模板已实例化完成。若 T 根本没有 member，编译器会在进入函数前就因 obj.member 语法非法而报硬错误（比如 error: 'member' is not a member of 'X'），根本不会走到 static_assert 那一行。
真正有效的约束必须发生在模板参数推导/匹配阶段，而非函数体内。
- ❌ 错误写法：
template<typename t> void f(T obj) { static_assert(obj.flag); }</typename> - ✅ 正确思路：用
requires或std::enable_if_t把检查前置到模板签名层
requires(T t) { t.member; } 的实际含义和陷阱
这个表达式不是“只要 T 声明了 member 就行”，而是要求：对一个 T 类型的左值对象 t，能合法写出 t.member 并取值。这意味着：
立即学习“C++免费学习笔记（深入）”；
- 成员必须是 公有 的（私有/保护成员会失败）
- 不能是静态成员（
t.static_member合法，但语义上通常不这么用；静态成员更推荐写{ T::static_member }） - 若
member是引用类型或const限定，t.member仍可访问，没问题 - 若想同时支持
const和非const对象，应显式写requires(const T& t) { t.member; }或分开约束
示例：template<typename t> concept HasId = requires(T t) { t.id; };</typename> —— 调用 HasId<mystruct></mystruct> 时，MyStruct 必须有公有非静态成员 id。
C++17 兼容方案：用 std::void_t<decltype></decltype> 探测
这是目前最稳定、兼容 C++17 的替代方案，核心是利用 SFINAE：若 &T::member 是合法表达式且结果为对象指针类型，则偏特化生效；否则回落到 false_type。
- 必须用
std::void_t包裹，不能只写decltype(&T::member)，否则编译器提前报错，SFINAE 失效 - 要搭配
std::is_member_object_pointer进一步过滤，避免把成员函数指针误判为合法 - 标准写法如下：
template<typename T, typename = void>
struct HasMemberId : std::false_type {};
template<typename T>
struct HasMemberId<T, std::void_t<decltype(&T::id)>>
: std::is_member_object_pointer<decltype(&T::id)> {};
然后在函数中使用：template<typename t std::enable_if_t>::value, int> = 0> void f(const T&);</typename>
容易被忽略的关键点
成员名是字面量，无法参数化——HasMemberId 里的 id 是硬编码的，想支持任意成员名，C++17 只能靠宏生成 trait，C++20 则需为每个成员单独定义 concept；另外，requires 检查的是可访问性，不是存在性，私有成员即使存在也无法通过 t.member 检查，这点和 &T::member 探测行为不同，选哪种取决于你的设计意图（接口契约 vs 内部实现可见性）。
