Виртуальное наследование для решения проблемы ромбовидного доступа

Условие задачи

Необходимо продемонстрировать применение виртуального наследования, позволяющего избавиться от неоднозначности при обращении к членам базового класса в случае ромбовидной иерархии.

struct A {
    int h;
};

struct B : virtual A { };

struct C : virtual A { };

struct D : B, C { };