`reinterpret_cast` 何时在 C 中创建对象以及对对象生命周期有何影响？

Reinterpret_cast 和默认构造函数创建

在 C 中，可以在适当对齐的内存上使用 reinterpret_cast 方便地创建某些对象。然而，此类操作的行为和含义需要澄清。

原始的 cppreference 语句表明可以使用 reinterpret_cast 创建具有简单默认构造函数的对象，这意味着以下代码是有效的：

struct X { int x; };
alignas(X) char buffer[sizeof(X)];
reinterpret_cast<X*>(buffer)->x = 42;

然而，cppreference语句较新的写法强调不能通过重新解释存储来简单地创建对象，需要placement-new来避免undefined 行为。这就引发了几个问题：

1. 最初的说法是否错误？
2. 如果正确，X对象的生命周期从什么时候开始，强制转换本身是否构成存储获取？
3. C 11 和 C 在这方面有什么变化吗1z？

初始声明的正确性

cppreference 上的更新声明是准确的。与 C 不同，在 C 中不能通过简单地重新解释合适的内存来创建对象。根据语言标准，对象是通过定义、新表达式等显式机制创建的，或者在隐式更改联合的活动成员时创建的。

在给定的代码片段中，没有发生对象创建。虽然为潜在的 X 对象分配了内存，但没有任何对象被正式引入到代码中。假装基于此内存存在 X 对象会导致未定义的行为。

生命周期和存储获取

在缓冲区声明之前放置alignas说明符可确保正确对齐对于 X 对象。然而，内存的分配并不会启动对象的生命周期。

alignas(X) char buffer[sizeof(X)]; // (A)

同样，reinterpret_cast 也不会为 X 对象获取存储空间。

reinterpret_cast<X*>(buffer)->x = 42; // (B)

因为没有对象创建后，无需考虑生命周期，且转换不考虑存储获取。

来自 C 的更改11 到 C 1z

C 11 和 C 1z 之间引用文本的解释保持相同。在 C 11 中，关于对象创建的核心段落与 C 1z 中介绍的类似。虽然这个特定的段落现在被认为是 C 1z 中“对象”的定义，但它的解释并没有改变。

原始的 cppreference 语句暗示通过 reinterpret_cast 创建对象可能会导致对 C 中对象创建规则的误解和误解。更新后的措辞准确地反映了此操作的真实性质，并与语言标准保持一致，该标准明确定义了对象何时创建以及其生命周期如何开始。

以上是`reinterpret_cast` 何时在 C 中创建对象以及对对象生命周期有何影响？的详细内容。更多信息请关注PHP中文网其他相关文章！