c++ - C ++テンプレートと継承、派生クラスで関数が置き換えられていない

Question

ここでは、子クラスcmpで親クラスのものを置き換える最小限のケースを添付しましたが、機能せず、常に親からのものを呼び出します

#include <iostream>

template <typename T>
class A
{
    public:
        void tell(T a, T b)
        {
            std::cout << (cmp (a, b) ? a : b) << " is better" << std::endl;
        }
    protected:
        bool cmp (T & a, T & b)
        {
            return a > b;
        }
};

template <typename T>
class B: public A<T>
{
    protected:
        bool cmp (T & a, T & b)
        {
            return a < b;
        }
};

int main ( int argc , char **argv ) 
{
    B<int> b;
    // should be: 3 is better here
    b.tell(5, 3);
    return 0;
}

Answer 1

ポリモーフィック関数を宣言する必要がありますvirtual。そうしないと、ポリモーフィックな動作が得られません

virtual bool cmp (T & a, T & b)

Answer 2

関数cmpはで宣言する必要がありvirtualますA。

protected:
    virtual bool cmp (T & a, T & b)
    {
        return a > b;
    }

わかりやすくするために、cmp仮想を明示的に宣言しますが、派生クラスでは暗黙的に仮想のままになります。B

Answer 3

cmp基本クラスで仮想関数を作成する必要があります。

virtual bool cmp (T & a, T & b);