Smalltalk в примерах/Основы: различия между версиями

Следующий возникающий вопрос как наша УпорядоченнаяСовокупность создаётся. Как-никак она не появляется с помощью магии. Ответ состоит в том что мы просим <i>класс</i> УпорядоченнаяСовокупность создать два <i>экземпляра</i> УпорядоченнойСовокупности. Следующий код показывает как создаются, и присваиваются переменным, два экземпляра УпорядоченнойСовокупности (:= это оператор присвоения).

 

 

Таким образом наряду с тем что класс хранилище для кода он ещё является фабрикой создающей экземпляры себя. Точно так же как автомобильный завод производит машины фабрика (класс) УпорядоченнаяСовокупность производит УпорядоченныеСовокупности. Фабрика содержит проект для создания объектов, и шаблон на который похож объект - для данных содержащихся в нём.

Если вы не писали код для СортированойСовокупности, она должна наследовать всё что написано для УпорядоченнойСовокупности. Фактически, если вы не изменили некоторое поведение, совсем не имеет смысла создавать новый класс. К счастью, СортированаяСовокупность имеет некоторые отличия в поведении. Есть два типа различий в поведении. Первое, некоторые сообщения должны делать различные вещи. Например, отправка сообщения <tt>добавить:</tt> должна добавить объект в конец УпорядоченнойСовокупности, но в случае СортированойСовокупности объект надо добавить в позицию основанную на правиле сортировки для совокупности. Если мы сделаем:

 

 

и рассмотрим совокупность, строки должны быть в следующем порядке 'xyz', 'def', 'abc', в порядке в котором мы добавили их. С другой стороны, если мы сделаем:

 

 

и рассмотрим совокупность, строки будут в следующем порядке 'abc', 'def', 'xyz', в правильной отсортированной последовательности для строк. Таким образом, в СортированойСовокупности мы не должны наследовать код суперкласса для <tt>добавить:</tt>. Вместо этого мы пишем свой собственный код для метода <tt>добавить:</tt> и подменяем код определённый в УпорядоченнойСовокупности.

Это означает что вы можете использовать совокупность и не заботиться о том какого она типа; вы просто посылаете сообщение <tt>добавить:</tt> и она добавляет объект в себя правильным образом. Другим примером может быть окно которое показывает графические объекты. Вместо того чтобы знать о том как изображать окружность и квадрат, окно должно просто послать сообщение графическому объекту ( например: <tt>графическийОбъект изобразиСебяНа: сам</tt>). графическийОбъект может быть квадратом или окружностью, но для окна это не важно. Оно просто посылает одинаковые сообщения независимо от типа объекта, и полагает что графическийОбъект знает как изобразить себя. На процедурном языке вы можете написать приблизительно так:

 

 

Используя полиморфизм, вы можете просто написать: