T::T()//throw
{
 throw runtime_error("test")
}

void* T::operator new(size_t /*sz*/,void* pv)
{
 return pv;
}

void T::operator delete(void* pv) //не вызывается
{
 free_memory(pv);
}

//.....
T* const x=new(allocate_memory(sizeof(T))) T();//throw

    T* const x=new(allocate_memory(sizeof(T))) T();//throw

КД>будут приводить к утечке памяти. И хотя это абсолютно логично, все равно — натуральная измена

    allocate_memory(sizeof(T));
    T();

void T::operator delete(void *,void* pv)
 {
  ...
 }

Ш>void T::operator delete(void *,void* pv)
Ш> {
Ш>  ...
Ш> }

void delete(void*);
void delete(void*,size_t);

КД>void delete(void*);
КД>void delete(void*,size_t);
КД>

КД>и требует для класса только одно определение оператора delete

#include <new>

Ш>>>void T::operator delete(void *,void* pv)
Ш>>> {
Ш>>>  ...
Ш>>> }

КД>Сегодня ночью сделал очередное страшной открытие

  void destroy(X* p, Arena* a)
  {
     p->~X();
     a->free();
  }

////////////////////////////////////////////////////////////////////////////////
//class T1

class T1
{
 public:
  T1()
  {
   cout<<"T1:T1"<<endl;

   throw runtime_error("test");
  }

 ~T1()
  {
   cout<<"T1:~T1"<<endl;
  }

  static void* operator new (size_t sz,void* pv)
  {
   cout<<"T1:operator new(sz,pv)"<<endl;
   return pv;
  }

  static void operator delete (void* pv)
  {
   cout<<"T1:operator delete(pv)"<<endl;
  }

 #ifndef __BORLANDC__
  //BCB5: [C++ Error] main.cpp(20):
  // E2193 Too few parameters in call to 'T1::operator delete(void *,void *)'
  static void operator delete (void* pv,void* pv2)
  {
   cout<<"T1:operator delete(pv,pv2)"<<endl;
  }
 #endif 
};//class T1

////////////////////////////////////////////////////////////////////////////////
//main

int main(int /*argc*/,char* /*argv*/[])
{
 try
 {
  new(reinterpret_cast<T1*>(0)+1) T1();
 }
 catch(const exception& e)
 {
  cout<<"exception: "<<e.what()<<endl;
 }
 catch(...)
 {
  cout<<"exception: ..."<<endl;
 }

 return 0;
}//main

T1:operator new(sz,pv)
T1:T1
T1:operator delete(pv,pv2)
exception: test

e:\Users\Dima\Work\TestCode\compiler_test\test_008\main.cpp(55):
 warning C4291: 'void *T1::operator new(size_t,void *)' :
  no matching operator delete found;
   memory will not be freed if initialization throws an exception

КД>>void delete(void*);
КД>>void delete(void*,size_t);

КД>>и требует для класса только одно определение оператора delete

AD>#include <new>