c++ - 为什么动态绑定(bind)没有按预期运行？

Question

给定基类和派生类如下:

基地:

class AA
{
public:
    AA() = default;
    virtual void print() const { std::cout << aa << "\n";}

private:
    std::string aa = "AA";
};

派生:

class BB : public AA
{
public:
    BB() = default;
    virtual void print() const override {std::cout << bb << "\n"; }

private:
    std::string bb = "BB";
};

第一次尝试:

int main()
{
    AA aa;  BB bb;
    AA& //r = aa; r.print();

    r = bb;
    r.print();

    return 0;
}

结果完全符合我的预期:

BB
Press <RETURN> to close this window...

但是当 // 被移除时的第二次尝试:

int main()
{
    AA aa;  BB bb;
    AA& r = aa; r.print();

    r = bb;
    r.print();
 //!^^^^^^^^^^--why wasn't the print in derived class called?
    return 0;
}

输出是:

AA
AA
Press <RETURN> to close this window...

如上评论，为什么在执行第二个r.print()时没有调用派生类中定义的print？

Answer 1

因为表达式 r = bb 完全等同于 aa = bb。赋值运算符只是将 AA 类已知的 bb 部分复制到 aa 对象中。

也就是说，赋值后，r仍然指向aa，它是AA的一个实例。它在任何意义上都不指向BB 实例。

引用永远不会改变它引用的对象，因此无法通过引用实现预期的行为。要获得您正在寻找的多态性，您可以使用指针:

AA* p = &aa;
p->print();

p = &bb;
p->print();