C++ 继承的虚方法仍然使用基类实现

Question

我有一个名为 Packet 的基类：

// Header File
class Packet {
public:
    virtual bool isAwesome() const {
        return false;
    }
}

还有一个名为AwesomePacket的继承类：

// Header File
class AwesomePacket : public Packet {
public:
    virtual bool isAwesome() const {
        return true;
    }
}

但是，当我实例化一个AwesomePacket 并调用isAwesome() 时，该方法返回false 而不是true。为什么会这样？

Answer 1

您的代码很可能在 Packet 构造函数中调用 isAwesome：

Packet::Packet()
{
    // this will always call Packet::isAwesome
    if (isAwesome())
    {
    } 
}

即使这个 Packet 构造函数被用来构造 AwesomePacket 对象的父对象，它也不会调用 AwesomePacket::isAwesome。这是因为此时该对象还不是 AwesomePacket。

Answer 2

这完全取决于您如何调用该方法。考虑一下：

AwesomePacket ap;
bool awesomeness0( ap.isAwesome()); // true, call is direct, not through vtable

AwesomePacket& rap( ap );
bool awesomeness1( rap.isAwesome()); // true, call is direct, not through vtable

Packet p( ap ); // WRONG (but legal): slicing child instance into space of parent
bool awesomeness2( p.isAwesome()); // false, call is direct, not through vtable

const Packet& rp( ap ); // the right way
bool awesomeness3( rp.isAwesome()); // true, call is through vtable

const Packet* pp( &ap ); // also the right way
bool awesomeness4( pp->isAwesome()); // true, call is through vtable

这就是说 C++ 中的多态性只能通过引用或指向基址的指针起作用。

编辑：

不要忘记在基类中添加一个虚拟析构函数。

编辑：

这还取决于您调用虚拟方法的位置，请参阅 R Samuel Klatchko 的答案。