删除不是使用新表达式构造的对象实际上可以吗？

Question

学究式，这可能不太好。根据cppref：

如果表达式是其他任何东西，包括如果它是通过new-expression的数组形式获得的指针，则行为未定义。

抛开这一点，下面的代码在实践中是否可行（T 是非数组，并假设 new 未被替换）？

auto p = (T*)operator new(sizeof(T));
new(p) T{};
delete p;

据说在cppref那个

调用分配函数时，new-expression 传递 作为第一个参数请求的字节数，类型 std::size_t，也就是非数组 T 的 sizeof(T)。

所以我想这可能没问题。不过也有说从C++14开始，

允许新表达式省略或合并分配 通过可替换的分配函数。在省略的情况下， 存储可以由编译器提供而无需调用 分配函数（这也允许优化未使用的 新表达式）。在合并的情况下，由 a 进行的分配 new-expression E1 可以扩展为提供额外的存储 如果以下所有条件都为真，则另一个新表达式 E2：[...]

请注意，这种优化只在 new-expressions 是允许的 使用，而不是任何其他方法来调用可替换的分配函数： delete[] new int[10]; 可以优化，但operator delete(operator new(10)); 不能。

我不太确定其中的含义。那么，这在 C++14 中可以吗？

我为什么要问这个问题？ (source)

有时，内存分配和初始化不能一步完成。 您必须手动分配内存，执行其他操作，然后初始化对象， 例如，提供强大的异常安全性。 在这种情况下，如果不能在结果指针上使用 delete 表达式，则必须手动取消初始化和解除分配，这很繁琐。 更糟糕的是，如果同时使用新的表达方式和手动方法， 您必须跟踪每个对象使用了哪一个。

Answer 1

我没有完全理解 OP 的最后一段。显式调用析构函数然后释放指针有什么乏味的？这就是我所见过的 STL 和任何有信誉的库一直在做的事情。是的，您必须跟踪如何分配内存，以便将其重新分配。阅读 std::vector 和/或 std::shared_ptr 的 api 文档可以使人们熟悉正确的做事方式。 如果你不熟悉显式 dtor 调用的语法，这里是一个简单的 sn-p：

void * raw_ptr= my_alloc(sizeof(my_type),alignof(my_type));
if (!raw_ptr)
     throw my_bad_alloc();
my_type* ptr {new(raw_ptr) my_type{init_params}};
raw_ptr=nullptr;
    //...
ptr->~my_type();//hello! Is it me you're lookin' for?
if (!my_dealloc(ptr))
     throw my_runtime_error();
ptr=nullptr;

Answer 2

如果您有p = new(p) T{};，则此代码具有明确定义的行为，假设没有自定义（取消）分配功能在起作用。 （它可以很容易地针对此类事情进行强化；这样做留给读者作为练习。）

规则是你必须给非数组delete一个指向由非数组new创建的对象的指针（或此类对象的基类（带有虚拟析构函数）子对象，或空指针)。有了这个改变，你的代码就可以做到这一点。

不要求非数组new 是非放置形式。不可能，因为你最好能删除new(std::nothrow) int。这也是一个展示位置new-expression，尽管人们在谈论“展示位置新”时通常不是这个意思。

delete 被定义为调用一个释放函数（忽略省略的情况，这在此处无关紧要，因为 new-expression 调用的唯一分配函数不是可替换的全局函数分配函数）。如果您进行设置以便将无效参数传递给该释放函数，那么您将获得未定义的行为。但是这里它传递了正确的地址（如果使用了大小的释放函数，则传递了正确的大小），所以它是明确定义的。