虚拟方法不是虚拟的

Question

考虑下面的代码:

#include<iostream>
#include<vector>

class A
{
public:
    A(int n = 0) : m_n(n) {}

public: 
    virtual int value() const {return m_n;}
    virtual ~A() {}

protected:
    int m_n;
};

class B : public A
{
public:
    B(int n = 0) : A(n){}

public:
    virtual int value() const {return m_n + 1;}
};

int main(char* args[])
{
    const A a(1);
    const B b(3);
    const A *x[2] = {&a, &b};
    typedef std::vector<A> V;
    V y;
    y.push_back(a);
    y.push_back(b);
    V::const_iterator i = y.begin();

    std::cout << x[0]->value() << x[1]->value()
        << i->value() << (i+1)->value() << std::endl;

    getchar();
    return 0;
}

为什么打印出来1413,而不是1414？我希望value()即使被称为虚拟函数也会表现为虚函数(i+1)->value();.

Answer 1

您的向量V包含A对象,因此没有动态分派的范围.你总是在打电话A::value().将B对象的一部分复制到向量中时将其切掉.这与执行此操作相同:

B b(1);

A a1 = b;  // a1 is an A object, not a B.
a1.value();

查看对象切片.