Навигация
Главная
Поиск
Форум
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
Реклама
Сейчас на сайте
Гостей: 45
На сайте нет зарегистрированных пользователей

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

Моделирование процесса поступления заявок в систему, состоящую из трёх Э...
Программа тестирования и обучающая программа по математике на Turbo Pasc...
Моделирование процесса обработки заданий пакетным режимом работы с квант...

Использование только виртуальных функций
Есть очень нетривиальный способ реализовать двойное переключение по типу с использованием только виртуальных функций. Как обычно, сначала реализуем мультиметоды для двух классов (листинг 10.10), а затем попытаемся добавить третий. Основная идея состоит в том, чтобы реализовать двойную диспетчеризацию как две одиночные, выполняемые последовательно; первый виртуальный вызов определяет динамический тип первого объекта, а второй — второго объекта.

Листинг 10.10. Мультиметоды — только виртуальные функции
// предварительное объявление наследников class Derived_a; class Derived_b; class Derived_c; // абстрактный базовый класс class Base { public: virtual ~Base()=0;
virtual bool Operator(const Base &R)const = 0; virtual bool Operator(const Derived_a &R)const = 0; virtual bool Operator(const Derived_b &R)const = 0;
};
Base::~Base(){}
// определение классов-наследников class Derived_a: public Base { public:
virtual bool 0perator(const Base &R) const
{ return R.Operator(*this); }; // перенаправление виртуальности virtual bool Operator(const Derived_a &R)const { cout << "A-A" << endl; return true; } virtual bool Operator(const Derived_b &R)const { cout << "A-B" << endl; return true; }
};
class Derived_b: public Base { public:
virtual bool Operator(const Base &R)const
{ return R.Operator(*this); }; // перенаправление виртуальности virtual bool Operator(const Derived_a &R)const { cout << "B-A" << endl; return true; } virtual bool Operator (const Derived_b &R)const { cout << "B-B" << endl; return true; }
};



Обратите внимание на реализацию первой функции, которая абсолютно одинакова в обоих классах, — именно она реализует двойное переключение по типу:
virtual bool Operator(const Base &R) const { return R.Operator(*this); };
Чтобы было понятно, где и как она работает, рассмотрим фрагмент программы:
Derived_a A; Derived__b В; // нет необходимости в виртуальности
cout << A.Operator(А) << endl;
cout << A.Operator(В) << endl;
cout << В.Operator(А) << endl;
cout << В.Operator(В) << endl;
Base &D = A;
cout << A.Operator(D) << endl; // работают 2 виртуальных вызова
cout << В.Operator(D) << endl; // работают 2 виртуальных вызова

cout << D.Operator(D) << endl; cout << D.Operator(A) << endl; cout << D.Operator(B) << endl;
// работают 2 виртуальных вызова // работает 1 виртуальный вызов // работает 1 виртуальный вызов




В первых четырех вызовах нет необходимости в двойной диспетчеризации, так как нет подстановки ссылки на наследника вместо ссылки на базовый класс — вызываются сразу нужные функции. Эти функции и выводят на экран строки, соответствующие типам операндов:
А-А А-В В-А В-В



Следующие три вызова как раз и выполняют двойную диспетчеризацию. В первом варианте мы сначала попадаем в первый метод класса Derived_a, так как тип левого аргумента именно этот. При этом на место параметра-ссылки R подставляется фактический аргумент-ссылка D, инициализированный ссылкой А типа Deri ved__a, а *thi s внутри метода статически имеет тип Deri ved_a. Таким образом, вызов превращается в A. Operator (А), и на экран выводится строка «А-А». Второй вариант вызова сначала приводит нас к первой функции класса В, так как левый аргумент вызова имеет тип Deri ved_b. Снова на место ссылки R подставляется ссылка D, инициализированная ссылкой типа Derived_a. Однако мы находимся внутри класса Derived_b, поэтому * thi s имеет тип Derived_b и вызов превращается в A.Operator(B), что мы и наблюдаем при выводе на экран строки «А-В». В третьем случае сначала виртуализируется левый аргумент, и вызов направляется в класс Der i ved_a, а дальше процесс продолжается по первому варианту, и на экран выводится строка «А-А».
Четвертый виртуальный вызов превращается в А. Operator (А), а пятый — в А. Operator (В). Виртуальность работает только один раз — для левого аргумента.
Теперь проделаем то же самое с указателями:

Base *рА = new Derived_a(); Base *рВ = new Derived_b(); cout << pA->Operator(*pA) << endl; cout << pA->Operator(*pB) << endl; cout << pB->Operator(*pA) << endl; cout << pB->Operator(*pB) << endl;



Первый вариант, естественно, сначала приводит нас в первый метод класса De-r i ved_a, который вызывает второй метод того же класса с аргументом того же типа. Второй вызов тоже сначала сопоставляется с первым методом класса De-rived_a, но поскольку в этом случае на место R поставляется ссылка на объект типа Deri ved_b, a *thi s имеет тип Deri ved_a, то вызывается метод с прототипом
virtual bool Operator(const Derived_a &R) const;



На экране, естественно, получаем строку «В-А». Третий и четвертые варианты, естественно, первый вызов осуществляют из класса Deri ved_b, а второй — в соответствии с аргументом * thi s.
Таким образом, методы с параметром типа Base осуществляют то самое двойное переключение по типу.

Этот способ реализации мультиметодов имеет довольно значительные преимущества по сравнению с предыдущим. Во-первых, нет необходимости генерировать исключение при неправильных типах аргументов, поскольку все проверки осуществляет компилятор. Во-вторых, обратите внимание на значительное упрощение текста методов — реализуется только фактически необходимая работа без всяких лишних проверок.
Опубликовал Kest December 04 2013 17:09:41 · 0 Комментариев · 3094 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
Запрет гостям ск...
Форма в форме
IPAddresseEdit
Rss Parser
ProLIB18
Программа предназ...
Учебник по создан...
ZipTV
SMLPack v1.0
Pirc
XPcontrol
Конвертирование и...
32 урока по Delphi
DateEdit
PHP 5. Полное рук...
ScrollCredit
CoolControls v3.0...
Создание Web-сайт...
Converter AMR<->W...
MiniTetris [Исход...

Топ загрузок
Приложение Клие... 100777
Delphi 7 Enterp... 97893
Converter AMR<-... 20279
GPSS World Stud... 17028
Borland C++Buil... 14203
Borland Delphi ... 10319
Turbo Pascal fo... 7379
Калькулятор [Ис... 6043
Visual Studio 2... 5211
Microsoft SQL S... 3663
Случайные статьи
Как играть в казин...
Просеивание элемен...
Нынешнее положение...
клиент/сервер с кл...
Команда Create Tab...
Illegal assignment
Дазо4
Circular unit refe...
Клуб вулкан — подк...
Подключения к друг...
Язык С: операции н...
Реализация механиз...
Процедура Ваr3D - ...
Методы оптимизации...
Инвертирование мас...
«Бегун» про контек...
Определение параме...
Задание полей стра...
Разрешение фотогра...
Установка и настро...
Разборка приставки...
Официальный сайт J...
Гарантирует, что п...
NIL expected
Песочные часы с вы...
Статистика



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


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