Прежде чем приступить к анализу реализации модуля с классом списков, обратимся к вопросу эквивалентности двух объектов. На первый взгляд вопрос тривиальный. Попробуем, однако, рассмотреть конкретный пример.
Пусть объектами обработки являются книги. Что означает равенство двух книг? Можно сказать, что эквивалентны между собой книги одинакового содержания. Это неплохое определение с точки зрения обычного использования. Но вот вы потеряли книгу из библиотеки, и вам предлагают сделать замену. Очевидно, в этом случае критерий равенства более широк: новая книга должна быть актуальной и соответствовать утерянной по цене и объему. Возникает и обратная ситуация, если книгу вам подарил любимый человек, то никакая замена не возможна, вас интересует лишь этот единственный экземпляр.
Таким образом, тривиальность вопроса кажущаяся. Существует много смыслов в которых устанавливается эквивалентность величин. Наиболее широкое понимание эквивалентности в программировании соответствует равенству величин, возможно с приведением типов. Так в Pascal сравниваются целые и вещественные переменные.
Более узкому пониманию эквивалентности соответствует равенство типов и значений двух величин. При работе с АТД часто применяется самый узкий тип эквивалентности, в котором каждый объект эквивалентен только себе. Практически, такая эквивалентность устанавливается по адресу в памяти ЭВМ, т.е. эквивалентными считаются лишь объекты имеющие один и тот же адрес. Существенно, что эквивалентность в этом смысле сохраняется на протяжении всего времени существования, в то время как физически разделенные объекты могут изменяться независимо в процессе работы программы и, будучи эквивалентными в один момент времени, окажутся различными в другой.
Именно физическая эквивалентность принята в классе TRList. В методе Insert указатель before должен равняться указателю на информационную часть в одном из элементов списка, а вставлена будет не копия информации, а ссылка именно на тот объект, который передан как параметр v. Это же относится к методу удаления элемента Delete. Удаление будет выполнено только в том случае, если параметр v физически указывает на информацию содержащуюся в списке.
Говорят, что такая схема соответствует “ссылочной семантике” в отличие от “семантики значения”. Ссылочная семантика позволяет включать и удалять из списка пункты с равной информационной частью в расширенном понимании эквивалентности.
Ссылки на объекты непосредственно заложены в Delphi, но часто необходимо создавать копии объектов. Для этого класс TInfo имеет метод Copy, который создает объект эквивалентный оригиналу в смысле значения. Разработчик метода сам должен определить, что понимается под эквивалентностью, поэтому Copy объявлен как виртуальный.
Опубликовал Kest
June 21 2011 13:43:02 ·
0 Комментариев ·
7649 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
