std::is_detected用于检测成员函数是否存在，需用decltype+std::declval构造表达式，注意const语境、重载覆盖及编译器C++17支持要求。
用 std::is_detected 检测成员函数是否存在
标准库从 C++17 开始通过 std::experimental::is_detected（后被纳入 TS，C++20 起推荐用 std::is_detected 配合自定义探测别名）提供类型特征检测能力。它比手写 SFINAE 更清晰、复用性更强。
核心思路是：定义一个探测别名，尝试对 T 类型调用目标成员函数（带参数），若调用合法则 std::is_detected_v 为 true；否则因 SFINAE 失败而退为 false。
示例：检测 T::size() 是否存在且可无参调用：
template<typename T> using has_size_member_t = decltype(std::declval<T>().size()); static_assert(std::is_detected_v<has_size_member_t, std::vector<int>>); // true static_assert(!std::is_detected_v<has_size_member_t, int>); // true → int 没有 size()
- 必须用
decltype+std::declval构造表达式，不能直接写T{}.size()（可能触发构造/析构副作用或不满足要求） - 若成员函数是 const 限定的（如
size() const），std::declval<T>()返回的是非常量右值，需改用std::declval<const T&>()或加const限定探测别名 - 若要检测带参数的函数（如
find(const K&)），在decltype中补全实参类型，例如：decltype(std::declval<T>().find(std::declval<const K&>()))
处理重载和 const 成员函数时的常见误判
直接用 std::is_detected 检测 T::foo() 可能漏掉 const 重载，或把非 const 版本误判为不存在（当对象是 const 时）。这不是 bug，而是“调用语境未指定”导致的自然结果。
立即学习“C++免费学习笔记（深入）”；
你需要明确检测目标语境：
- 想确认“任意语境下都能调用
foo()” → 用std::declval<T>()（非常量） - 想确认“const 对象能调用
foo()” → 改用std::declval<const T&>() - 想覆盖所有重载（包括 const/non-const）→ 得分别探测，或改用更底层的
void_t+ 多个表达式组合（不推荐，复杂度陡增）
例如，std::string 的 c_str() 是 const 成员函数，以下会失败：
using has_c_str_t = decltype(std::declval<std::string>().c_str()); // ❌ 编译失败：非常量对象不能调用 const 成员
正确写法：
using has_c_str_t = decltype(std::declval<const std::string&>().c_str()); // ✅
Clang/GCC/MSVC 在 C++17 下的兼容性差异
不是所有编译器默认启用 std::is_detected。GCC 8+、Clang 7+、MSVC 19.20+ 均支持，但需确保：
- 开启 C++17 标准（
-std=c++17或项目设置中指定） - 包含头文件：
<type_traits>（C++20）或<experimental/type_traits>（C++17 TS，GCC/Clang 早期版本） - MSVC 19.20+ 可直接用
<type_traits>；旧版需定义_HAS_EXPERIMENTAL_TYPE_TRAITS=1并包含<experimental/type_traits>
若环境受限（如必须支持 C++14），可用等效的 void_t 手写探测：
template<typename...> using void_t = void;
template<typename T, typename = void> struct has_begin : std::false_type {};
template<typename T> struct has_begin<T, void_t<decltype(std::declval<T>().begin())>> : std::true_type {};
注意返回类型推导与 noexcept 的干扰
探测表达式中，只要语法合法即可，不检查返回值是否可赋值、是否 noexcept、是否隐式转换。但若成员函数返回的是不完整类型（如前置声明类），或依赖 ADL 的返回类型（如 operator+），decltype 可能失败，此时探测结果为 false —— 这属于预期行为，不是缺陷。
真正容易被忽略的是：成员函数模板（如 template<typename U> void bar(U)）无法被上述方式直接探测，因为 std::declval<T>().bar 不构成可求值表达式（缺少模板实参）。这种场景需改用更复杂的探测（例如绑定具体类型再试），或者接受“仅检测非模板重载”这一限制。
实际工程中，多数元编程需求只关心“是否存在可调用接口”，而非“是否是模板”。把边界情况写进注释，比强行覆盖所有分支更可靠。
