Diamond inheritance in C++

[tamasborbas]

If there is a diamond in the type hierarchy and the super-super class has any method virtual inheritance should be used in the first sub classes of the diamond. The generalization of StatefulClass could be cause problems.

Example

There is the following structure:

The inheritance in B and C should be virtual. The code sould looks like this:

class A {
public:
    void a() {}
}

class B : public virtual A {}

class C : public virtual A {}

class D : public B {}

class E : public D, public C {}

[g2k2c8]

Not a valid generalization pattern. We do not need to support this

[g2k2c8]

Gabor will provide additional input