std::declval 不能直接求值，因为它是一个纯编译期工具、函数体被删除，仅用于 decltype 等不求值语境中获取类型；若在运行时调用或非模板上下文中使用会编译失败。
std::declval 为什么不能直接求值
std::declval 是一个纯编译期工具函数，它**不生成可执行代码**，只在类型推导上下文中“假装”返回某个类型的右值引用。你不能对它取地址、不能用它初始化非 const 引用变量、也不能在运行时调用它——否则会触发未定义行为或编译失败。
常见错误现象：auto x = std::declval<int>();</int> 在非模板/非 decltype 上下文中会报错（“call to deleted function”），因为 std::declval 的实现是 deleted 的。
- 只应在
decltype、sizeof、SFINAE、std::is_invocable等不求值语境中使用 - 传入
void是合法的（std::declval<void>()</void>返回void&&），但几乎只用于占位 - 传入不完整类型（如前置声明的 class）通常也允许，只要不实际实例化
用 decltype(std::declval()) 获取 T 的右值引用类型
这是最常用场景：你想在编译期拿到某个类型 T 的“可被调用形态”，比如检查成员函数是否存在。直接写 T() 不行（T 可能无默认构造），而 std::declval<t>()</t> 绕过了构造要求。
示例：判断某类型是否有 begin() 成员函数：
立即学习“C++免费学习笔记（深入）”；
template<typename T> using has_begin = decltype(std::declval<T>().begin());
这里 std::declval<T>() 提供了一个 T&&，从而允许点号访问成员；decltype 捕获其结果类型（不管 begin() 返回什么），整个表达式仅参与重载解析，不执行任何构造或调用。
- 注意不是
decltype(T().begin())—— 那会尝试默认构造T，失败即硬错误 - 若需左值环境，用
std::declval<T&>()；若需 const 左值，用std::declval<const T&>() - 返回类型始终是引用（
T&&或T&），不会意外触发移动或拷贝
和 std::is_detected、C++20 concepts 的协作方式
手写 trait 时，std::declval 常作为探测表达式的“左操作数”。搭配 std::void_t 或 std::is_detected，可把探测封装成布尔常量。
例如 C++17 风格探测 size() 是否可用：
template<typename T> using size_t_t = decltype(std::declval<T>().size()); template<typename T> constexpr bool has_size_v = std::is_detected_v<size_t_t, T>;
这段代码里，std::declval<T>() 让 .size() 调用在编译期“看起来可行”，而 std::is_detected_v 把失败转为 false，避免 SFINAE 泄漏。
- C++20 后优先用 concepts：
concept HasSize = requires(T t) { t.size(); };，底层仍依赖类似机制 - 不要在
requires子句里手动写std::declval—— concepts 语法已隐式处理了求值语境 - 探测返回值类型时，
std::declval本身不参与类型匹配，真正起作用的是decltype的结果
容易被忽略的 cv-qualifier 和引用折叠细节
std::declval 的模板参数决定了返回类型的 cv-qualifier 和引用类别，这点极易出错。例如 std::declval<const T>() 返回 const T&&，而非 const T& —— 因为 declval 总返回右值引用。
这意味着：想测试 const T 对象能否调用某个 const 成员函数，得写 std::declval<const T&>()（显式加 &）才能得到左值引用，否则即使函数是 const-qualified，也可能因“右值调用 const 成员”而误判（虽然大多数 const 成员允许右值调用，但并非全部）。
-
std::declval<T>()→T&& -
std::declval<T&>()→T& -
std::declval<const T&>()→const T& -
std::declval<volatile T&>()→volatile T&
真正难搞的是当类型含引用时的折叠：比如 T = int&，那么 std::declval<T>() 实际返回 int&&（引用折叠后仍是 int&），但这个过程是隐式的，调试时看不到中间态。遇到复杂嵌套类型，建议先用 static_assert(std::is_same_v<decltype(...), ...>) 锁定预期类型。
