Как это можно реализовать?

Question

[iihaarr]

Я реализую передвижение транспорта в зависимости от его типа(наземный транспорт, морской и т.п.)
Есть базовый класс транспорта и несколько его наследников

class BaseTransport {
public:
...Какие-то методы...
virtual void Move() = 0;
protected:
поля
}
class GroundTransport : public BaseTransport {
GroundEnum state;
public:
...
void Move() override;
}
class SeaTransport : public BaseTransport {
SeaEnum state;
public:
...
void Move() override;
}
class AirTransport : public BaseTransport {
AirEnum state;
public:
...
void Move() override;
}
...

У каждого наследника есть свой отдельный enum class. Эти enumы - возможные состояния для каждого типа транспорта. Все виды транспорта двигаются по маршруту, заданному некоторому набору точек. Когда транспорт доходит до конца маршрута, то в зависимости от типа транспорта он останавливается, либо возвращается в начало маршрута(то есть выставляется состояние на возвращение в начальную точку).
У наследников в методе Move есть одинаковый код, который отличается только значениями enum

void GroundTransport::Move() {
...одинаковый код...
state = GroundEnum::Finished
...одинаковый код...
}
void SeaTransport::Move() {
...одинаковый код...
state = SeaEnum::ReturnToBegin
...одинаковый код...
}
...

Как это можно свести к одному методу в базовом классе?
upd: Изменил описание вопроса

Comments

[mayton2019]

Тут - какое-то немотивироавнное внедрение Enum.

Если заинлайнить
state = ...
то ничего не изменится.

Енум не нужен.

P.S. Скрипач не нужен.

[Евгений Шатунов]

iihaarr , так. Вот сейчас я попрошу минуточку, буквально, твоего внимания.
Объясняя вопрос, ты должен объяснять именно вопрос, а не свой способ решения вопроса, приведший тебя в тупик.

Откатись в своих рассуждениях назад и измени свой вопрос так, чтобы он объяснял: какую конкретную задачу ты начал решать через применение полиморфизма и идиомы состояния. Мне кажется, сама твоя задача интереснее чем имеющаяся сейчас попытка решения этой задачи.

[RabraBabr]

Вот тут поддержу. Автор какую задачу решаем? А то могу столько всяких разных идей накидать, а потом окажется, что все это вообще не нужно и сильно усложняет дело.

Answer 1

[rPman]

Так чем не нравится шаблон?

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

temlate <typename Derived1Enum> inline void Derived1::_someMethod(const Derived1Enum _state) {
...одинаковый код...
state = _state
...одинаковый код...
}
void Derived1::someMethod() {
_someMethod(Derived1Enum::SomeStateDerived1)
}
void Derived2::someMethod() {
_someMethod(Derived2Enum::SomeStateDerived2)
}

upd. подправил с использованием шаблона

Comments

[iihaarr]

у Derived2 отдельный enum(не Derived1Enum, а Derived2Enum)

[rPman]

охх, за что же ты так ненавидишь тех кто будет потом этот код поддерживать

шаблоны - идеальны в твоем случае, так же можно мой код просто подправить на шаблоны, собственно я так и подправлю ответ

окей, до существования шаблонов, это делали с помощью препроцессора (выглядит отвратительно)

p.s. предвещая вопрос про то что твой "одинаковый код" использует одинаковые наименования из разных наследников, заноси все в template либо
подумай очень хорошо, так ли ты реализовал наследование? возможно одинаковые вещи должны быть определены в base? при необходимости виртуальными

[Dmitrii]

rPman, а что делать в случае, если enum заранее неизвестен и определяется пользователем в наследуемом классе?

[rPman]

Dmitrii, оба метода _someMethod и someMethod ведь пользователь пишет

Answer 2

[Dmitrii]

Самый банальный ответ: объединить enum
Также можно сделать базовый класс шаблонным, а наследоваться уже от базового класса со специализированным шаблоном
Если это единственное, чем отличаются классы Derived1 и Derived2, то стоит расмотреть вынос данного функционала или в лямбду или в класс-функтор

Comments

[Adamos]

Если это единственное, чем отличаются классы, то напрашивается DI.
Один класс, которому в конструктор передается объект нужного наследника enum-класса.
В этих наследниках, собственно, должна быть реализована вся логика, которую тут вымучивают наследованием, и базовый интерфейс, по которому эту логику будет дергать вот этот самый один класс.

Answer 3

[vanyamba-electronics]

Так у вас Base<Enum1>
и Base<Enum2> - разные классы.

Чтобы был один класс и 2 разных типа, используйте union:

typedef union {
    enum Derived1 { ...  } m_derived1;
    enum Derived2 { ... } m_derived2;
} MyEnum;

class Base {
   MyEnum m_enum;
   virtual void some_method( const MyEnum& ) = 0;
};

class Derived1 : public Base {
   void some_method( const MyEnum& eVal) {
      m_enum.m_derived1 = eVal.m_derived1;
   }
};

...

Answer 4

[code_panik]

Если enum не видно извне как деталь реализации, то можно так.

#include <iostream>
using namespace std;

class BaseTransport {    
public:
    virtual void Move() {        
        onArrival();            
    }
private:
    virtual void onArrival() = 0;
};

class GroundTransport : public BaseTransport {
private:
    void onArrival() override {
        cout << __PRETTY_FUNCTION__ << endl;
        state = GroundEnum::Finished;
    }
    enum class GroundEnum { Finished };    
    GroundEnum state;
};

class SeaTransport : public BaseTransport {    
private:
    void onArrival() override {
        cout << __PRETTY_FUNCTION__ << endl;
        state = SeaEnum::ReturnToBegin;
    }
    enum class SeaEnum { ReturnToBegin };
    SeaEnum state;
};

int main() {
    BaseTransport* st = new SeaTransport();
    st->Move();    
    BaseTransport* gt = new GroundTransport();
    gt->Move();
    return 0;
}