C++虚方法问题

Question

我有两个结构，我试图在其中覆盖基本结构中的方法。

基本结构定义为：

 template <class T>
 struct compareFunction : public std::binary_function<T,T,bool> {
    virtual bool operator() (const T & first, const  T & second) {
        //This function is always called
        return first < second;
    }
 };

我尝试子类化的结构定义为：

template <class Key, class T>
struct valuecomparer : public compareFunction<std::pair<Key,T> > {
    std::binary_function<Key, Key,bool> comparer;

    bool operator() (const std::pair<Key, T>& x, const std::pair<Key, T> & y) {
            //This function is never called
            Key tx = x.first;
            Key ty = y.first;
            if(tx < ty) {
               return true;
            } else {
               return false;
            }
    }
};

我不知道我在这里做错了什么，任何帮助将不胜感激。 理想情况下，将调用 valuecomparer 中的方法而不是 CompareFunction 中的方法。

它基本上是这样调用的（不一定是有效的语法，但试图理解）：

typedef compareFunction<T> cmpType; //Inside a class definition, T is std::pair<int,double>
valuecomparer<int,double> compareVar;
compareVar.comparer = std:less<int>();
cmpType x = compareVar;
x.compare(std::pair<int,double>(8,20.0),std::pair<int,double>(8,25.0));

显然，在使用基本结构（以及因此派生的结构）的类中将存储从纯结构切换到结构指针之后，一切正常。感谢您的所有帮助:)

Answer 1

根据您发布的代码，为了调用重写的派生类的函数，您必须从基类类型的指针或引用调用它，而不是从其类型的对象调用它是基类本身的。因此，当您创建这样的代码时：

cmpType x = compareVar;
x(std::pair<int,double>(8,20.0),std::pair<int,double>(8,25.0));

总是会调用基类中的函数定义，因为没有可用于多态派生函数调用的函数。复制构造函数仅复制基类中的 v 表条目和关联成员。因此，当您在基类类型的对象上调用方法时，即使您是从派生类的副本创建该对象，您最终仍然会调用基类方法。您必须执行以下操作：

cmpType& x = compareVar;
x(std::pair<int,double>(8,20.0),std::pair<int,double>(8,25.0));

现在，当在 x 上调用 operator() 方法时，将使用正确的 v-table 条目，即覆盖的版本valuecomparer 内部的 operator() 。

Answer 2

问题是，从您的伪代码中，您正在切片比较器：

typedef compareFunction<T> cmpType; //Inside a class definition, T is std::pair<int,double>
valuecomparer<int,double> compareVar;
compareVar.comparer = std:less<int>();
cmpType x = compareVar;                     // *** SLICED HERE ****
x.compare(std::pair<int,double>(8,20.0),std::pair<int,double>(8,25.0));

在给定上下文的情况下，最简单的解决方案是将 x 的声明更改为对 cmpType< 的引用/code>，而不是一个成熟的实例。

编辑：
仔细观察，上面的内容根本不起作用（你说它是伪的），但考虑到意图，看起来你的意思是：

valuecomparer<int,double> compareVar;
compareVar.comparer = std:less<int>();
compareFunction<pair<int, double> > x = compareVar;                     // *** SLICED HERE ****
x.compare(std::pair<int,double>(8,20.0),std::pair<int,double>(8,25.0));

Answer 3

如果您将 valuecomparer 用于 std::map，那么您就忽略了映射中的项目被定义为 std:: 的事实。对。看到 const 部分了吗？ :) 将其添加到您的 std::pair 中。如果这不是问题，请报告您实际使用这些函子的位置和方式。