讲师中心 微信公众号

工具推荐

视频效率加速
updream

一键生成高质量推广成片

剧云
剧云

中文短剧剧本制作平台

立刻MV
立刻MV

低成本歌曲 MV、视频生成

Laper
Laper

剧本策划到成片协作

C++ std::launder用法 _ 处理对象内存重新分配【进阶】

胖墨君_6813

胖墨君_6813

发布时间:2026-04-10 23:41:06

|

522人浏览过

|

来源于php中文网

原创

std::launder必须在placement new之后、首次访问前调用,否则高优化下可能读旧值或被删除;它只接受对象起始地址,偏移或未对齐指针导致UB;union切换活跃成员后通过非构造返回指针访问也需launder。

c++ std::launder用法 _ 处理对象内存重新分配【进阶】

std::launder必须在placement new之后、首次访问前调用

不加 std::launder 就解引用,高优化级别下(-O2 或更高)可能读到旧值、跳过实际内存访问,甚至被编译器整个删掉——这不是 bug,是标准允许的未定义行为。

典型错误写法:

std::byte buffer[sizeof(MyClass)];
MyClass* p = new (buffer) MyClass{42};
int x = p->value; // ❌ UB:p 未经过 launder,编译器不承认它指向一个活跃的 MyClass 对象

正确顺序必须是:

  • 分配原始内存(operator new、std::aligned_storage_t、std::byte[] 等)
  • 用 placement new 构造对象,拿到返回指针(可选保存)
  • 立即对**该指针**或**精确对齐的原始地址**调用 std::launder
  • 再进行任何成员访问、函数调用或取址操作

std::launder只接受指向对象起始地址的指针

传入偏移后的地址(比如 &buffer[1])或未对齐指针,行为是未定义的。它不校验对齐,但要求输入地址与对象实际起始地址完全一致。

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

常见误用场景:

  • 从 char* 缓冲区构造对象后,用 reinterpret_cast<t>(buf + offset)</t> 再调 std::launder —— 若 offset != 0,直接 UB
  • 对 std::launder(p)->member 的结果再取地址并 launder,试图“链式唤醒”——没意义,std::launder 只作用于对象本身起始地址
  • 对数组首元素指针调用 std::launder 后,用 p + i 访问其他元素 —— 合法,但 std::launder 本身只认证了 p 所指对象,不扩展到整个数组

安全做法始终是:构造完成后,用 std::launder(static_cast<t>(raw_ptr))</t>,且确保 raw_ptr 恰好等于对象起始地址。

C++14
C++14

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

下载

union 切换活跃成员后访问新成员必须 launder

C++17 要求 union 中显式构造新成员后,若通过 union 外部指针(非 placement new 返回值)访问,必须 std::launder。否则即使类型兼容,也可能因别名分析失效导致读错字节。

例如:

union U {
    int i;
    float f;
};
U u;
u.i = 42;
// 切换活跃成员
new (&u.f) float{3.14f}; // f 成为活跃成员
float* pf = &u.f; // ✅ 这个指针合法,无需 launder
float* raw = reinterpret_cast<float*>(&u); // ❌ 原始地址指针,未认证
std::cout << *std::launder(raw); // ✅ 安全访问 f

注意:&u.f 是 placement new 的直接结果,自带生命周期认证;而 reinterpret_cast<float>(&u)</float> 是泛型地址转换,不带语义,必须显式 std::launder。

std::launder不是类型转换,也不能绕过 const/volatile

它不改变指针类型、不解除 const、不参与严格别名规则的绕过。你不能靠它把 const int* 变成可修改的指针,也不能用它让 char* 安全读写 int 字段。

容易混淆的边界:

  • std::launder(const T*) 返回仍是 const T*,无法用于赋值
  • 想改对象?得先有非 const 指针,再 std::launder,否则编译不过
  • 用 reinterpret_cast<int></int> 读 char[] 内容?std::launder 不解决 strict aliasing,该 UB 还是 UB
  • 它只回答一个问题:“这个地址上,现在是否有一个类型为 T 的活跃对象?”——仅此而已

最常被忽略的一点:launder 不是“一次调用、永久有效”。它只建立该指针的首次合法访问路径;后续所有访问都依赖这个已认证的指针,而不是反复调用 std::launder。

热门AI工具

更多
讯飞智文

一款面向学习和办公场景的AI文档创作工具,可辅助生成PPT与Word文档,提高资料整理和内容制作效率。

豆包大模型

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

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

VibeKnow
VibeKnow Hot

一款AI视频创作工具,主要用于全球首个AI知识视频创作平台,文档、文章、网页,一键生成视频,适合需要提升相关任务效率的用户。

讯飞绘文

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

WorkBuddy

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

花生AI
花生AI Hot

一款AI视频创作工具,主要用于B站推出的AI视频创作工具,适合需要提升相关任务效率的用户。

DeepSeek

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

火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

相关专题

更多
css中float用法
css中float用法

css中float属性允许元素脱离文档流并沿其父元素边缘排列,用于创建并排列、对齐文本图像、浮动菜单边栏和重叠元素。想了解更多float的相关内容,可以阅读本专题下面的文章。

7687

2024.04.28

C++中int、float和double的区别
C++中int、float和double的区别

本专题整合了c++中int和double的区别,阅读专题下面的文章了解更多详细内容。

904

2025.10.23

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

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

2458

2023.09.20

c语言union的用法
c语言union的用法

c语言union的用法是一种特殊的数据类型,它允许在相同的内存位置存储不同的数据类型,union的使用可以帮助我们节省内存空间,并且可以方便地在不同的数据类型之间进行转换。使用union时需要注意对应的成员是有效的,并且只能同时访问一个成员。本专题为大家提供union相关的文章、下载、课程内容,供大家免费下载体验。

849

2023.09.27

string转int
string转int

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

7499

2023.08.02

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

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

3545

2024.08.29

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

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

4688

2025.08.29

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

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

3125

2025.08.29

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