C++17起最稳写法是std::void_t配偏特化trait；C++20起优先用requires但注意其检测可访问+可求值。std::void_t必须包裹decltype(&T::member)以触发SFINAE，否则直接硬错误；std::is_member_object_pointer比std::is_same_v更安全；std::enable_if_t须置于返回类型或默认模板参数；成员函数检测须用std::declval配合逗号表达式。
直接结论：C++17 起最稳的写法是 std::void_t<decltype></decltype> 配合偏特化 trait；C++20 起优先用 requires，但注意它检测的是“可访问+可求值”，不是仅声明存在。
为什么 std::void_t 必须包住 decltype(&T::member)
单独写 decltype(&T::member) 会立刻触发硬错误——编译器在模板偏特化匹配前就报 'xxx' is not a member of 'Y'，SFINAE 根本没机会生效。
只有把它塞进 std::void_t 这个“兜底容器”，整个表达式才变成类型推导上下文：成功时推导出 void，失败时退化为空类型，从而激活 SFINAE。
-
std::void_t<decltype></decltype>合法 → 偏特化版本被选中 -
&T::xxx不存在 →decltype失败 →std::void_t无法实例化 → 主模板（std::false_type）胜出 - 漏掉
std::void_t，哪怕只多一个括号或少一个&，都会让编译器放弃重载选择，直接崩在调用点
std::is_member_object_pointer 比 std::is_same_v 更安全
成员变量可能带 const、volatile、mutable、引用甚至数组修饰，decltype(&T::xxx) 推导出的类型形如 int T::* const volatile。
立即学习“C++免费学习笔记（深入）”；
用 std::is_same_v<decltype int t::></decltype>会因 cv 限定符不匹配而误判为 false；而 std::is_member_object_pointer 只关心“是不是对象指针”，自动忽略修饰符差异。
- ✅ 正确写法：
std::is_member_object_pointer<decltype>::value</decltype> - ❌ 错误写法：
std::is_same_v<decltype int t::></decltype>（静态断言或enable_if中都不可靠） - 若成员是
int&或mutable int，&T::xxx依然合法，trait 仍能识别
std::enable_if_t 放错位置就白写
std::enable_if_t 不是开关，它只在模板参数推导或返回类型解析阶段起作用。放在函数体里（比如 static_assert）或作为普通参数，完全绕过 SFINAE，一出错就是硬错误，不会 fallback 到其他重载。
- ✅ 安全位置一：返回类型 ——
template<typename t> auto foo(T t) -> std::enable_if_t<hasmemberxxx>::value, int>;</hasmemberxxx></typename> - ✅ 安全位置二：默认模板参数 ——
template<typename t typename="std::enable_if_t<HasMemberXxx<T">::value>> void bar(T t);</typename> - ❌ 危险位置：函数体内、非类型模板参数、普通函数参数 —— 都会导致编译失败而非静默屏蔽
成员函数存在性检测必须用 std::declval
想确认 T 是否有 begin()，不能写 T{}.begin()（要求可构造），也不能写 T::begin（查的是静态成员）。唯一安全方式是用未求值表达式探测调用可行性。
decltype(std::declval<t>().begin())</t> —— std::declval<t>()</t> 不构造对象，只提供类型语义。
- 必须包裹在函数重载中，靠替换失败触发
SFINAE： template<typename t> auto test(int) -> decltype(std::declval<t>().begin(), void());</t></typename>template<typename> auto test(...) -> std::false_type;</typename>- 常见漏点：逗号表达式缺了，或没写
void()等兜底类型，导致decltype推导出具体返回类型（如int*），重载决议反而失败
真正容易被忽略的是：成员可访问性 ≠ 成员存在性。requires(T t) { t.xxx; } 会检查私有/保护成员是否能在当前上下文中访问，而 &T::xxx trait 只管声明是否存在——这决定了你该用哪个方案，而不是哪个“更现代”。
