asQualifiedReference — когда посылается строке или символу, возвращает связанную ссылку.

Вместо выражения Smalltalk at: stringOrSymbol следует использовать выражение stringOrSymbol asQualifiedReference value.

6.7.Определение переменной класса

Чтобы определить переменную класса нужно:

1)В браузере системы, выбрать класс, который будет служить как пространство имён для переменной, и выбрать страницу Shared Variable.

2)Выбрать, если существуют, или добавить и выбрать, категорию для новой разделяемой переменной, в панели категорий методов и переменных (команда New из всплывающего меню этой панели). После добавления первой категории переменных класса, вид текстовой панели кода меняется: в правой части этой панели появляется окно инспектора для значения переменной класса. B уменьшившейся текстовой панели кода отобразится шаблон для определения разделяемой переменной:

MySmalltalkNameSpace.MyFirstClass defineShared: #NameOfBinding private: false

constant: false

category: ’category description’ initializer: ’Array new: 5’

3) В шаблоне следует:

•Заменить #NameOfBinding системным именем, определяющим имя разделяемой переменной (например, #MySharedObject).

•Установить значение поля private: равным true, чтобы сделать переменную частной, или оставить значение поля равным false.

Рис. 6.7: Определение категории переменных класса.

•Установить значение поля constant: равным true:, если значение переменной не должно изменяться; иначе, оставить значение поля равным false.

•Ввести выражение для инициализации значения разделяемой переменной в виде строки в поле initializer:, или ввести nil.

4) Выбрать команду меню Edit → Accept системного браузера или команду Accept из всплывающего меню текстовой панели, чтобы сохранить определение и создать переменную класса. Новая разделяемая переменная будет добавлена в список переменных класса, а её имя появится в панели методов и переменных. После этого данная переменная станет доступной в браузере на странице Shared variables.

6.8.Определение переменных в пространстве имён

Как было сказано ранее, в уже существующем пространстве имён можно определить разделяемую переменную, значением которой будет новое пространство имён (см. раздел 6.5) или класс (см. раздел 6.6).

Но можно определить в пространстве имён разделяемую переменную, значением которой будет некоторый объект, отличный от класса и пространства имён. Именно такие переменные в бра-

узерах обозначаются указанной специальной иконкой.

Рис. 6.8: Окно определения переменной в пространстве имён.

Чтобы определить такую переменную, следует выбрать пространство имён, затем страницу Shared Variable. . . и далее действовать точно также, как и при определении переменной класса (см. раздел 6.7). Того же результата можно добиться, если сначала выбрать команду меню Class → New → Shared Variable. . . системного браузера или команду New → Shared Variable. . . всплывающего меню панели классов и пространств имён, а затем в возникающем диалоговом окне ввести всю информацию, необходимую для определения разделяемой переменной (см. раздел 6.7).

6.9. Работа с экземплярами

Смолтоковские объекты или, по-другому экземпляры, обычно создаются при посылке классу сообщений new или new:, возможно в совокупности с дополнительными сообщениями. Сообщения new и new: определены в классе Behavior и наследуются всеми классами.

Уничтожать экземпляры явно не требуется, поскольку VisualWorks, как и любая смолтоковская среда, использует автоматическую сборку мусора. Когда на объект больше не указывают другие объекты (на объект нет ссылок, слабые ссылки не в счёт), система отмечает его как не нужный, и автоматически уничтожает, освобождая память и ресурсы.

В некоторых случаях, например тогда, когда объект использует внешние ресурсы, простой сборки мусора оказывается не достаточно. В этих случаях, используется механизм VisualWorks, называемый завершением (finalization) (см. [9, Chapter 18, Weak Reference and Finalization]).

И в Смолтоке может возникать «утечка памяти», вызванная теми экземплярами, которые не освободили ресурсы и не были собранны как мусор. Чтобы найти их, следует отыскать необычное использование памяти. Для этого можно загрузить в систему пакет AT System Analysis и открыть окно инструмента Class Reporter, выбирая в основном окне системы команду Tools → Advanced → Class reports. На странице Space

выбрать в левой нижней панели подозрительный класс, выбрать радиокнопку Instance size и нажать кнопку Run. Если выполнить эту операцию с используемым образом и с чистым образом, можно выделить классы с возможным мусором. Затем нужно послать классу сообщение allInstances и на результате открыть окно инспектора. Используя команду Inspect Reference Path из меню Object инспектора (она станет доступной, если загрузить парсел All Advanced Tools), отследить снизу вверх содержащие объект корневые структуры. Потенциально опасны корни

•Object classPool at: #DependentsFields

•Object classPool at: #EventHandlers

•ObjectMemory dependents

•sysOopRegistry

Неизменяемые объекты

Некоторые объекты являются неизменяемыми, то есть их внутреннее состояние нельзя изменить. В VisualWorks 7.4.1 все литеральные объекты, экземпляры классов SmallInteger, Character, Symbol и общие экземпляры класса Number являются неизменяемыми. Кроме того, появилась возможность сделать конкретный объект неизменяемым. И, наоборот, исключая экземпляры классов SmallInteger, Character, Symbol, неизменяемые объекты можно сделать изменяемыми.

Попытка внести изменения в неизменяемый объект (например, сообщением become:) или изменить класс такого объекта поднимет исключение NoModificationError. Ответная реакция на такие изменения может быть весьма разнообразной.

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

” writeStream nextPutAll: ’abc’

поскольку пустая строка создана литерально (”) и не изменяема, но следующие два сообщения будут успешно выполнены:

” copy writeStream nextPutAll: ’abc’ String new writeStream nextPutAll: ’abc’

Для тестирования и управления неизменяемыми объектами можно использовать сообщения из протокола testing класса Object:

asImmutableLiteral — возвращает приемник как неизменяемый литерал, если он может быть так представлен.

beImmutable — делает приемник неизменяемым.

beMutable — делает приемник изменяемым, если он не является экземпляром классов Character, SmallInteger, Symbol.

isImmutable — возвращает true, если приемник неизменяем; иначе возвращает false.

isImmutable: aBoolean — делает приемник неизменяемым, если аргумент aBoolean — true, или изменяемым, если в качестве аргумента стоит false) (данное сообщенеие не может посылаться неизменяемым объектам).

isImmutableLiteral Возвращает true, если приемник неизменяемый литерал; иначе возвращает false.

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

Два экземпляра одного и того же класса, неотличимы друг от друга, но имеют разное поведение! С некоторой натяжкой c нововведением можно было бы согласиться, если бы последнее выражение возвращало