C++, бриллиантовое наследование, где/когда нужно реализовать чистые виртуальные машины?

И B, и C также имеют чисто виртуальные функции (-> должны ли абстрактные классы реализовывать унаследованные чистые виртуальные функции?)

Да D ДОЛЖЕН реализовать ВСЕ унаследованные чисто виртуальные функции.
Если только класс не реализует все чисто виртуальные функции классов, от которых он производен сам класс действует как абстрактный класс.

Только один из них (B XOR C) имеет чисто виртуальную функцию (-> должен ли другой реализовывать f()?)

D должен будет реализовать чисто виртуальную функцию, которую он наследует через свои базовые классы в любой иерархии. Если его непосредственный базовый класс не определяет чистую виртуальную функцию, то этот класс также становится абстрактным классом, и если D не реализует унаследованную чистую виртуальную функцию, он также станет абстрактным.

Ни B, ни C не имеют собственных чистых виртуальных машин (-> возможный способ пропустить реализацию в B и C и «пропустить» ее в D?)

D должен будет реализовать чистые виртуальные функции, которые он наследует через A->B и A-C. Обратите внимание, что в этом случае и B, и C будут абстрактными классами.

В каком из трех вышеприведенных случаев D нужно реализовать f()? В каких случаях D необязательно может реализовать f()? В каких случаях D не может реализовать f()?

D необходимо реализовать foo() во всех трех вышеперечисленных условиях, чтобы иметь возможность создавать экземпляры (не абстрактные).

Вывод:

1. Класс должен реализовать ВСЕ чистые виртуальные функции, которые он наследует от ВСЕХ своих базовых классов, в противном случае класс станет абстрактным классом.
2. Виртуальный атрибут наследуется. Если суперкласс объявляет виртуальную функцию, то переопределенная функция в производном классе также является виртуальной и передает виртуальный атрибут всем производным от него классам.

Избегайте Алмаза Смерти! Если вы действительно не понимаете тонкостей, связанных с этим. Многие люди пытаются использовать виртуальное наследование, хотя на самом деле это не самый подходящий способ добиться того, чего хочет их дизайн. Использование виртуального наследования действительно необходимо в некоторых сценариях, тем не менее, это важная конструкция, предоставляемая языком, но чаще используемая неправильным образом. Поэтому имеет смысл еще раз пересмотреть свой проект, чтобы убедиться, что вам действительно нужно виртуальное наследование.

Следующее может быть хорошим чтением:

1. Множественное наследование – часть I
2. Множественное наследование — часть II
3. Множественное наследование – часть III

И B, и C также имеют чисто виртуальные функции (-> должны ли абстрактные классы реализовывать унаследованные чистые виртуальные функции?

Да. Любой класс, унаследованный от абстрактного класса, должен реализовывать виртуальные функции, чтобы иметь возможность создавать экземпляры. Иначе они тоже будут абстрактными.

Только один из них (B XOR C) имеет чисто виртуальную функцию (-> должен ли другой реализовывать f()?)

Поскольку C также является производным от A, он также должен реализовывать f().

Ни B, ни C не имеют собственных чистых виртуальных машин (-> возможный способ пропустить реализацию в B и C и «пропустить» ее в D?)

Вы можете сделать это. Но это предотвращает создание экземпляров только B или C, например -

A *obj = new B(); // Error
A *obj = new C(); // Error

В каком из трех вышеприведенных случаев D нужно реализовать f()? В каких случаях D необязательно может реализовать f()? В каких случаях D не может реализовать f()?

f() можно реализовать только в D, если вы хотите, чтобы все его родительские классы были абстрактными.

Единственное требование состоит в том, что на уровне «листа» (наиболее производном) все имеет реализацию (и, возможно, только одну, иначе может возникнуть неоднозначность, если - в точке доступа к графу - есть несколько реализаций на том же «расстоянии». ".

Таким образом, D должен реализовать все, что еще не было реализовано, или все было реализовано более одного раза разными путями (для устранения неоднозначности). Если что-то - на уровне D - все еще остается нереализованным... D не может быть инициирован, и реализация требуется для и E, производного от D.

– Бриллианты вечны –

1. Нет, абстрактные классы (предположительно B и C) не должны реализовывать унаследованные чистые виртуальные объекты. Однако дочерний класс, такой как D, должен будет сделать это для создания экземпляра.

2. Нет, снова B и C унаследуют чисто виртуальный метод, и его нужно только переопределить, чтобы сгенерировать окончательный конкретный класс.

3. Да, это будет реализовано в D одним из двух способов. Если B и C наследуются виртуально, то D реализует это один раз. Если они не наследуются виртуально, тогда D потребуется переопределить обе версии B и C версии f, чтобы быть конкретными.

4. Если D является абстрактным, ему никогда не нужно реализовывать f. Предполагая, что вы хотите, чтобы это было конкретно, во всех трех случаях вам нужно переопределить f в D. Только если и B, и C переопределяют f, D в этом нет необходимости.

Внимательно посмотрите на свой дизайн и удалите алмазное наследство. В большинстве случаев это будет лучшим способом предотвратить все эти проблемы.