Размещение нового перезапись существующих объектов

Question

Если бы я сделал размещение нового на объектах, которые уже созданы в стеке:

struct s{ 
s() { std::cout << "C\n";} 
~s() { std::cout << "D\n";} 
}; 

int main() { 
     s s1[3]; 
     for(int i=0; i< 3; ++i) 
       s* newS = new (&s1[i]) s(); 
} 

я получаю:

C 
C 
C 
C 
C 
C 
D 
D 
D 

Таким образом, мы не получаем деструкторы для первых 3-х объектов , это безопасно? Если мы просто переопределяем память для объектов, выделенных в куче/стеке, и что объекты не должны освобождать какие-либо ресурсы в деструкторах, это все еще безопасно?

Answer 1

wandbox example

Ваш вывод не является неожиданным - placement new не вызывает деструктор любого потенциального объекта, хранящегося в ячейке памяти вы обращаетесь. Вам необходимо указать explictly invoke the destructor любого объекта, который занимает ячейку памяти, которую вы пытаетесь использовать, чтобы использовать место размещения new безопасно.

struct s 
{ 
    s() 
    { 
     std::cout << "C\n"; 
    } 
    ~s() 
    { 
     std::cout << "D\n"; 
    } 
}; 

int main() 
{ 
    // Three 's' instances are constructed here. 
    s s1[3]; 

    // (!) You need to explicitly destroy the existing 
    // instances here. 
    for(int i = 0; i < 3; ++i) 
    { 
     s1[i].~s(); 
    } 

    for(int i = 0; i < 3; ++i) 
    { 
     // Three 's' instances are constructed here. 
     s* newS = new(&s1[i]) s(); 
    } 

    // Three 's' instances are destroyed here. 
} 

---

Выход:

C 
C 
C 
D 
D 
D 
C 
C 
C 
D 
D 
D