std::declval不能用于普通变量声明，因为它仅在不求值上下文（如decltype、sizeof）中有效，其函数体未定义，直接调用会触发“call to deleted function”错误。
std::declval 为什么不能直接用在普通变量声明里
因为 std::declval 只能在不求值的上下文中使用（比如 decltype、sizeof、模板参数推导），它本质是「假装返回一个类型为 T&& 的右值引用」，但内部根本没有定义函数体——编译器只靠签名做类型推导，不生成实际调用代码。所以写 auto x = std::declval<int>();</int> 会报错：call to deleted function 'declval'。
获取成员类型的标准写法：配合 decltype 和点号访问
想取 T 的某个成员（比如 T::value_type 或 T{}.data() 的返回类型），关键是让 decltype 看到「合法的表达式」，而 std::declval 就是构造这个表达式的桥梁：
- 要取嵌套类型（如
iterator::reference），直接用作用域解析：typename T::reference—— 这不需要std::declval - 要取成员函数调用结果类型（如
container.front()返回什么），必须构造调用表达式：decltype(std::declval<t>().front())</t> - 要取数据成员类型（如
obj.x），同样：decltype(std::declval<t>().x)</t>
注意 std::declval<t>()</t> 返回的是 T&&，所以它能调用所有可被右值调用的成员（包括移动语义重载）。如果只想模拟左值环境，得用 std::declval<t>()</t>。
常见误用和编译错误
以下写法都会失败：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
decltype(T{}.front())—— 错误：强制构造T{}，要求T有默认构造函数，且可能触发副作用或编译失败 -
decltype(T().front())—— 同上，还可能因T不可复制/不可移动而失败 -
decltype(std::declval<t>().nonexistent_member)</t>—— 编译错误，但这是好现象：SFINAE 场景下会静默失效；若在非模板上下文中，则直接报错 - 对内置类型乱用：
decltype(std::declval<int>().size())</int>——int没有size()，错误明显，但容易在模板中因推导链过长而难以定位
实际模板元编程中的典型用例
比如写一个通用的 value_type_of trait，支持容器和迭代器：
template<typename T> using value_type_of = decltype(*std::declval<T>());
再比如判断某类型是否有 begin() 成员函数：
template<typename T>
auto has_begin(int) -> decltype(std::declval<T>().begin(), std::true_type{});
template<typename T>
std::false_type has_begin(...);
这里 std::declval<T>().begin() 不执行，只检查语法合法性；逗号表达式确保整个表达式类型为 std::true_type（只要 begin() 存在且可调用）。
真正容易被忽略的是：一旦涉及重载函数（如多个 end()），std::declval 无法自动选中最匹配的那个——你得手动加 static_cast 或借助 std::declval<T&>() 控制值类别，否则 SFINAE 可能意外通过或失败。
