C++ 虚拟类 : interesting point

Question

请告诉我为什么以下程序的输出如下所示。我没有得到 C++ 中的虚拟类。观察下面的代码:

class B
{
public:
    B(char c = 'a') : m_c(c) {}

public:
    char get_c() const { return m_c; }
    void set_c(char c) { m_c = c; }

private:
    char m_c;
};

class C: public B
{ };

class D: public B
{ };

class E
    : public C
    , public D
{ };

int main()
{
    E e;
    C &c = e;
    D &d = e;
    std::cout << c.get_c();
    d.set_c('b');
    std::cout << c.get_c() << std::endl;
    return 0;
}

O/P: aa我希望输出是 ab。获得“aa”的原因是什么？

如果我有 c.set_c('b') 而不是 d.set_c('b') 那么我会得到 O/P : "ab"，在这里，我也不明白为什么会这样。 c、d 都只指一个对象。

class C:virtual public B{};
class D:virtual public B{};

如果类C、类D都是从B虚拟继承的，那么O/P 永远是 "ab"

Answer 1

E中有两份B，一份通过C，一份通过D。当您调用 d.set_c('b') 时，您正在修改 D 的 B 中的 m_c >。当你调用 c.get_c() 时，你会得到 C 的 B 中的 m_c，它已经'改变了。

当你让 C 和 D 实际上从 B 继承时，它就解决了这个问题，因为这样只有一份 B 在 E 中。

这是相关的:http://www.parashift.com/c++-faq/virtual-inheritance-where.html