Программирование на языке Ruby - Страница 19

Таким способом мы достигаем желаемого результата, но условие вычисляется только один раз. Когда программа вызовет метод

, он уже будет правильно определен.

1.4.2. Отражение

В языках Smalltalk, LISP и Java реализована (с разной степенью полноты) идея рефлексивного программирования — активная среда может опрашивать структуру объектов и расширять либо модифицировать их во время выполнения.

В языке Ruby имеется развитая поддержка отражения, но все же он не заходит так далеко, как Smalltalk, где даже управляющие конструкции являются объектами. В Ruby управляющие конструкции и блоки не представляют собой объекты. (Объект

можно использовать для того, чтобы представить блок в виде объекта, но управляющие конструкции объектами не бывают никогда.)

Для определения того, используется ли идентификатор с данным именем, служит ключевое слово

(обратите внимание на вопросительный знак в конце слова):

Аналогично метод

выясняет, может ли объект отвечать на вызов указанного метода (то есть определен ли данный метод для данного объекта). Метод определен в классе .

В Ruby запрос информации о типе во время выполнения поддерживается очень полно. Тип или класс объекта можно определить, воспользовавшись методом

(из класса ). Метод сообщает, принадлежит ли объект некоторому классу (включая и его суперклассы); синонимом служит имя . Например:

Можно получить полный список всех методов, которые можно вызвать для данного объекта. Для этого предназначен метод

из класса . Имеются также его варианты , и т.д.

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

имеется метод , позволяющий получить список всех констант, определенных в модуле.

В классе

есть метод , возвращающий список модулей, включенных в данный модуль. В этот список входит и сам данный модуль, то есть список, возвращаемый вызовом , содержит по крайней мере элемент . В этот список входят не только родительские классы (отобранные в силу наследования), но и «родительские» модули (отобранные в силу включения).

В классе

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

Модуль

применяется для получения доступа к любому «живому» объекту. Метод преобразует идентификатор объекта в ссылку на него; можно считать, что это операция, обратная той, что выполняет двоеточие в начале имени. В модуле есть также итератор , который перебирает все существующие в данный момент объекты, включая и те, о которых иным образом узнать невозможно. (Напомним, что некоторые неизменяемые объекты небольшого размера, например принадлежащие классам , , и , не хранятся в куче из соображений оптимизации.)

1.4.3. Отсутствующие методы

При вызове метода (

) Ruby ищет поименованный метод в следующем порядке:

1. Синглетные методы, определенные для объекта

.

2. Методы, определенные в классе объекта

.

3. Методы, определенные в предках класса объекта

.

Если найти метод

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

1.4.4 Сборка мусора

Управлять памятью на низком уровне трудно и чревато ошибками, особенно в таком динамичном окружении, какое создает Ruby. Наличие механизма сборки мусора — весомое преимущество. В таких языках, как C++, за выделение и освобождение памяти отвечает программист. В более поздних языках, например Java, память освобождается сборщиком мусора (когда объект покидает область видимости).