std::declval不能用于普通表达式，因其是deleted函数，仅用于不求值上下文如decltype或sizeof中以辅助类型推导。
为什么 std::declval 不能直接用在普通表达式里
因为 std::declval 只是“假装构造”一个类型，它不生成实际对象，返回的是右值引用类型，且本身被定义为 deleted 函数——你调用它不会真的执行，只是让类型系统“看见”这个类型的成员或行为。常见错误是写成 auto x = std::declval<t>();</t> 然后试图取地址或赋值，编译直接报错：use of deleted function 'decltype(auto) std::declval()'。
正确做法是把它锁死在 decltype 或 sizeof 这类不求值的上下文中：
decltype(std::declval<T>().size())或者配合 std::is_same_v 做 SFINAE 判断：
template<typename T> auto has_size(...) -> std::false_type; template<typename T> auto has_size(int) -> decltype(std::declval<T>().size(), std::true_type{}); std::is_detected 和手写 void_t 检测的区别在哪
两者都用于探测某个表达式是否合法，但 std::is_detected（c++17 起在 <experimental></experimental>，C++20 移入标准）是标准化封装，语义明确、可读性高；而手写 void_t 更底层，容易因偏特化顺序或别名模板展开时机出错。
立即学习“C++免费学习笔记（深入）”；
典型坑点：
- 手写
void_t必须用typename+decltype组合，漏掉typename会触发硬错误而非 SFINAE -
std::is_detected对嵌套依赖名（如T::value_type）支持更稳，手写时若T是未实例化的模板参数，void_t<decltype></decltype>可能提前失败 - 某些老编译器（如 GCC 7.5 之前）对
std::is_detected实现有 bug，此时退回到void_t更可靠
用 std::enable_if_t 做函数重载时，为什么参数列表不能全一样
因为模板参数推导发生在重载决议之前，如果两个函数签名完全一致（比如都写成 void foo(T)），编译器根本分不清该选哪个，SFINAE 失效，直接报重定义错误。
必须制造“可区分”的函数签名，常见手法：
- 加一个无意义的默认模板参数：
template<typename t std::enable_if_t>, int> = 0></typename> - 把
enable_if放在返回类型里（C++11 起通用）：auto foo(T) -> std::enable_if_t<:is_floating_point_v>, double></:is_floating_point_v> - 用非类型模板参数占位：
template<typename t typename="std::enable_if_t<...">> void foo(T, int = 0)</typename>，再加个默认实参避免调用时多传
注意：返回类型方式在 C++20 后逐渐被 requires 替代，但兼容旧代码仍得懂。
std::type_identity 在萃取中到底解决什么问题
它只干一件事：让模板参数“不被推导”。比如你想写一个转发函数，但又不想让调用者传进来的类型被自动推导走（破坏 cv 限定或引用性），就得用 std::type_identity_t<t></t> 把 T 包一层，强制它变成非推导上下文。
典型场景是完美转发 wrapper：
template<typename T> void wrapper(std::type_identity_t<T> arg) { forward<T>(arg); }如果没有 std::type_identity_t，直接写 void wrapper(T arg)，那么 wrapper(42) 会推导出 T = int，丢失原本可能是 const int& 的信息；而用 type_identity_t 后，T 必须显式指定或从其他位置约束，保留原始类型特征。
这东西在 C++20 引入，之前只能靠 std::decay_t 或自定义别名模拟，但语义不清晰，容易误用。
类型萃取真正难的不是写几行 decltype，而是判断哪里该阻断推导、哪里该放行、以及 SFINAE 错误是不是真被吃掉了——这些地方一动就崩，而且崩得没提示。