std::is_detected_v可检测成员函数是否存在，需先定义别名模板封装探测表达式，如has_foo_v；它轻量标准、无需SFINAE或Concepts，但要求C++17以上。
用 std::is_detected 检测成员函数是否存在（C++17 起）
标准库从 C++17 开始提供 std::is_detected（定义在
关键点在于：你得先定义一个 detector 别名模板，把“调用 T::func(args...)”这个动作封装成一个探测表达式：
#include <type_traits> #include <utility><p>// 探测 T::foo() 是否存在且可调用 template<typename t> using has_foo_v = decltype(std::declval<t>().foo());</t></typename></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>> == false);</has_foo_v></has_foo_v></p></utility></type_traits>
注意：std::is_detected_v 是变量模板，返回 bool；has_foo_v 必须是别名模板（using），不能是函数模板或 constexpr 变量模板。
手动实现 SFINAE trait 兼容 C++11/14
如果项目卡在 C++11 或需精细控制错误提示，就得手写探测 trait。核心是利用“SFINAE 失败不报错”，通过重载优先级让编译器选中“能调用成功”的版本才返回 std::true_type。
常见错误是直接写 decltype(T().func()) —— 这会因 T() 不可构造而硬报错，不是 SFINAE 友好形式。必须用 std::declval：
- 永远用
std::declval模拟左值对象，避免构造要求() - 探测 const 成员函数时，要写
std::declval().func() - 带参数的函数需在
decltype中补全参数类型，例如decltype(std::declval().bar(0, 3.14f)) - 若只关心“存在”，不关心返回值，可用
void_t包一层（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;
};</t></typename></u></typename></typename></p></type_traits>
检测重载函数或特定签名时的陷阱
成员函数重载很常见，但 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() - 误以为探测成功 = 函数语义正确：它只管语法可调用，不管函数体是否抛异常、是否 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 表达式 */ }
}
</typename>
正确写法是：
template<typename t>
void process(T t) {
if constexpr (std::is_detected_v<has_bar_v t>) {
t.bar(); // ✅ 此时确定存在且可调用
}
}
</has_bar_v></typename>
真正复杂的地方在于：当成员函数模板、默认参数、引用折叠混在一起时，探测表达式的书写极易出错——这时候建议先用 static_assert 输出 decltype(...) 看推导结果，再逐步收紧条件。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
