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

Question

代码：

#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”。这怎么可能？谁将缓冲区清零？我错过了什么吗？

Answer 1

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

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

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

Answer 2

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

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

Answer 3

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

The lifetime of an object o of type T ends when: [...]

the storage which the object occupies is released, or is reused by an object that is not nested within o ([intro.object]).

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

Can value of buffer change after destructor executes

c++

placement-new

object-lifetime

undefined-behavior