Что делать, если мы хотим обрабатывать коллекцию объектов класса Circle как коллекцию класса Shape, т.е. если действительно хотим, чтобы функция better() (представляющая собой вариант нашей старой знакомой функции draw_all(); реализовала полиморфизм? По существу, мы не можем этого сделать.
Также вам может показаться, что такая тема как http://vashaposuda.ru/ никак не связана и даже не тематична с программированием. Хотя, может быть и связана.
В любом случае все-таки зайдите на сайт vashaposuda.ru
Тема посуда там представлена весьма широко. На том сайте можно узнать много интересного на тему посуда
Что означает вообще тема посуда, где найти тему посуда - про это написано на сайте vashaposuda.ru
Это очень важная для многих людей тема - посуда Спасибо сайту vashaposuda.ru за информацию на тему посуда
Ранее было показано, что система типов имеет веские основания отказаться воспринимать тип vector как vector. По той же причине она отказывается принимать тип Array_ref как Array_ref. Если вы не помните, почему, то перечитайте ещё раз, поскольку данный момент очень важен, даже если это кажется неудобным.
Более того, для того чтобы сохранить динамический полиморфизм, мы должны манипулировать нашими полиморфными объектами с помощью указате
лей (или ссылок): точка в выражении a[i].draw() в функции better() противоречит этому требованию. Когда мы видим в этом выражении точку, а не стрелку (->), следует ожидать проблем с полиморфизмом
Что нам делать?
Во-первых, мы должны работать с указателями (или ссылками), а не с самими объектами, поэтому следует попытаться использовать классы Array_ ref, Array_ref и тому подобные, а не Array_ref, Array_ref и т.п.
Однако мы по-прежнему не можем конвертировать класс Array_ref в класс Array_ref, поскольку нам потом может потребоваться поместить в контейнер Array_ref элементы, которые не имеют типа Circle*. Правда, существует одна лазейка.
• Мы не хотим модифицировать наш объект класса Array_ref; мы просто хотим рисовать объекты класса Shape! Это интересный и совершенно особый случай: наш аргумент против преобразования типа Array_ref в Array_ref не относится к ситуациям, в которых мы не хотим модифицировать класс Array_ref.
• Все массивы указателей имеют одну и ту же схему (независимо от объектов, на которые они ссылаются), поэтому нас не должна волновать эта проблема.
Иначе говоря, не произойдет ничего плохого, если объект класса Array_ “1 ref будет интерпретироваться как неизменяемый объект класса Ar- ray_ref. Итак, нам достаточно просто найти способ это сделать. Рассмотрим пример.
Нет никаких логических препятствий интерпретировать данный массив указателей типа Circle* как неизменяемый массив указателей типа Shape* (из контейнера Array_ref).
Похоже, что мы забрели на территорию экспертов. Эта проблема очень сложная, и ее невозможно устранить с помощью рассмотренных ранее средств. Однако, устранив ее, мы можем предложить почти идеальную альтернативу дисфункциональному, но все еще весьма популярному интерфейсу (указатель плюс количество элементов;. Пожалуйста, запомните: никогда не заходите на территорию экспертов, просто чтобы продемонстрировать, какой вы умный. В большинстве случаев намного лучше найти библиотеку, которую некие эксперты уже спроектировали, реализовали и протестировали для вас. Во-первых, мы переделаем функцию better() так, чтобы она использовала указатели и гарантировала, что мы ничего не напутаем с аргументами контейнера.
void better2(const Array_ref a)
{
for (int i = 0; i
a[i]->draw();
}
Опубликовал katy
April 26 2015 08:42:46 ·
0 Комментариев ·
2384 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
