CS>   Base* obj = new(memory) Base();
CS>   obj->foo();
CS>   new(memory) Particular();
CS>   obj->foo();
CS>

   Base* obj1 = new(memory) Base();
   obj1->foo();
   Base* obj2 = new(memory) Particular();
   obj2->foo();

CS>>   Base* obj = new(memory) Base();
CS>>   obj->foo();
CS>>   new(memory) Particular();
CS>>   obj->foo();
CS>>

void* a = new(memory) Base();
void* b = new(memory) Particular();

(void*)a == (void*)b

sizeof Base != sizeof Particular

CS>   Base* obj = new(memory) Base;
CS>   obj->foo();
CS>   new(memory) Particular; //!!! 1
CS>   obj->foo();               //!!! 2
CS>

E>>Что-то сильно я сомневаюсь, что можно так вольно обращаться с полями. В конце концов, например, деструктор класса позовёт деструктор поля, а там уже совсем и не то...

class struct {
    Base Agg;
    void Ups() {
        new(&agg) Particular;  // IMHO, так точно нехорошо делать...
    }
};

CS>>void* a = new(memory) Base();
CS>>void* b = new(memory) Particular();
CS>>

CS>>(void*)a == (void*)b
CS>>

(void*)(b + 1) != (void*)b + sizeof(*b)

struct Base { virtual ostream& F() { return std::cout << "Base"; } };
extern void magic_gop_swap( base* ); // тут может сидеть наш хак...
struct Dir : Base { virtual ostream& F() { return std::cout << "Dir"; } };

void test_it()
{
    Base& b = *new Dir;
    b.F() << std::endl; 
    magic_gop_swap( &b )
    b.F() << std::endl; 
    delete &b;
}

void test_it()
{
    Base& b = *new Dir;
    std::cout << "Dir" << std::endl; 
    magic_gop_swap( &b )
    delete &b;
    std::cout << "Dir" << std::endl; 
}

Повторяю: ВСЁ

E>>Суть хака в том, что мы используем всё тот же указатель...

E>>А ещё крупнее слабо написать?

O>Запросто. ВСЕ

А У МЕНЯ ДЛИНЬШЕ И ТОЛЩЕ!!!

A destructor is trivial if it is neither user-provided nor deleted and if:
— the destructor is not virtual,
— all of the direct base classes of its class have trivial destructors, and
— for all of the non-static data members of its class that are of class type (or array thereof), each such
class has a trivial destructor.
Otherwise, the destructor is non-trivial.