Я уверен, что этот код должен быть незаконным, поскольку он явно не работает, но, похоже, он разрешен С++ 0x FCD.
class X { /* ... */};
void* raw = malloc(sizeof (X));
X* p = new (raw) X(); // according to the standard, the RHS is a placement-new expression
::operator delete(p); // definitely wrong, per litb answer
delete p; // legal? I hope not
Возможно, один из вас, юристов, может объяснить, как стандарт запрещает это.
Также существует форма массива:
class X { /* ... */};
void* raw = malloc(sizeof (X));
X* p = new (raw) X[1]; // according to the standard, the RHS is a placement-new expression
::operator delete[](p); // definitely wrong, per litb answer
delete [] p; // legal? I hope not
Это самый близкий вопрос, который я смог найти.
EDIT: я просто не покупаю аргумент о том, что стандартный язык, ограничивающий аргументы для функции void ::operator delete(void*)
, применим любым существенным способом к операнду delete
в выражении удаления. В лучшем случае связь между ними крайне незначительна, и несколько выражений допускаются в качестве операндов до delete
, которые недействительны для перехода на void ::operator delete(void*)
. Например:
struct A
{
virtual ~A() {}
};
struct B1 : virtual A {};
struct B2 : virtual A {};
struct B3 : virtual A {};
struct D : virtual B1, virtual B2, virtual B3 {};
struct E : virtual B3, virtual D {};
int main( void )
{
B3* p = new E();
void* raw = malloc(sizeof (D));
B3* p2 = new (raw) D();
::operator delete(p); // definitely UB
delete p; // definitely legal
::operator delete(p2); // definitely UB
delete p2; // ???
return 0;
}
Надеюсь, это показывает, что если указатель может быть передан на void operator delete(void*)
, не имеет никакого отношения к тому, может ли этот же указатель использоваться в качестве операнда delete
.