Рассмотрим следующий код:
class IChunk
{
public;
virtual void Method() = 0;
};
class FlatChunk : public IChunk
{
public:
void Method() override;
};
class IAudioChunk : public IChunk
{
public:
virtual AudioFormat GetFormat() const = 0;
};
class IVideoChunk : public IChunk
{
public:
virtual VideoFormat GetFormat() const = 0;
};
class SomeAudioChunk : public IAudioChunk, public FlatChunk
{
public:
AudioFormat GetFormat() const override;
};
class SomeVideoChunk : public IVideoChunk, public FlatCHunk,
{
public:
VideoFormat GetFormat() const override;
};
Это упрощенный код.
Здесь должно происходить следующее:
IChunk
- это интерфейс для работы с каким-то куском данных;FlatChunk
- реализация интерфейсаIChunk
, которая работает с данными, хранящимися в памяти в виде сплошного массива байтов;IAudioChunk
- интерфейс для работы с аудиоданными, который наследуется от интерфейса работы с данными, плюс еще кое-что, специфичное для аудио;IVideoChunk
- интерфейс для работы с видеоданными, который наследуется от интерфейса работы с данными, плюс еще кое-что, специфичное для видео;SomeAudioChunk
- какая-то реализация интерфейсаIAudioChunk
, которая, к тому же, использует реализациюFlatChunk
для работы с данными в виде сплошной последовательности байтов;SomeVideoChunk
- какая-то реализация интерфейсаIVideoChunk
, которая, к тому же, использует реализациюFlatChunk
для работы с данными в виде сплошной последовательности байтов.
В этом коде есть несколько вещей (запахов), которые меня смущают, поэтому при реализации проекта, в котором возникла аналогичная ситуация, я использовал композицию/агрегацию, вместо наследования.
Например, так:
class IAudioChunk
{
public:
virtual IChunk* GetChunk() = 0;
virtual AudioFormat GetFormat() const = 0;
};
Но я бы хотел обсудить изначальную задумку.
Итак, проблемы первоначального кода заключаются в следующем:
1) SomeAudioChunk
и SomeVideoChunk
наследуют интерфейс IChunk
дважды.
- Во-первых, мне не ясно: можно ли наследоваться от интерфейса и от реализации интерфейса без использования виртуального наследования?
- Во-вторых: потенциальные мысли о необходимости использования в коде виртуального наследования - это запах и повод серьезно задуматься над архитектурой;
- В-третьих: имеет ли значение, в каком порядке происходит наследование от интерфейса и от его реализации?
2) Я не уверен, что между типами IChunk
и IAudioChunk
, а также между типами IChunk
и IVideoChunk
, - существует отношение is a
(является). На мой взгляд, has a
в данной ситуации более уместно.
Доводы следующие:
- Если
IAudioChunk
иIVideoChunk
наследовать отIChunk
(отношениеis a
), тогда при реализацииSomeAudioChunk
иSomeVideoChunk
нужно как-то и откуда-то брать реализацию интерфейсаIChunk
; брать ее наследованием отFlatChunk
- сомнительный процесс, а писать в ручную - глупо; - Если для
IAudioChunk
иIVideoChunk
использовать композицию/агрегацию, тогда все наследники данных классов не будут зависеть от реализацииFlatChunk
, и даже смогут менять эту реализацию в процессе выполнения, и это очень даже хорошо, гибко, понятно и удобно.
Я хочу найти ответы на свои вопросы. В книгах найти их мне не удалось.