C++如何使用std::declval在编译期获取类型-C++-PHP中文网

std::declval 不能直接求值，因为它是一个纯编译期工具、函数体被删除，仅用于 decltype 等不求值语境中获取类型；若在运行时调用或非模板上下文中使用会编译失败。

c++如何使用std::declval在编译期获取类型

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() 成员函数：

template<typename t>
using has_begin = decltype(std::declval<t>().begin());</t></typename>

这里 std::declval<t>()</t> 提供了一个 T&&，从而允许点号访问成员；decltype 捕获其结果类型（不管 begin() 返回什么），整个表达式仅参与重载解析，不执行任何构造或调用。

注意不是 decltype(T().begin()) —— 那会尝试默认构造 T，失败即硬错误
若需左值环境，用 std::declval<t>()</t>；若需 const 左值，用 std::declval<const t>()</const>
返回类型始终是引用（T&& 或 T&），不会意外触发移动或拷贝

和 std::is_detected、C++20 concepts 的协作方式

手写 trait 时，std::declval 常作为探测表达式的“左操作数”。搭配 std::void_t 或 std::is_detected，可把探测封装成布尔常量。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

例如 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>;</size_t_t></typename></t></typename>

这段代码里，std::declval<t>()</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> 返回 const T&&，而非 const T& —— 因为 declval 总返回右值引用。

这意味着：想测试 const T 对象能否调用某个 const 成员函数，得写 std::declval<const t>()</const>（显式加 &）才能得到左值引用，否则即使函数是 const-qualified，也可能因“右值调用 const 成员”而误判（虽然大多数 const 成员允许右值调用，但并非全部）。

std::declval<t>()</t> → T&&
std::declval<t>()</t> → T&
std::declval<const t>()</const> → const T&
std::declval<volatile t>()</volatile> → volatile T&

真正难搞的是当类型含引用时的折叠：比如 T = int&，那么 std::declval<t>()</t> 实际返回 int&&（引用折叠后仍是 int&），但这个过程是隐式的，调试时看不到中间态。遇到复杂嵌套类型，建议先用 static_assert(std::is_same_v<decltype ...>)</decltype> 锁定预期类型。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！