Что может дать изменение иерархии классов во время выполнения?

Question

[Sasha_88]

Я сейчас изучаю чем отличается ООП в статически типизированных языках от ООП в динамически типизированных. Вот в Objective C (в книге читал, сам не программирую в нем) упоминалось, что из-за динамической природы языка, возможно иметь некоторые интересные трюки с объектами и классами. Упоминалось об изменении иерархии классов во время выполнения. Правда без примера, зато был другой пример. В этом языке объекты устроены с виду просто. Там в каждом есть указатель isa. Это простой указатель на структуру Class, которая содержит информацию такую, как наличие методов у объектов, список переменных членов данных и прочее. И к примеру есть масса системных функций для изменения этих данных. Например можно подсунуть объекту другой указатель на другой класс и вызывать другие методы, первоначально отсутствующие в этом объекте. И про изменение иерархии классов. Зачем это можно было бы использовать? Да и такие языки как Python и Ruby заявлены как имеющие размытую границу между временем компиляции и временем выполнения. То есть там тоже можно много чего потом с объектами делать. Добавлять и удалять методы, атрибуты. А поменять иерархию можно? Зачем нужна такая гибкость?

Answer 1

[mayton2019]

Упоминалось об изменении иерархии классов во время выполнения.

Постарайтесь найти пример. Что имелось в виду. Создание новой пары класс+объект? Или изменение
интерфейса объекта? Информатика и вычислительная техника за 20й век насоздавала столько экзотических
языков и парадигм что на любой каприз можно что-нибудь да найти. Создавались даже такие языки
цель которых - максимально усложнить (Malbolge) разработку. Поэтому если "просто так менять иерархию" - то
можно уподобляться комсомольцам которые сначала создают проблемы а потом их героически решают.

Comments

[Sasha_88]

Видимо имелось в виду изменение отношений класс <- подкласс. То есть класс A является базовым классом для класса B. Это в исходном коде. А потом во время выполнения: Отсоединяем класс B от класса A и делаем класс B подклассом класса C. Одиночное наследование. Я только могу представить применение этому как в каком-нибудь фреймворке, к примеру. Конструктор для исходного кода и там ты в работающей программе меняешь ее код. Ну наподобие Smalltalk.

[mayton2019]

Sasha_88, а есть motivation? Вот в шаблонах проектирования всегда пишут зачем это надо.

[Sasha_88]

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

[mayton2019]

Sasha_88, я не знаток Objective C. Я-бы спрашивал не зачем это надо а к каким последствиям может привести. Например класс C имел поля которые надо было инициализировать. Что с ними будет в этом случае? Чем мы их инициализируем?

[Sasha_88]

mayton2019, Логичный вопрос. У таких языков есть системные методы, чтобы в объект положить что-нибудь во время выполнения. Прям функции такие есть.
Тут вообще получается, что после изменения иерархии надо еще будет забыть о предыдущей иерархии, переделать объекты под новую и начать использовать объекты в соответствии с новой. Трудно поддерживать.

А еще некоторые языки позволяют изменять системные переменные...

[mayton2019]

Sasha_88, я думаю что щас в топик зайдет настоящий Objective-C -шник и будет нас бить. Я предлагаю взять паузу и поискать пруфы или примеры как там это работает. Возможно под наследованием Objective понимает нечто более другое чем С++ например. Может прототипирование.