讲师中心 微信公众号
AI工具推荐 视频效率加速

C++中的std::launder是什么?(如何在替换对象后安全地访问内存)

大辰姑娘_6293

大辰姑娘_6293

发布时间:2026-02-15 15:37:02

|

1032人浏览过

|

来源于php中文网

原创

std::launder在placement new重用同一内存构造新对象后必须使用,否则通过原指针访问新对象将导致未定义行为;它不改变地址,仅重建指针与新对象的合法关联,且仅适用于刚由placement new构造的对象。

c++中的std::launder是什么?(如何在替换对象后安全地访问内存)

std::launder 什么时候必须用?

当你用 placement new 显式构造新对象到一块已存在(且未析构)的内存上,又想通过原指针访问新对象时,std::launder 就不是可选项——它是唯一符合标准的途径。否则行为未定义,哪怕代码看起来“跑通”了。

典型场景:对象池、variant 实现、自定义容器中复用内存。比如你 new (buf) T{1} 构造了一个 T,之后又在同一个 buf 上 new (buf) U{2} 构造了 U,此时若直接用原 static_cast<t>(buf)</t> 去读,编译器可能仍按旧类型 T 优化,或返回错误值。

  • 不加 std::launder 的指针,即使指向新对象的起始地址,也不被标准认定为“指向该对象”
  • std::launder 不改变地址,只告诉编译器:“请重新建立这个指针和它所指对象之间的关联”
  • 它只对指向“刚被 placement new 构造的对象”的指针有效;对普通堆分配、栈变量、或未构造内存调用是未定义的

std::launder 的参数和返回值怎么写?

函数签名是 template<class t> constexpr T* launder(T* p)</class>,传入什么类型指针,就返回同类型指针,不能隐式转换,也不能跨 cv 限定符乱来。

常见误写:

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

  • 传入 const void* 或 char* 然后期望得到 T* —— 不行,必须显式 static_cast 成目标类型的指针再传给 std::launder
  • 对 const 对象调用后,试图用返回的非 const 指针修改 —— 违反 const 正确性,编译报错
  • 把 std::launder(&x) 用于栈变量 x —— 错误,&x 指向的是自动存储期对象,不能被“替换”

正确示例:

C++14
C++14

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

下载
char buf[sizeof(std::string)];
auto* s = new (buf) std::string("hello");
// ... 后续销毁 s->~string()
auto* i = new (buf) int(42);
int* safe_ptr = std::launder(reinterpret_cast<int*>(buf)); // ✅

不用 std::launder 会出什么错?

不是每次都会崩溃,但风险真实存在:编译器可能做激进优化,比如把两次读取合并成一次,或缓存旧对象字段的值。尤其在 O2/O3 下,现象更隐蔽。

典型表现:

  • 读到旧对象残留值(比如前一个对象的某个成员)
  • UB 导致整个函数被优化掉(GCC/Clang 在某些条件下会这么做)
  • AddressSanitizer 不报错,但 UndefinedBehaviorSanitizer 可能触发 undefined-behavior: object has been destroyed
  • 不同编译器结果不一致:MSVC 可能“碰巧”工作,Clang 更早暴露问题

注意:std::launder 本身不处理析构 —— 你仍需手动调用旧对象的析构函数,否则资源泄漏或双重析构风险仍在。

std::launder 和 std::memcpy / std::bit_cast 有什么区别?

std::launder 不复制、不解释比特,它只解决“指针合法性”问题;而 std::memcpy 是内存搬运,std::bit_cast 是无歧义的类型重解释(要求大小/对齐一致),三者完全不互换。

  • 用 memcpy 把一个 T 复制到 U 内存里,不代表你能安全地把那块内存当 U 用 —— 还得 std::launder 配合 placement new
  • std::bit_cast<char>(42)</char> 是合法的,但它不涉及对象生命周期,也不需要 std::launder
  • 如果只是想“绕过类型系统读原始字节”,reinterpret_cast + std::memcpy 就够了;只有当你真正“替换了对象”,才轮到 std::launder 出场

最易忽略的一点:即使你确保了对齐、大小、triviality,只要没调用 std::launder,标准就不承认你拿到了新对象的合法指针 —— 这不是风格问题,是合规红线。

热门AI工具

更多
VibeKnow
VibeKnow Hot

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

讯飞绘文

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

立刻MV
立刻MV Hot

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

Lovart
Lovart Hot

一款面向视觉设计创作的AI设计平台,可通过智能体和画布工作流辅助制作海报、Logo、网页、PPT及其他视觉内容。

DeepSeek

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

豆包大模型

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

咔片AIPPT

一款在线AI演示文稿制作工具,可根据主题和内容需求辅助生成PPT结构与页面,提高演示材料制作效率。

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

WorkBuddy

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

相关专题

更多
c语言const用法
c语言const用法

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

2258

2023.09.20

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

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

636

2023.11.23

java中void的含义
java中void的含义

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

371

2025.11.27

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

359

2026.04.23

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

6007

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

2548

2023.08.10

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

6007

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

2548

2023.08.10

Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

0

2026.10.22

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
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