Реферат: Разум-ориентированное программирование
Конец цикла
...
...
и так далее
Теперь мы можем обращаться к методу "Найти клетку", уже принадлежащему объекту "А", то есть вызов типа "А.Найти клетку(допустим, на некоторой плоскости Z)". А что же будет, если объект "А" каким-то образом попадает из плоскости на другую фигуру, например, куб? Очевидно, метод "Достигли ли края плоскости" будет непригоден для поверхности куба. Теперь нам нужно иметь либо базовый метод "Достигли ли края поверхности куба", либо создать такой метод, как мы создали метод "Найти клетку". А как только мы создали (или имеем его в качестве базового) нужный метод, мы должны расширить N-мерность метода "Найти клетку", спрятав в этом методе еще один алгоритм поиска, но уже для куба.
Расширить метод "Найти клетку" (то есть добавить в метод еще один
алгоритм поиска), а в качестве алгоритма взять "плоскостной"
алгоритм (предыдущий алгоритм), только в нем использовать
метод "Достигли ли края поверхности куба", а не "Достигли ли
края плоскости"
Теперь уже объект "А" способен искать клетку и на плоскости и на поверхности куба (например, "А.Найти клетку(на некотором кубе Z)"), используя всего лишь один метод "Найти клетку". Разумеется, в данном методе скрывается два алгоритма, но из объекта "А" виден только один единственный метод, сколько бы в нем ни скрывалось алгоритмов. Этот пример, конечно, поднимает вопрос о том, как метод должен определять, какой алгоритм использовать. То ли это будут входные параметры для метода, то ли ему будет передаваться объект, на котором будет выполняться метод. Пока этот вопрос открыт, потому что нет еще ни одной спецификации, ни одного формата описания алгоритмов конструируемых методов. Я же перейду к объяснению моего "вроде бы", употребленного ранее в отношении базовых методов.
Как и в только что описанном случае с наличием базового или впервые создаваемого метода для куба, так и в случае базовых методов объекта "А" (методы "Двигаться вперед", "Повернуться" и так далее) приемлем вариант, когда эти методы не были базовыми, а создавались в процессе функционирования объекта "А". К тому же даже базовые методы могут расширять свою N-мерность, ведь они - тоже классы методов. Если, к примеру, объект "А" по каким-то причинам потерял ноги, и его пересадили в инвалидное кресло, то метод "Найти клетку" продолжает исправно работать, потому что базовые методы "Двигаться вперед" и "Повернуться" все равно выполняют свою задачу. А это происходит за счет того, что указанные методы расширяют свою N-мерность дополнительными алгоритмами (ведь кто-то все равно вынужден будет обучить методы новым алгоритмам), что двигаться вперед на кресле – это так-то и так, поворачиваться – это так-то и так. Собственно, на остальные методы объекта "А" никак не влияет его "физическое уродство".
Если вдруг объект дошел до воды, то метод "Найти клетку" опять работает, ведь метод "Двигаться вперед" расширяется новым алгоритмом, что плыть по воде – это так-то и так, задействуются такие-то и такие методы (например, "Грести руками"). Естественно, новые методы типа "Грести руками" добавляются в объект и обязательно вкладываются внутрь метода "Двигаться вперед". Если у объекта не окажется руки (допустим, будет протез), то N-мерность метода "Грести руками" расширится новым алгоритмом "гребка" протезом, остальные же методы будут продолжать работать так, как нужно.
Если перед объектом окажется стена, то расширится метод "Двигаться вперед", потому что теперь двигаться – это "Перелезть через стену", а перелезть через стену – это сделать так-то и так. В принципе, это касается любого метода, так как я приводил примеры с методами движения объекта, поскольку они нагляднее. Так, например, если мы ищем красную клетку далеко от себя (или совсем на чужой поверхности, или совсем не красную клетку), то метод "Вижу ли заданную клетку" расширится новыми алгоритмами, что видеть далеко от себя – это, к примеру, взять бинокль, навести резкость, посмотреть в него и так далее.
Думаю, вам стал понятен смысл взаимодействия методов. Объекты объектно-ориентированного программирования в основном представляют собой усовершенствованные переменные, где серьезные изменения затронули по большей мере именно структуру переменных, лишь самым простым образом "втащив" в объекты так называемые методы, ранее бывшие обычными функциями и процедурами. Теперь наступило время серьезных изменений в методах объектов. Как мне кажется, как раз по этому пути пойдет разум-ориентированное программирование.