讲师中心 微信公众号

工具推荐

视频效率加速
立刻MV
立刻MV

低成本歌曲 MV、视频生成

updream

一键生成高质量推广成片

Seko
Seko

AI短剧一键生成成片

Laper
Laper

剧本策划到成片协作

C++中的std::declval是什么?(如何在不构造对象的情况下获取成员类型)

大辰姑娘_6293

大辰姑娘_6293

发布时间:2026-02-15 16:21:10

|

750人浏览过

|

来源于php中文网

原创

std::declval用于编译期“假装”存在对象以获取其类型,不构造、不求值,仅适用于decltype/sizeof/noexcept等非求值上下文,返回T&&,常配合decltype推导成员类型或用于SFINAE。

c++中的std::declval是什么?(如何在不构造对象的情况下获取成员类型)

std::declval 用来干啥:在编译期“假装”有个对象,好取它的类型

它不构造对象、不调用构造函数、甚至不求值,纯粹是给类型推导“搭个架子”。常见于 decltype 配合使用,比如你想知道 T::value_type 是什么,但 T 是个抽象类或没默认构造函数——这时候 std::declval<t>()</t> 就能帮你“凭空”拿出一个 T&& 来喂给 decltype。

典型错误现象:error: use of deleted function 'A::A()' 或 error: invalid use of incomplete type,往往是因为你写了 decltype(A{}.member) 却忘了 A 根本不能实例化。

  • std::declval 只能在非求值上下文(unevaluated context)里用,比如 decltype、sizeof、noexcept 里 —— 写在普通表达式里会编译失败
  • 返回的是 T&&,不是 T;如果要模拟左值,得套一层 std::declval<t>()</t>
  • 对 void 类型调用 std::declval<void>()</void> 是合法的,但返回 void&&,只能用于 decltype 等不真正“用到值”的地方

怎么写才不会触发构造或崩溃

关键就一条:只让它活在 decltype 里。别的地方别裸用。

比如想提取容器的迭代器类型:

立即学习“C++免费学习笔记(深入)”;

template<typename C>
using iterator_t = decltype(std::declval<C&>().begin());

这里 std::declval<c>()</c> 给出一个左值引用,保证 .begin() 调用符合重载规则;如果写成 std::declval<c>()</c>,得到的是右值,可能匹配到移动版 begin()(虽然少见),也可能让某些只支持左值的类型直接 SFINAE 失败。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
  • 永远用 std::declval<t>()</t> 模拟左值,std::declval<t>()</t> 模拟右值,按成员函数的 cv/ref-qualifier 匹配需要来选
  • 不要对未定义类型(incomplete type)调用成员访问,比如 std::declval<t>().x</t> 前 T 还没定义完整,会报错;先确保类型可见
  • 别在函数体里写 auto x = std::declval<int>();</int> —— 这不是编译期技巧,是运行时非法操作,直接编译失败

和 sizeof/decltype/noexcept 的配合要点

这三个是 std::declval 最常混搭的场景,因为它们都属于“看类型、不执行”的上下文。

例如判断某类型是否有 size() 成员函数:

template<typename T>
constexpr bool has_size_v = noexcept(std::declval<T&>().size());

这里 noexcept 只检查表达式是否可能抛异常,不真调用 size();std::declval<t>()</t> 提供了合法左值,让重载决议能走通。

  • sizeof(std::declval<t>())</t> 是合法的,但几乎没用 —— 它只返回 sizeof(T),不如直接写 sizeof(T)
  • decltype(std::declval<t>())</t> 就是 T&&,一般没必要这么绕;重点还是用在带点号或箭头的表达式里
  • 在模板中做 SFINAE 时,std::declval 是安全的“占位符”,但它本身不参与重载决议,只是帮表达式形成合法语法

容易被忽略的细节:返回类型和 cv 限定符

std::declval<const t>()</const> 返回 const T&&,不是 const T&。这意味着如果你要测试 const 成员函数,必须显式写 std::declval<const t>()</const> 或 std::declval<const t>()</const>,否则可能匹配不到。

比如:

struct X { void f() const; };
// 下面这行会失败:std::declval<X>() 是 X&&,f() const 不可被非常量右值调用
// decltype(std::declval<X>().f()) // error
// 正确写法:
decltype(std::declval<const X&>().f()) // ok
  • std::declval 本身不接受 cv 限定符以外的修饰,比如 std::declval<t>()</t> 是错的;它只接受 T、T&、const T&、T&& 等顶层 cv/ref 形式
  • 模板参数推导时,std::declval<t>()</t> 的返回类型会影响整个表达式的值类别,进而影响 decltype 结果是 T、T& 还是 T&&
  • 它不处理数组退化、函数转指针这些隐式转换,所以 std::declval<int>()</int> 返回 int(&)[3],不是 int*
事情说清了就结束

热门AI工具

更多
WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

创客贴AI

创客贴AI是一款AI图像与设计工具,AI辅助的智能在线设计工具。

Seko
Seko Hot

一款AI视频创作工具,主要用于商汤科技推出的创编一体的AI短视频创作Agent,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

SkildArt
SkildArt Hot

SkildArt是一款AI文本写作工具,一站式 AI 视觉创作平台。

UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

相关专题

更多
scripterror怎么解决
scripterror怎么解决

scripterror的解决办法有检查语法、文件路径、检查网络连接、浏览器兼容性、使用try-catch语句、使用开发者工具进行调试、更新浏览器和JavaScript库或寻求专业帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

1069

2023.10.18

500error怎么解决
500error怎么解决

500error的解决办法有检查服务器日志、检查代码、检查服务器配置、更新软件版本、重新启动服务、调试代码和寻求帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

3520

2023.10.25

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2458

2023.09.20

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

7519

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

3565

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

4708

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

3145

2025.08.29

javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

636

2023.11.23

Go-Zero API开发使用教程
Go-Zero API开发使用教程

本专题聚焦Go-Zero的API开发,拆解.api描述文件的语法结构、路由与分组定义、参数绑定与校验规则,说明统一响应体、JWT鉴权、跨域与接口文档生成的落地方式,并给出网关聚合与接口测试的实践建议。

20

2026.11.12

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn