Cでの型キャスティングと継承

Question

問題があります。 2つのクラスがあります。

struct Base { 
    Base* retain() { 
    //retain here 
     return this; 
    } 
}; 

struct Derived : Base { 
}; 


Derived *d1 = new Derived(); 
Derived *d2 = d1->retain(); //error here: need to typecast to Derived* 
Derived *d3 = (Derived*)d1->retain(); //OK 

は私が手動で結果を型キャストする必要はありませんように、保持（）関数を書き換えする方法はありますか？つまり、retain（）は、派生型のオブジェクトを返す必要があります。

Answer 1

template<typename T> 
struct Base 
{ 
    T* retain() 
    { 
     return (T*)this; 
    } 
}; 

struct Derived : Base<Derived> 
{ 
}; 


Derived *d1 = new Derived(); 
Derived *d2 = d1->retain(); 

：

struct Base 
{ 
    template<typename T> 
    void retain(T** ptr) 
    { 
     *ptr = (T*)this; 
    } 
}; 

struct Derived : Base 
{ 
}; 

Derived *d1 = new Derived; 
Derived *d2; 
d1->retain(&d2); 

Answer 2

通常、あなたがやっていることをすると、基本クラスには仮想デストラクタがあります。これにより、実行時型の識別が可能になります。

publicなど、struct Derived : public Baseと書くこともできます。

説明仮想デストラクタを次に示します。

仮想メソッドがない単純なクラスのオブジェクトは、メモリ内のデータの集合に過ぎません。このようなオブジェクトのアドレスを持つコードは、オブジェクトを参照するだけで、そのオブジェクトが基底型か派生型かを知ることができません。

しかし、基本型に少なくとも1つの仮想メソッドがある場合、コンパイラはその型の各オブジェクトに1つの隠しポインタを追加します。このポインタは、とりわけオブジェクトの型を正確に識別するテーブルを指し示し、ポインタ上でdynamic_cast<>()および他の多態操作を可能にする。

これが初めての場合は、次に試してみることをお勧めします。ヌル仮想デストラクタvirtual ~Base() {}をBaseクラスに追加し、次にdynamic_cast<>()について読んでください。次に、Base retain()を仮想にして、Derived独自に、retain()を上書きすることもできます。

これ以上のターゲットアドバイスを得ることができない場合は、前述の内容を参考にしてください。がんばろう。また