What is the diamond problem and virtual inheritance?

Question

Accepted Answer

**Diamond problem** — ambiguous inheritance path in multiple inheritance.

```cpp
class A { public: int value; };
class B : public A {};
class C : public A {};
class D : public B, public C {};

D d;
// d.B::value and d.C::value — ambiguous!
// d.value — Error: ambiguous

// Solution: virtual inheritance
class A2 { public: int value; };
class B2 : virtual public A2 {};
class C2 : virtual public A2 {};
class D2 : public B2, public C2 {};

D2 d2;
d2.value = 10;  // OK — single A2 base

// Virtual base constructed by most derived class
class D3 : public B2, public C2 {
public:
    D3() : A2() {}  // Constructs A2 directly
};
```

**Issues with virtual inheritance:**
- Vtable overhead increases.
- Constructor must explicitly initialize virtual base.
- More complex object layout.

C++: What is the diamond problem and virtual inheritance?