如何解决析构函数执行后缓冲区的值可以改变吗
代码:
#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);
}
据我所知,我没有造成任何 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
的生命周期到期后。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。