デストラクタがここで2回呼び出されるのはなぜですか？

Question

#include <iostream> 

struct ABC{ 
    int A; 
    ABC(int i = 1) : A(i) {} 
    ~ABC() { 
     std::cout << A << std::endl; 
    } 
    void destruct() { 
     delete this; 
    } 
}; 

int main() { 
    ABC A1(2); 
    A1.destruct(); 
    return 0; 
} 

Output: 
2 
2 

私は構造変数を手動で削除しようとしているこのコードを持っています。そうすることで、デストラクタがここで2回呼び出されることに気付きました。なぜこうなった？ destruct()を呼び出すと、なぜそれが削除されないのですか？

Answer 1

delete thisコールの原因となるのはundefined behaviourなので、何かが起こる可能性があります。

deleteは、newで作成されたオブジェクトに対してのみ使用できます。非自明なデストラクタ（例えば、あなたのA1）と自動オブジェクトの場合

---

、スコープが終了する前にも同じ場所で別のABCを作成しない限り、「早期それらを破壊」することはできません。つまり、スコープが終了したときに発生する破壊プロセスを「停止」することはできません。

Answer 2

これはRAIIの作業であり、オブジェクトに対して自殺しています。オブジェクト上でデストラクタを呼び出すことはほとんど常に間違っています！デストラクタを2回呼び出すことは、未定義の動作を引き起こすため、常に間違っています。

struct Foo{}; 
int main() { 
    Foo f;    // automatic storage, gets destroyed 
         // when object gets out of scope 

    Foo* g = new Foo(); // heap allocated 
    delete g;   // only here you have to delete 
} 

はただ覚えている：あなたはマイク・バインにnew（おかげ経由で作成していないではないdelete何かを

あなたは、あなたがそれを許可すればC++は、あなたのためのメモリを処理していることを理解する必要がありますコメント）。必要がない限り、（裸の）ヒープ割り当てを使用しないでください。

Answer 3

destruct()を呼び出すと、[my object]が削除されないのはなぜですか？

オブジェクトがC++で破壊されても、オブジェクトが消えてしまうわけではありません。これは、デストラクタからのクリーンアップコードが実行され、そのポイントからのオブジェクトのメンバへのアクセスがすべて無効であることを意味します。

destruct()に電話するときは、deleteを呼び出してオブジェクトのメモリを解放しようとします。 newでオブジェクトを割り当てていないため、これ自体は未定義の動作です。この呼び出しにより、最初の印刷が行われます。

ただし、オブジェクトが自動メモリにあるため、オブジェクトがスコープから外れると、C++はデストラクタを呼び出す必要があります。これは、2番目のプリントアウトを引き起こすコールです。

注：あなたが動的メモリにA1を割り当てることによって、あなたのコードを修正することができます

int main() { 
    ABC *A1 = new ABC(2); 
    A1->destruct(); 
    return 0; 
} 

今、あなたは、単一のプリントアウト（demo）を取得します。しかし、メンバー関数にdeleteを隠す習慣は疑わしい。ここで考慮すべき

Answer 4

2点： -

1）彼らはスコープの外に行くときのスタックオブジェクトのデストラクタは、常に呼び出されます。そのため、割り当て解除を心配する必要はありません。

2）&は、スタックに割り当てられたオブジェクトに対してdeleteを使用しないでください。通常、ヒープオブジェクトの削除の結果としてのみ実行され、その後はそのオブジェクトを参照していないことが確実でない限り、delete thisを使用しないでください。