std::is_detected_v可检测成员函数是否存在，需先定义别名模板封装探测表达式，如has_foo_v；它轻量标准、无需SFINAE或Concepts，但要求C++17以上。
用 std::is_detected 检测成员函数是否存在（C++17 起）
标准库从 C++17 开始提供 std::is_detected（定义在 <experimental></experimental>，后移入 <type_traits></type_traits>），它是检测“某个类型能否以特定签名调用某操作”的最轻量、最标准的方式。它不依赖 SFINAE 手写 trait，也不需要 C++20 的 Concepts——只要编译器支持 C++17 即可开箱即用。
关键点在于：你得先定义一个 detector 别名模板，把“调用 T::func(args...)”这个动作封装成一个探测表达式：
#include <type_traits> #include <utility> <p>// 探测 T::foo() 是否存在且可调用 template<typename T> using has_foo_v = decltype(std::declval<T>().foo());</p><p>// 使用 is_detected_v 判断是否成立 static_assert(std::is_detected_v<has_foo_v, std::string> == false); static_assert(std::is_detected_v<has_foo_v, std::vector<int>> == false);</p>
注意：std::is_detected_v 是变量模板，返回 bool；has_foo_v 必须是别名模板（using），不能是函数模板或 constexpr 变量模板。
手动实现 SFINAE trait 兼容 C++11/14
如果项目卡在 C++11 或需精细控制错误提示，就得手写探测 trait。核心是利用“SFINAE 失败不报错”，通过重载优先级让编译器选中“能调用成功”的版本才返回 std::true_type。
立即学习“C++免费学习笔记（深入）”；
常见错误是直接写 decltype(T().func()) —— 这会因 T() 不可构造而硬报错，不是 SFINAE 友好形式。必须用 std::declval<t>()</t>：
- 永远用
std::declval<t>()</t>模拟左值对象，避免构造要求 - 探测 const 成员函数时，要写
std::declval<const t>().func()</const> - 带参数的函数需在
decltype中补全参数类型，例如decltype(std::declval<t>().bar(0, 3.14f))</t> - 若只关心“存在”，不关心返回值，可用
void_t<decltype></decltype>包一层（C++11 起可用）
#include <type_traits>
<p>template<typename T>
struct has_begin {
private:
template<typename U>
static auto test(int) -> decltype(std::declval<U>().begin(), std::true_type{});
template<typename>
static std::false_type test(...);
public:
static constexpr bool value = decltype(test<T>(0))::value;
};</p>检测重载函数或特定签名时的陷阱
成员函数重载很常见，但 std::is_detected 或 SFINAE 探测只能验证“至少有一个重载能匹配给定签名”。比如类有 void foo(int) 和 int foo(double)，你探测 foo(42) 会成功，但探测 foo(3.14) 才真正调用到另一个重载。
容易踩的坑：
- 没写明参数类型就探测：如
decltype(t.foo())无法区分foo() const和foo() &，可能误判 - 忽略 cv 限定符：
const T对象只能调用const成员函数，探测时必须用std::declval<const t>()</const> - 误以为探测成功 = 函数语义正确：它只管语法可调用，不管函数体是否抛异常、是否 constexpr、是否 noexcept
为什么不用 if constexpr 直接判断？
if constexpr（C++17）本身不能“探测是否存在”，它只是在已知条件为 constexpr bool 时做分支。你仍然得先有一个编译期常量来表达“T 有没有 bar”，而这常量就得靠 std::is_detected_v 或自定义 trait 提供。
典型误用：
template<typename T>
void process(T t) {
if constexpr (t.bar()) { /* ❌ 错！t.bar() 不是 constexpr 表达式 */ }
}
正确写法是：
template<typename T>
void process(T t) {
if constexpr (std::is_detected_v<has_bar_v, T>) {
t.bar(); // ✅ 此时确定存在且可调用
}
}
真正复杂的地方在于：当成员函数模板、默认参数、引用折叠混在一起时，探测表达式的书写极易出错——这时候建议先用 static_assert 输出 decltype(...) 看推导结果，再逐步收紧条件。
