0

Допустим, у меня есть полностью виртуальный/абстрактный класс INode (интерфейс), все его методы исключительно виртуальные. В последствии я хочу от него уже наследовать класс CNode, где эти методы будут реализованы. Также я хочу создать потомок-интерфейс, например INodeSpatial, тоже полностью виртуальный, который унаследует все виртуальные методы родителя + добавит какие-то свои виртуальные методы. В последствии я хочу от него наследовать CNodeSpatial где все эти методы будут реализованы. Ну и так далее..

Но тут получается следующее:

  1. Класс CNode, который наледуется от INode будет реализовывать вирутальные методы INode
  2. Класс CNodeSpatial, надедуется, опять же, только от виртуального INodeSpatial, но не от CNode, и это значит что в CNodeSpatial мне придется описывать все то же самое, что было описано в CNode
  3. Возникла мысль, чтобы этого не делать - наследовать CNodeSpatial и от INodeSpatial, и от CNode (где уже реализация всех виртуальных методов INode описана). Тогла мне придется описать только те виртуальные методы, которые есть в INodeSpatial

Но тут возникает вопрос:

Насколько это вообще хорошо и правильно? Просто получается что класс CNodeSpatial дважды наследуется от INode (поскольку INode является родителем и CNode и INodeSpatial). Так вообще можно? Не приведет ли это к проблемам в дальнейшем? Насколько такой подход соответствует "хорошей практике"?

Примеры:

Интерфейсы

class INode
{
public:
    virtual void methodA() = 0;
    virtual void methodB() = 0;
    virtual ~INode() = default;
};

class INodeSpatial : public INode
{
public:
    virtual void methodC(int foo) = 0;
    virtual void methodD(int foo) = 0;
    ~INodeSpatial() override = default;
};

"Реальные" классы:

class CNode : public INode
{
public:
    void methodA() override
    {
        //TODO: Implementation of INode methods in CNode
    }

    void methodB() override
    {
        //TODO: Implementation of INode methods in CNode
    }
};

class CNodeSpatial : public INodeSpatial
{
public:
    void methodA() override
    {
        //TODO: Implementation of INode methods in CNodeSpatial (already done in CNode)
    }

    void methodB() override
    {
        //TODO: Implementation of INode methods in CNodeSpatial (already done in CNode)
    }

    void methodC([[maybe_unused]] int foo) override
    {
        //TODO: Implementation of INodeSpatial methods
    }

    void methodD([[maybe_unused]] int foo) override
    {
        //TODO: Implementation of INodeSpatial methods
    }
};

Как можно видеть, в классе CNodeSpatial приходится дублировать реализации которые уже были описаны в CNode, потому что наследование идет исключительно от виртуальных интерфейсов. Но если наследоваться И от СNode, проблема как бы исчезает:

class CNodeSpatial : public INodeSpatial, public CNode
{
public:
    void methodC([[maybe_unused]] int foo) override
    {
        //TODO: Implementation of INodeSpatial methods
    }

    void methodD([[maybe_unused]] int foo) override
    {
        //TODO: Implementation of INodeSpatial methods
    }
};

Но в итоге получается то класс как бы 2 раза наследуется от INode, что меня и смущает. Это нормально? Так делают? Проблем в дальнейшем не вызовет?

введите сюда описание изображения

6
  • 1
    KISS
    – avp
    19 апр 2022 в 15:55
  • 1
    @AlexNem - а может покажете кодом (виртуальные функции не обязательно писать), как Вы это видите. Может там ничего страшного и нет.
    – KoVadim
    19 апр 2022 в 16:07
  • ¿Почему бы не добавить новые методы в INode и CNode, не создавая никаких новых сущностей? 19 апр 2022 в 17:18
  • @user7860670 Потому что INode/CNode должен отвечать за одно, а INodeSpatial/CNodeSpatial за другое (но при этом сохранять в себе черты и INode/CNode). Это разные сущности с разными задачами. Пихать все-все-все в INode/CNode - по моему убийственно. Интерфейсы использую для того, чтобы можно было в последствии взаимодействовать с объектами из DLL (функции DLL будут возвращать указатели на интерфейсы, а сами интерфейсы - просто заголовочные файлы, подключаемые как на стороне клиента, так и на стороне библиотеки)
    – Alex Nem
    19 апр 2022 в 18:24
  • @Alex Nem, Если вам лень кинуть минимальный код(без реализации, с некоторыми членами), то почему кто то должен вместо вас писать пример на догадках ? 19 апр 2022 в 18:47

2 ответа 2

1

Можно сделать так:

class INodeSpatial : public INode
{
protected:
    virtual void methodC(int foo) {}
    virtual void methodD(int foo) {}
public:
    
    ~INodeSpatial() override = default;
};

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

class CNode : public  INodeSpatial
{
public:
    void methodA() override
    {
        
        //TODO: Implementation of INode methods in CNode
    }

    void methodB() override
    {
       
        //TODO: Implementation of INode methods in CNode
    }
};

Теперь CNode имеет в своем открытом интерфейсе только методы из INode

class CNodeSpatial : public CNode
{
public:    

    void methodC([[maybe_unused]] int foo) override
    {
       
        //TODO: Implementation of INodeSpatial methods
    }

    void methodD([[maybe_unused]] int foo) override
    {
   
        //TODO: Implementation of INodeSpatial methods
    }
};

Ну а этот определил еще и методы из INodeSpatial, и имена типов соответствующие иерархии.

Хочется отметить, что я полностью согласен с самым первым комментарием под вопросом(от avp). Старайтесь делать проще. Например, если нет необходимости создавать дерево иерархии(всего два класса у вас фигурируют в данном виде) так, чтобы было удобно писать рудиментарный код по ссылке на базовый класс, то стоит подумать об избавлении всего лишнего...

0

класс как бы 2 раза наследуется от INode

Чутье вас не подвело.

Ваш пример с class CNodeSpatial : public INodeSpatial, public CNode не делает то, что вы думаете.

Класс CNodeSpatial при таком подходе абстрактный - попробуйте создать экземпляр, увидите.

Решение - CNode и INodeSpatial должны наследоваться от INode виртуально.

7
  • Действительно, все происходит именно так как вы описали. Создать экземпляры класса не было возможности, покуда не добавил виртуальное наследование. Единственный странный момент - среда (CLion), когда обращаюсь к экземпляру, показывает варианты "spatialNode.CNode::methodA()" и "spatialNode.INode::methodA()", будто есть какая-то неоднозначность. Но скомпилировать с "spatialNode.INode::methodA()" невозможно (ошибка, и понятно почему). Но почему среда показывает этот вариант? Просто баг? Также все работает и собирается если обращаться "spatialNode.methodA()"
    – Alex Nem
    19 апр 2022 в 19:24
  • 1
    @AlexNem Наверное баг. Не знают, что виртуальное наследование убирает неоднозначность? Стоит зарепортить. 19 апр 2022 в 19:29
  • когда все написано на java/kotlin, то сложно знать о таких "тонких моментах"(хотя какой это тонкий, на каждом нормальном собеседовании спрашивают о ромбовидном/бриллиантовом наследовании). Поэтому я всегда говорю, что не может быть нормальная ide/редактор для с/с++ быть написана не на с/с++.
    – KoVadim
    20 апр 2022 в 6:14
  • @HolyBlackCat Еще заметил такую странность, компилятор MSVC почему-то пишет wrning'и (warning C4250: CNodeSpatial: наследуется "CNode::CNode::methodA" через превосходство). При этом MinGW/GCC ничего такого не пишет. Насколько это вообще важно и что имеется в виду? Может все таки что-то не так сделано? CNode и INodeSpatial наследуются виртуально от INode, CNodeSpatial наследуется от CNode обычно, а от INodeSpatial виртуально (но если сделать обычное наследование - ничего не меняется, warning сохраняется)
    – Alex Nem
    20 апр 2022 в 20:07
  • @AlexNem Превосходство = dominance, так называется правило про отсутствие неоднозначности в таких случаях. Тут все нормально, просто мелкомягкие считают, что для простых смертных это слишком сложно. :) 20 апр 2022 в 20:14

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.