型を知らなくてもデストラクタを呼び出すことはできますか？

Question

deleteを使わずに、クラスの種類を知らなくてもオブジェクトのデストラクタを呼び出すことはできますか？私はアロケータ（楽しい/練習用）に取り組んでいるので、コンストラクタにオブジェクトを構築するのにmalloc/placement newを使用していますが、オブジェクトを破棄するときには、タイプを知っている。それが不可能な場合は、どうしてですか？唯一の方法は、サンプルコード（コメントアウトされている）に表示される方法ですか？

#include <stdio.h> 
#include <new> 

void* SomeAllocationFunction(size_t size) { 
    return malloc(size); 
} 

class SomeClass{ 
public: 
    SomeClass() { 
     printf("Constructed\n"); 
    } 

    ~SomeClass() { 
     printf("Destructed\n"); 
    } 
}; 

int main(void){ 
    void* mem = SomeAllocationFunction(sizeof(SomeClass)); 
    SomeClass* t = new(mem)SomeClass; 

    free(t); 
    //t->~SomeClass(); // This will call the destructor, is it possible to do this without knowing the class? 

    return 0; 
} 

（私はちょうど削除を呼び出すことができます知っているが、一瞬のためにそれを無視してください。）

Answer 1

いいえ、タイプを知ることなく（または仮想デストラクタを持つオブジェクトの基本タイプの1つを知っていなければ）不可能です。

通常、カスタムアロケータはオブジェクトの作成も破棄もしませんが、配置先の新規または直接デストラクタコールを実行するアロケータの周りにテンプレートラッパーを作成するものもあります。

（技術的には、あなたはすべての割り当てとタイプのデストラクタを呼び出して終了関数ポインタを関連付けることができます。しかし、それはかなり大ざっぱだ、と私はそれをお勧めしません。）

Answer 2

コンパイラが知らないのでいいえ、あなたは、クラスを知らなくても、デストラクタを呼び出すことはできませんどのデストラクタが呼び出すか。あなたは、どちらかの可能性：代わりにボイドポインタの

• すべてのオブジェクトが仮想デストラクタを持っているいくつかの基本オブジェクトから継承させると、そのベースオブジェクトのポインタを使用
• テンプレート
• を利用するには、アロケータそのものではないを持っています

Answer 3

型なしで、型なしのメモリ上でデストラクタを呼び出すことは、コンストラクタを呼び出すよりも不可能です。コンストラクタとデストラクタはどちらもオブジェクトの一部であり、コンパイラは何を呼び出すべきかを知るために型が必要です。