decltypeを使用した動的多型式の控除

Question

私はそれを私が望むように動作させるためにこのコードを作るためのヒントを教えてください。 derived_tはDerivedになりますが、それは常にBaseです。

#include <iostream> 
#include <string> 
#include <memory> 

struct Base { 
    virtual std::string me() { return "Base"; } 
}; 

struct Derived : Base { 
    virtual std::string me() override { return "Derived"; } 
}; 

void foo(std::shared_ptr<Base> ptr) { 

    using derived_raw_t = decltype(*ptr); 
    using derived_t = std::remove_reference<derived_raw_t>::type; 

    derived_t* x = new derived_t(); 
    std::cout << x->me() << std::endl; 
} 

int main() { 

    std::shared_ptr<Base> ptr = std::make_shared<Base>(Derived()); 

    foo(ptr); 
} 

Answer 1

あなたの目標はあなたの質問から不明です。それにもかかわらず、decltype(e)はコンパイル時に知られている「宣言された型のe」を返すので、ここで期待どおりに動作します。

decltypeを使用して、実行時に派生クラスの実際の型を取得することはできません。多相オブジェクトの実行時のタイプに応じて「複製」する場合は、virtualとoverrideを使用できます。例えば：

struct Base { 
    // ... 
    virtual std::shared_ptr<Base> clone() { 
     return std::make_shared<Base>(*this); 
    } 
}; 

struct Derived : Base { 
    // ... 
    virtual std::shared_ptr<Base> clone() { 
     return std::make_shared<Derived>(*this); 
    } 
}; 

あなたは共分散をエミュレートしたい場合は、以下を参照してください。How To Make a clone method using shared_ptr and inheriting from enable_shared_from_this