最稳的方式是用 std::is_detected（c++17）或 void_t + 表达式 sfinae（c++11/14）检测成员函数是否存在，需严格匹配参数、cv 限定符，且只能在 if constexpr 等常量表达式上下文中使用。
怎么用 std::is_detected 检测成员函数是否存在
编译期检测成员函数是否存在，最稳的路是走 std::experimental::is_detected（C++17 起可借 std::void_t 手动实现），它不依赖宏、不触发 SFINAE 误伤，也不需要手写 traits 类模板。
常见错误是直接对 T::func 做 decltype，结果一遇到不存在的函数就硬报错，而不是静默失败——这违背了“检测”的本意。
- 必须用表达式 SFINAE 封装调用，比如
decltype(std::declval<t>().func())</t> - 把表达式包进别名模板里，再用
is_detected判定是否能实例化 - 注意：参数类型要严格匹配；
const成员函数需显式加const限定符 - 若目标函数是重载或模板，检测会失败——
is_detected只认唯一可解析的表达式
template <typename T> using has_foo_v = std::is_detected<decltype(&T::foo), T>; // 错！&T::foo 要求 foo 是非静态、非重载、非模板的普通成员用 void_t + 表达式 SFINAE 手写检测（C++11/14 兼容）
没有 std::experimental 或想控制更细时，得自己搭检测结构。核心是让“表达式合法”能推导出一个类型，否则 fallback 到默认特化。
容易踩的坑是忘了加 std::declval —— 直接写 T().func() 会导致要求 T 可默认构造，实际只想查接口，不该加额外约束。
立即学习“C++免费学习笔记（深入）”；
- 检测非 const 成员函数：
decltype(std::declval<t>().func())</t> - 检测 const 成员函数：
decltype(std::declval<const t>().func())</const> - 检测带参数的函数：
decltype(std::declval<t>().func(std::declval<int>()))</int></t> - 返回类型无关紧要，用
void_t<...></...>包一层即可，不必关心是不是int还是void
if constexpr 里用检测结果分支，但别漏掉 constexpr 上下文限制
检测结果只有在模板实例化时才是常量表达式，所以必须在 if constexpr 中使用，不能塞进普通 if 或函数参数默认值里。
典型翻车现场：在类模板外声明一个变量，用检测结果初始化它——编译器会报 “not a constant expression”，因为此时 T 还没落地。
-
if constexpr (has_member_func_v<t>)</t>✅ 可行 -
Static constexpr bool v = has_member_func_v<t>;</t>✅ 可行（在模板内） -
int x = has_member_func_v<t> ? 1 : 0;</t>❌ 编译失败，非 constexpr 上下文 - 函数参数缺省值里写
= has_member_func_v<t></t>❌ 同样不行
为什么不用 __has_member 或其他编译器扩展
像 Clang 的 __has_member 或 MSVC 的 __is_callable 看似简单，但它们不是标准，跨编译器一换就崩，CI 上跑一半挂掉很常见。
更麻烦的是语义模糊：有些扩展对 deleted 函数也返回 true，有些对 private 成员也报存在——你真正要的只是“我能合法调用”，不是“它在符号表里有这一项”。
- 标准方案（
void_t/is_detected）只响应“表达式是否能通过编译”，行为确定 - 扩展宏可能随编译器小版本更新改变行为，比如 Clang 15 和 16 对 const 成员的判定逻辑微调过
- 一旦项目要支持交叉编译（比如 windows 下编译 linux 目标），扩展基本不可用
检测成员函数这件事，表面看是语法问题，实际卡点永远在“什么时候实例化”“表达式能不能推导”“要不要考虑 cv 限定符”——这些细节漏一个，模板就静默失效或者爆红到看不懂。