c – 成员变量多态性和参考参数

我是C的新手,对成员变量多态性有疑问.我有以下类定义 –

class Car
{
    public:
        Car();
        virtual int getNumberOfDoors() { return 4; }
};

class ThreeDoorCar : public Car
{
    public:
        ThreeDoorCar();
        int getNumberOfDoors() { return 3; }
};

class CarPrinter
{
    public:
        CarPrinter(const Car& car);
        void printNumberOfDoors();

    protected:
        Car car_;
};

和实施

#include "Car.h"

Car::Car()
{}

ThreeDoorCar::ThreeDoorCar()
{}

CarPrinter::CarPrinter(const Car& car)
: car_(car)
{}

void CarPrinter::printNumberOfDoors()
{
    std::cout << car_.getNumberOfDoors() << std::endl;
}

问题是当我运行以下命令时,会调用父类的getNumberOfDoors.我可以通过使成员变量Car成为指针来解决这个问题,但我更喜欢通过引用而不是指针(我理解为首选)传入输入.你能告诉我我做错了什么吗？谢谢！

ThreeDoorCar myThreeDoorCar;
std::cout << myThreeDoorCar.getNumberOfDoors() << std::endl;

CarPrinter carPrinter(myThreeDoorCar);
carPrinter.printNumberOfDoors();

解决方法

通过制作对象的副本,您牺牲了它的多态性能力.无论你传递什么类型的汽车,副本都将是Car(基类)的类型,因为它是声明的.

如果要继续使用多态,请使用指针或引用.这是使用引用的版本：

class CarPrinter
{
public:
    CarPrinter(const Car& car);
    void printNumberOfDoors();

protected:
    const Car &car_;     // <<= Using a reference here
};

如您所见,通过这种方式,您可以继续使用将引用作为参数的构造函数. (这些引用不必是const,尽管只要CarPrinter的目的只是打印,const就有意义.)

一个潜在的不良副作用是在构造CarPrinter对象后无法更改引用引用的内容.如果需要打印其他对象的信息,则必须为其创建新的CarPrinter对象.然后,这些对象实际上只是作为引用的(可能是短暂的)包装器.

如果您不喜欢这样,您仍然可以继续传递对构造函数的引用,但是通过在构造函数实现中获取其地址然后存储它,将其转换为指针.