При использовании виртуального базового класса в сценарии множественного наследования необходимо ли всем производным классам ссылаться на виртуальную базу?

Стандарт кодирования JSF C ++ ВВС США требует, чтобы виртуальный базовый класс был объявлен для каждого производного класса, который обращается к виртуальной базе.

Например, в следующей иерархии:

  A
/ \
B1  B2
C1  C2
\ /
D

… правило, которое они накладывают в этом стандарте (правило AV 88.1, для справки), требует, чтобы классы были объявлены следующим образом:

class A;
class B1 : virtual A;
class B2 : virtual A;
class C1 : B1, virtual A;
class C2 : B2, virtual A;
class D  : C1, C2, virtual A;

Мои вопросы следующие:

1. Является ли это семантически отличным от только виртуального наследования в объявлении @ B1 / B2 и без указания virtual A при каждом последующем объявлении класса?
2. Если это семантически отличается, почему кто-то / хочет / оставить это? Мне кажется глупым, что вам абсолютно необходимо делать это на каждом уровне наследования, поскольку это добавляет потенциальную точку отказа.