c++ - 对泛型函数使用继承

Question

我正在尝试创建一个包含多个重写模板方法的子类的模板类(我相信我这样做是正确的)。然后我想要一个可以与所有子项一起使用的函数。

例如:

#include <iostream>
using namespace std;

class base{
public:
    virtual void print(void){
        cout << "Base" << endl;
    }
};

class inherit_a : public base{
public:
    virtual void print(void) override{
        cout << "inherit_a" << endl;
    }
};

class inherit_b : public base{
public:
    virtual void print(void){
        cout << "inherit_b" << endl;
    }
};

void print_function(base item){
    item.print();
}


int main(){
    inherit_a item_a;
    print_function(item_a);
    return(0);
}

这会像我期望的那样打印“base”，但是我希望它使用 inherit_a 的打印方法或 inherit_b 的打印方法 if inherit_b 归因于 print_function。这样的事情可能吗？

Answer 1

你要找的是子类型多态性；在 C++ 中，只有引用类型允许多态 virtual 函数调用按预期工作。您可以使用引用:

void print_function(base& item){
    item.print();
}

或者一个指针:

void print_function(base* item){
    item->print();
}

您所做的按值传递对象，仅复制对象的base部分——这称为切片:

void print_function(base item){
    item.print();
}

请注意，由于您的 print() 成员函数不修改该对象，因此可以并且应该将其声明为 const。此外，参数列表中的 (void) 是 C 风格的，在 C++ 中是多余的；使用 () 代替。

virtual void print() const {
    cout << "Base" << endl;
}

const 是签名的一部分，因此子类也必须指定它:

virtual void print() const override {
    cout << "inherit_a" << endl;
}

然后 print_function() 可以获取对 const 对象的引用:

void print_function(const base& item){
    item.print();
}

或者指向const 对象的指针:

void print_function(const base* item){
    item->print();
}

这说明 print_function() 也没有修改它的参数。