0

我没有完全理解 C++ 中的对象切片。在下面的示例代码中，两个对象似乎接受了相同的处理，但多态性仅适用于其中一个。

我正在使用引用，其中一个对象似乎没有被切片。我相信在 launch_ship 函数调用期间一定会发生一些事情，但我不知道到底出了什么问题。

这是示例代码。

#include <iostream>


class SpaceShip
{};

class MilleniumFalcon: public SpaceShip
{};

class Pilot
{
public:
     virtual void operate(SpaceShip&)
    {
        std::cerr << "Operating spaceship" << std::endl;
    }

    virtual void operate(MilleniumFalcon&)
    {
        std::cerr << "Cannot operate that spaceship!" << std::endl;
    }
};

class Chewbacca: public Pilot
{
public:
    virtual void operate(SpaceShip&)
    {

        std::cerr << "Don't want to operate that low spaceship!" <<
                  std::endl;
    }

    virtual void operate(MilleniumFalcon&)
    {
         std::cerr << "Operating the Millenium Falcon" << std::endl;
    }
};

void launch_ship(Pilot& pilot, SpaceShip& ship)
{
      pilot.operate(ship);
}

int main()
{
    Chewbacca chewie;
    MilleniumFalcon millenium;

    launch_ship(chewie, millenium);
}

输出：不想操作那艘低矮的飞船！

4

1 回答 1

3

这里没有切片。

C++ 使用单分派而不是多分派。

by 完成的调度virtual仅使用this实例完成。

所以在

pilot.operate(ship);

只有一个调度pilot（并使用动态类型的 Pilot），但我们使用静态类型的ship（so SpaceShip&）

您必须使用访问者或自己实现多次调度。

例如：

class SpaceShip
{
public:
    virtual void operate_by(Pilot& pilot) { pilot.operate(*this); }
};

class MilleniumFalcon: public SpaceShip
{
public:
    virtual void operate_by(Pilot& pilot) override { pilot.operate(*this); }
};


void launch_ship(Pilot& pilot, SpaceShip& ship)
{
    ship.operate_by(pilot);
}

演示

于 2015-11-24T13:22:16.350 回答