Placement operator delete

The placement delete operators are used in conjunction with the corresponding placement new operators.

  void operator delete (void* ptr, void*) throw();

  void operator delete[](void* ptr, void*) throw();