用 std::void_t 可简洁实现 SFINAE 检测，核心是将 decltype(std::declval<T&>().begin()) 映射为 void 并偏特化；不可直接用 decltype(T{}.begin()) 避免硬错误；std::is_detected 仅为 void_t 封装的语法糖，兼容性与可控性不如手写版本。
如何用 std::void_t 检测某个类型是否有 begin() 成员函数
直接上手最常用的写法：用 std::void_t 配合表达式 SFINAE，比手写 decltype + sizeof 更简洁、可读性更高。核心是构造一个依赖模板参数的无效表达式，让编译器在替换时静默丢弃而非报错。
常见错误是把探测逻辑写成非延迟求值形式，比如直接写 decltype(T{}.begin()) —— 这会导致对不支持 begin() 的类型（如 int）触发硬错误，而不是 SFINAE 退路。
- 必须把探测表达式包进模板参数推导上下文，例如用
decltype(std::declval<t>().begin())</t> - 用
std::void_t把合法表达式的返回类型映射为void，再用偏特化区分成功/失败路径 - C++17 起推荐此法；C++11/14 可用等效的
typename std::enable_if<true, void>::type替代std::void_t
template<typename T, typename = void>
struct has_begin : std::false_type {};
template<typename T>
struct has_begin<T, std::void_t<decltype(std::declval<T&>().begin())>>
: std::true_type {};
为什么不能直接用 std::is_detected？它和手写 void_t 有什么区别
std::is_detected 是 experimental/type_traits 提供的便利别名模板，底层就是封装好的 void_t 模式。但它不是标准库正式组件（直到 C++20 才有 std::is_detected 的标准化替代品 std::is_detected_v），且依赖 std::experimental 命名空间，在某些旧编译器（如 GCC 7 或 Clang 6 之前）可能不可用或行为不一致。
实际项目中更倾向手写 void_t 版本，控制力更强，也避免引入实验性头文件。
立即学习“C++免费学习笔记（深入）”；
-
std::is_detected是“语法糖”，本质仍是 SFINAE +void_t，没新机制 - 它的检测粒度固定为“某个 trait 是否能实例化”，无法做复合判断（比如“有
begin()且返回类型可解引用”） - 调试时手写版本更容易打桩、加 static_assert 或输出中间类型，
std::is_detected黑盒感强
检测带参数的函数（如 foo(int)）时，std::declval 怎么传参
不能写 std::declval<T>().foo(42) —— 因为 std::declval 返回的是右值引用，而很多成员函数没声明为 const & 或 &&，调用会失败。正确做法是先用 std::declval<T&>() 拿左值，再显式构造参数类型。
- 参数必须用
std::declval<ArgType>()构造，不能用字面量（如42），否则类型推导失效 - 若函数重载多，SFINAE 会选最匹配的那一个；若都不匹配，整个表达式替换失败 → 进入 false 分支
- 注意 cv 限定符：检测
const成员函数需用std::declval<const T&>()
template<typename T, typename = void>
struct has_foo_int : std::false_type {};
template<typename T>
struct has_foo_int<T, std::void_t<
decltype(std::declval<T&>().foo(std::declval<int>()))
>> : std::true_type {};
检测嵌套类型（如 T::value_type）为何比函数检测更简单
嵌套类型不存在时，typename T::value_type 本身就会导致替换失败，无需额外包裹表达式。只要把它作为偏特化模板参数的一部分，就能自然触发 SFINAE。
但要注意：必须加 typename 前缀，否则编译器无法识别这是依赖名称；而且不能把它放在函数签名里（如返回类型），否则变成硬错误。
- 正确姿势：
template<typename T, typename = typename T::value_type> - 错误姿势：
auto foo() -> typename T::value_type（这不是 SFINAE 上下文） - 如果还要同时检测多个嵌套类型，可用逗号分隔多个
typename，如typename = typename T::value_type, typename = typename T::iterator
concepts 已经让这类检测变得更直观，但 SFINAE 在需要兼容老标准、或做精细元函数组合时仍不可替代——尤其是当你要在同一个 trait 里串起“有 begin()”、“返回类型有 operator*”、“end() 返回同类型”这三重条件时，手写 void_t 仍是目前最可控的方式。 
