C ++多态模板类：调用基类方法而不是派生类

Question

我不知道为什么C ++编译器运行基类方法（ Sorting类的排序方法）而不是派生类方法（ SelectionSort类的排序方法）。

template <typename T>
class Sorting {
public:
    virtual void sort(T* data, int size, Comparator<T> comparator) const {
    };
};

template <typename T>
class SelectionSort : public Sorting<T> {
public:
    void sort(T* data, int size, Comparator<T> comparator) {
        // my selection sort code
    };
};

template <typename T>
void Array<T>::sort(Sorting<T> algorithm, Comparator<T> comparator) {
    algorithm.sort(data, size, comparator); /// Problem is here !
};

int main() {
    int nums[] = { 2, 1, 3 };
    Array<int> arr(nums, 3);
    SelectionSort<int> sorting = SelectionSort<int>();
    AscendingComparator<int> comparator = AscendingComparator<int>();
    arr.sort(sorting, comparator);
    return 0;
}

Answer 1

您的特定问题是对象切片 。 您看起来就像来自Java，这在Java中就可以工作-但是在C ++中，复制对象时会丢失该对象的所有重要部分。 您需要做的是通过引用获取接口：

template <typename T>
void Array<T>::sort(Sorting<T>& algorithm, Comparator<T>& comparator) {
                              ^                         ^
    algorithm.sort(data, size, comparator);
};

同样在Sorting::sort() -需要通过引用获取Comparator 。 请注意，您是否进行了Sorting和抽象基类，即具有：

template <typename T>
class Sorting {
public:
    virtual void sort(T* , int , Comparator<T> ) const = 0;
    //                                                ^^^^
};

编译器将为您捕获此错误，因为您无法创建您的代码将需要的Sorting<T>类型的对象。

还要注意，正如Angew指出的那样，您的SelectionSort类实际上没有覆盖Sorting<T>::sort因为它缺少const修饰符。 如果sort()在基类中是纯虚拟的，则编译器也会向您指出此错误。

您的代码中还有其他一些Java内容：

SelectionSort<int> sorting = SelectionSort<int>();
AscendingComparator<int> comparator = AscendingComparator<int>();

应该只是：

SelectionSort<int> sorting;
AscendingComparator<int> comparator;