配置新しいオーバーライドし、既存のオブジェクト

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はあなたがアクセスしているメモリ位置に格納されている任意の潜在的なオブジェクトのデストラクタを呼び出すことはありません。 プレースメントnewを安全に使用するために、使用しようとしているメモリの場所を占有するオブジェクトのうち、explictly invoke the destructorが必要です。

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