析构函数执行后缓冲区的值可以改变吗

问题描述

代码：

#include <cstdio>
#include <new>

struct Foo {
  char ch;
  ~Foo() { ++ch; }
};

int main() {
  static_assert(sizeof(Foo) == 1);
  char buffer;
  auto const* pc = new (&buffer) Foo{42};
  
  // Change value using only the const pointer
  std::printf("%d\n",+buffer);
  pc->~Foo();
  std::printf("%d\n",+buffer);
}

godbolt

据我所知，我没有造成任何 UB，但 GCC 和 Clang 不同意结果。我认为输出显然应该是“42 43”。 Clang 就是这种情况，但 GCC 认为输出是“42 0”。这怎么可能？谁将缓冲区清零？我错过了什么吗？

解决方法

您的代码有未定义的行为。 buffer 的存储空间已被您创建的 Foo 对象重复使用，因此它的生命周期已结束，您无法再使用它。标准的相关部分是 [basic.life]/1，其中 1.5 是相关的子部分。

类型 T 的对象 o 的生命周期在以下情况下结束：[...]

• 对象占用的存储空间被释放，或者被一个没有嵌套在 o ([intro.object]) 中的对象重用。

,

在您的最后一行中，左值 buffer 不访问任何对象。

最初在那里的 char 对象的生命周期因将其存储重用于 Foo 而结束。 Foo 的生命周期通过调用析构函数而结束。之后没有人在存储中创建任何对象。

左值到右值的转换（这是 +buffer 所做的，但将 buffer 作为参数传递给可变参数函数也是如此）在不存在对象的情况下是不允许的。

,

§6.7.3.5
A program may end the lifetime of any object by reusing the
storage which the object occupies ...[cut]

您正在访问 buffer 的生命周期到期后。