派生ファンクタがテンプレートパラメータとして渡されたときに呼び出されない

Question

オブジェクト型の種類に応じて異なる種類のファンクタの呼び出しを呼び出すプログラムでパターンを使用しています。以下のコードでは、b1オブジェクトは、派生ファンクタタイプFunctorXで明示的にインスタンス化されています。しかし、コード内で呼び出しを行うと、派生ファンクタの代わりに基本ファンクタが呼び出されます。何故ですか？

struct Functor 
{ 
    Functor() {} 
    ~Functor() {} 

    virtual int operator()() { return 33; } 
}; 

struct FunctorX : public Functor 
{ 
    FunctorX() : Functor() {} 
    ~FunctorX() {} 

    int operator()() { return 44; } 
}; 

template< typename FunctorT > 
struct B 
{ 
    B(FunctorT FunctorArg) : Functor { FunctorArg } {} 
    ~B() {} 

    FunctorT Functor; 
}; 

int main() 
{ 
    B<Functor> b1 { FunctorX() }; // initialize with derived functor. Derived functor gets instantiated. 
    int num = b1.Functor(); // error: calls base functor, not derived functor 

    return 0; 
} 

Answer 1

B<Functor>はタイプFunctorのオブジェクトを保持しています。そのオブジェクトをタイプFunctorXのオブジェクトで初期化できますが、保存するとオブジェクトはスライスされてFunctorと入力されます。 unsigned int i = std::numeric_limits<unsigned long long>::max()と同じように、格納された値の型はunsigned intですが、型がunsigned long longの値で初期化されています。