вот скажите мне как решить проблему. будем говрить в терминах С++, потому что я так приказал. все вы
Аноним
22/01/26 Чтв 13:09:53
№
1
все вы прекрасно знаете совершенно замечательное изобретение Шона Парента, как паттерн external polymorphism.
вкратце для тех, кто не опп:
хотите вы вывадать объектам некоторую способность, назовет ее action(); вместо того, чтобы наследовать ваши объекты от class IActionable { virtual void action() = 0; } вы, делаете следующую конструкцию (синтаксис упрощен для краткости, концепты не юзаю тоже по этой причине):
class Actionable final
{
struct IActionable { virtual void action_() = 0; }
template <typename T> struct ActionableObject : public IActionable
{
T data_;
ActionableObject(T x) : data_(x) {}
void action() override { return ::action(x); }
};
};
то есть мы просто вызываем глобальную (оберните в какой хотите неймспейс а-ла ActionOverloadset) функцию для нужного типа. это позволяет совмещать SRP и OCP, ведь теперь мы не будем вынуждены добавлять методы action в класс, меняя их код и они не завязаны на action.
так вот вся эта подводка сводится к вопросу: а как провернуть что-то похожее для динамически полиморфных иерархий классов? ну например условное AST мы не построим без динамического полиморфизма.
немного конкретики для примера (пример тупенький, но суть передает):
есть несколько классов нод наследуемых от basic_node. они содержатся в классе AST. пусть я хочу сделать простенький интерпретатор, который обходит дерево рекурсивно и исполняем программу. пусть у меня есть поле Nametable nt_;
при добавлении новой ноды я максимально не хочу лезть в интепретатор и что-то там добавлять. поэтому хочется провернуть что-то похожее на трюк из external polymorphism. однако если я буду определять функции для действий с конкретно нодой, мне придется передать nt_ им как аргумент, что уже кринж. к тому же мне нужна функция, которая была делала
if (auto node = static_cast<const node_type*>(current_node)) visit(node);
то есть при добавлении новой ноды мне все равно надо переписывать код, что уже конечно плохо.
ИТОГО:
как соблюдть SRC и OCP для динамически полиморфных иерархий?
https://godbolt.org/z/dYTW8G6eK
вот ссылка на хабр статью про external polymorphism:
https://habr.com/ru/articles/706450/
>https://habr.com/ru/articles/706450/
Автор попущен в первом же комментарии.
мимо-оппост-не-читал