理解 C++ 中的 “placement new“ 和 `reinterpret_cast`

0. 概述

在 C++ 编程中，我们经常会遇到需要进行低级内存操作的情况。在这种情况下，了解和正确使用工具变得至关重要，以确保我们的代码既高效又安全。本文将深入探讨两个在 C++ 中经常用于低级内存操作的工具：“placement new” 和 reinterpret_cast。

1. “placement new”：在已分配的内存上构造对象

首先，让我们来了解 “placement new”。它是 C++ 中一个强大的工具，允许我们在已经分配的内存中构造对象。与普通的 new 运算符不同，“placement new” 允许我们指定对象的内存位置，而不是由编译器自动分配内存。

1.1 使用示例：

#include <new>

// 定义一个内存缓冲区
char buffer[4] = {1, 2, 3, 4};

// 在缓冲区上构造一个 uint32_t 对象
uint32_t* value_ptr = new (buffer) uint32_t;

在这个例子中，我们首先创建了一个包含四个字节的 buffer，然后使用 “placement new” 在这段内存上构造了一个 uint32_t 对象。需要注意的是，“placement new” 并不会初始化或擦除内存，因此 value_ptr 所指向的 uint32_t 的初始值将取决于 buffer 的内容，即四个字节 {1, 2, 3, 4}。

1.2 显式提供初始化器：

如果需要确保对象的初始值，可以显式提供一个初始化器：

uint32_t* value_ptr = new (buffer) uint32_t(0);

这样无论 buffer 的内容如何，value_ptr 所指向的 uint32_t 的初始值都将是 0。

需要注意的是，对于非 POD（Plain Old Data）类型，构造函数可能会更改分配的内存中的内容。因此，在使用 “placement new” 构造对象时要格外小心，以避免不必要的问题。

2 reinterpret_cast 强制类型转换

与 “placement new” 不同，reinterpret_cast 是一种强制类型转换，允许将一个指针类型转换为另一个指针类型，甚至整数类型。但是，reinterpret_cast 并不会为对象执行任何构造或初始化操作。

2.1 使用示例：

// reinterpret_cast 用法示例
int* int_ptr;
char* char_ptr = reinterpret_cast<char*>(int_ptr);

在这个例子中，我们将 int* 类型的指针强制转换为 char* 类型的指针。需要注意的是，reinterpret_cast 可能会导致未定义行为，除非你完全确定自己在做什么。

3. 总结

“placement new” 和 reinterpret_cast 是两个在 C++ 中用于低级内存操作的重要工具。它们各自有着不同的用途和语义，因此在使用时需要注意区分：

• “placement new” 用于在已分配的内存中构造对象，允许我们精确控制对象的构造位置和参数。
• reinterpret_cast 则是一种强制类型转换工具，允许我们在不同类型之间进行指针或整数类型的转换，但不会执行任何构造或初始化操作。

因此，选择使用 “placement new” 还是 reinterpret_cast 取决于你的具体需求。如果需要在已分配的内存中构造对象，那么应该使用 “placement new”；如果只是简单地进行类型转换，那么 reinterpret_cast 可能更合适。