Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
21 ошибка прогр... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
ТЕХНОЛОГИИ ДОСТ... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Имитационное мо... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Реклама
Сейчас на сайте
Гостей: 6
На сайте нет зарегистрированных пользователей

Пользователей: 13,372
новичок: vausoz
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

Моделирование литейного цеха на GPSS + Пояснительная записка
Программа тестирования и обучающая программа по математике на Turbo Pasc...
Игра Sokoban на Delphi + Блок схемы

ПОЛИМОРФИЗМ, СТАТИЧЕСКИЕ И ВИРТУАЛЬНЫЕ МЕТОДЫ


Попробуем доработать класс TCircle, так чтобы его объекты могли сообщать о своей длине окружности и площади. Еще в школьном курсе геометрии вы привыкли называть длину окружности длиной, а не периметром, но длина уже есть у отрезка. Неужели, чтобы избежать конфликта имен, придется называть это свойство как–то иначе? Нет. При работе с объектом всегда указывается имя объекта, а затем, через точку, имя метода или свойства. Поскольку тип объекта известен, компилятор всегда понимает какую именно подпрограмму вызвать. Таким образом объявление
ПОЛИМОРФИЗМ, СТАТИЧЕСКИЕ И ВИРТУАЛЬНЫЕ МЕТОДЫ
вполне законно. Разумеется, новые методы необходимо определить в разделе implementation.
Возможность давать одинаковые имена схожим свойствам и действиям весьма важна при разработке больших программ. Без неё пришлось бы придумывать синонимы, префиксы или вводить в имена мелкие отличия, что существенно затруднило бы их использование. Это одно из явлений, получивших общее название полиморфизм. Использование одного имени для обозначения разных действий называется “простым” полморфизмом.
Чтобы познакомиться с другими случаям полиморфизма, обогатим иерархию наших классов. С этой целью добавим еще один тип — эллипс:

Как известно, эллипс может быть получен проекцией окружности на наклонную плоскость. Здесь ф задает угол между плоскостями, а Х — направление линии пересечения этих плоскостей. Таким образом, если окружность дается множеством точек с координатами
эллипс
то эллипс

и в нашем определении эллипсэто наклоненная окружность.
Обратите внимание на то, что методы Length и Square уже были у класса–предка TCircle. Чтобы переопределить их для TEllipse, методы необходимо повторно указать в объявлении класса и, разумеется, переопределить в разделе реализации, добавив к именам имя класса (TEllipse.Length и TEllipse.Square).
Рассмотрим демонстрационную программу.

Обратите внимание, что переменной c, которая имеет тип TCircle, присваивается то ссылка на окружность, то ссылка на эллипс. Это разрешено, поскольку в результате наследования возникло определение: “Эллипс — это окружность …”.
Почему же возникла ошибка? Дело в том, что объявленные нами методы являются статическими, т.е. адреса конкретных функций были вычислены ещё на шаге компиляции по типу переменной c. Обращение к статическим методам мало чем отличается от обращения к обычным процедурам и функциям.
Подобная ситуация не выдумана, а довольно часто возникает на практике. Причиной тому наследование. Объекты более общего класса могут являться и объектами подкласса. Таким образом, выяснить точный класс объекта еще во время компиляции невозможно, тогда как для вызова статических методов это необходимо, поскольку методы подклассов могут отличаться. ООП предоставляет механизм для решения таких проблем — виртуальные методы.
Чтобы объявить метод виртуальным, необходимо в наиболее общем классе, где этот метод был введен, поставить после него ключевое слово virtual, а во всех классах–наследниках, в которых этот метод отличается от унаследованного, его объявление нужно повторить безо всяких изменений, но ставить после него ключевое слово override.

При реализации методов дескрипторы virtual и override опускаются. Теперь пробная программа будет работать правильно. Для каждого объекта будет вызван его собственный метод.
Вот как это происходит. Помните замечание, что один из ключевых моментов в ООП — создание объектов. Так вот, в процессе создания объекта в него включается указатель на таблицу виртуальных методов (VMT) его класса . Каждый класс имеет собственную таблицу таких методов. Встретив c.Square, компилятор знал, что имеет дело с виртуальным методом. Вместо обращения к функции TCircle.Square он вставил процедуру поиска нужной функции в таблице виртуальных методов. Таким образом, программа сначала обратится к указателю на VMT, это будет таблица в точности того класса к которому принадлежит объект. В таблице содержится указатель на метод Square нужного класса, и именно он будет вызван.
Этот великолепный механизм, который опытные программисты создавали ранее каждый на свой лад, стал одним из серьёзных козырей ООП. В литературе такая схема вызова часто называется поздним связыванием, т.е. выбор адреса конкретной процедуры выполняется уже в процессе работы программы. Полиморфизм связанный с поздним связыванием часто называется “чистым” полиморфизмом.
В качестве еще одной иллюстрации рассмотрим деструктор Destroy. Допустим, вы создали список разнородных объектов. В списке содержатся лишь указатели типа TObject, но указывают они на различных потомков этого класса.
Что делать, когда придет время удалять список? Нужно применить Destroy к каждому ненулевому указателю, а затем освободить и память выделенную под список. Загвоздка в том, что Destroy для каждого класса свой. Какой же из методов будет работать? Опять всегда правильный! Именно для этого сам метод объявлен как virtual, а при его переопределении мы всегда ставим override.
Несколько примеров виртуальных методов приводится в главе посвященной ООПроектрованию.

Предостережение. Если при переопределении виртуального метода вы забудете указать дескриптор override, то ни какой диагностики не последует. Просто ваш метод перестанет быть виртуальным, произойдет обыкновенное перекрытие. Будьте внимательны, ибо обнаружить такую ошибку не просто.
При изучении Delphi вы столкнетесь еще с одним дескриптором — abstract. Abstract означает, что метод только указывает, какими должны быть методы потомков, т.е. определяет интерфейс. Он не имеет реализации и обращаться к нему до появления классов с конкретизацией метода нельзя .
Опубликовал Kest June 14 2011 10:41:41 · 0 Комментариев · 10303 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
Matrix2D
TelBook
Упорядоченный дин...
INSTANT BOOSTER v...
Программа предназ...
Профессиональное ...
Фундаментальные а...
Создание меню на ...
Java 2. Наиболее ...
Пример работы с ф...
С# для профессион...
Карта сайта
Измерение тактово...
PDJPack
TmxOutlookBarPro
Создание лабиринт...
Трассировка прово...
Игра змейка
Андрей Боровский....
Ics

Топ загрузок
Приложение Клие... 100779
Delphi 7 Enterp... 97925
Converter AMR<-... 20283
GPSS World Stud... 17034
Borland C++Buil... 14206
Borland Delphi ... 10327
Turbo Pascal fo... 7380
Калькулятор [Ис... 6047
Visual Studio 2... 5213
Microsoft SQL S... 3666
Случайные статьи
Замечание по повод...
Протокол BiSync от...
АНТИПАТТЕРН: ЗАДАН...
Функции обработки ...
Как заработать на ...
1. Пропускная спос...
Умение рассказыват...
"Недокументированн...
1.3. Схема алгорит...
Оказывается, в Инт...
Операторы прерыван...
Контекстно-свободн...
Программирование д...
Разрешение маршрут...
Также необходимо з...
ТО or DOWNTO expected
Абстрактные классы
Ограничение объясн...
Логическая задача ...
Настройка зон безо...
Компоненты доступа...
Синхронизация
No inherited metho...
• FTP-серверы
Протокол анонсиров...
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?