Производный функтор, не вызываемый при передаче в качестве параметра шаблона

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.