c++ - C++ 是否需要为每个 placement new 调用析构函数？

Question

我知道放置新调用通常与对析构函数的显式调用相匹配。我的问题是:如果我不需要析构函数(没有代码放在那里，也没有具有析构函数的成员变量)，我可以安全地跳过显式析构函数调用吗？

这是我的用例:我想为 C API 编写 C++ 绑定(bind)。在 C API 中，许多对象只能通过指针访问。而不是创建一个包含单个指针的包装器对象(这很浪费并且在语义上令人困惑)。我想 使用 placement new 在 C 对象的地址构造一个对象。 C++ 对象在其构造函数或析构函数中什么都不做，它的方法除了委托(delegate)给 C 方法之外什么也不做。 C++ 对象将不包含虚方法。

这个问题有两个部分。

1. 为什么这个想法在任何生产编译器上都无法实践？

2. 这在技术上是否违反了 C++ 语言规范？

Answer 1

如果我对你的问题的理解正确，你在内存中有一个 C 对象，并且你想初始化一个 C++ 对象，使其具有与现有对象“之上”的相同布局。

CppObject* cppobject = new (cobject) CppObject;

虽然不调用旧对象的析构函数没有问题 - 这是否会导致资源泄漏或其他问题完全取决于旧对象的类型并且是用户代码问题，而不是语言一致性问题 -事实上，您为新对象重用内存意味着旧对象不再可访问。

虽然 operator new 的放置形式必须只返回给定的地址，但没有什么可以阻止 new 表达式本身在任何构造函数(如果有的话)之前为新对象删除内存叫做。未按照C++语言规则初始化的新对象的成员具有未指定的内容，这绝对不意味着任何曾经存在于内存中的旧对象的内容被重用。

如果我对您的理解正确，则不能保证您尝试做的事情有效。