「未知」の派生クラスを基本クラスとしてメンバーとして宣言し、派生バージョンのメンバー関数を呼び出す方法を教えてください。

Question

現在、クラス（myClass）のメンバーをBaseクラスの派生クラス（Derived1、Derived2、...）に設定しようとしています。クラスはそれがどの派生クラスであるか分からないので、メンバ型はBaseクラスに設定され、構築時に派生クラスにのみ設定されます。

派生クラスはすべて、別々に実装された共通メンバー関数を持ちます（基本クラスには仮想バージョンがあります）。ただし、この関数がmyClassから呼び出されると、派生クラスではなく、常にBaseクラスのバージョンが呼び出されます。

class Base 
{ 
public: 
    Base(){} 
    virtual void who() { cout << "this is Base"; } 
} 

class Derived1 : public Base 
{ 
public: 
    Derived1() : Base() {} 
    void who() { cout << "this is Derived1"; } 
} 

class myClass 
{ 
private: 
    Base unknownDerived; 
public: 
    myClass(const Base& inputDerived) { unknownDerived = inputDerived; } 
    void whosthere() { unknownDerived.who(); } 
} 

上記の出力は「This is Base」で、代わりにBaseクラスのバージョンが呼び出されます。

実際の派生クラスを指定せずにメンバーを含めることはできますが、特定の関数（who（））を呼び出すことはできますか？

ありがとう！

Answer 1

Baseをメンバーとして宣言すると、Baseは実際に得られるものです。派生型を割り当てたとしても、派生したオブジェクトのBase部分だけがコピーされ、オブジェクトは引き続きBaseである「スライス」と呼ばれるものがあります。

C++では、多型はポインタと参照によってのみ機能します。

myClassで実際のメンバーオブジェクト（オブジェクトへの間接参照ではない）を作成するには、myClassにテンプレートパラメータを設定し、コンパイル時にどの型にするかを決定する必要があります。それ以外の場合は、ポインタおよび/または参照を使用する必要があります。

ここで、メモリの所有権と適切なクリーンアップについて明確にする必要があります。呼び出し元が（unique_ptrを取って）オブジェクトの所有権を移転させるか、オブジェクトのディープコピーを作成する仮想clone（）関数がBaseにあると主張するかもしれません。さらに、基本クラスにも仮想デストラクタが必要になるでしょう。