Более того, для того чтобы сохранить динамический полиморфизм, мы должны манипулировать нашими полиморфными объектами с помощью указателей (или ссылок): точка в выражении в функции противоречит этому требованию. Когда мы видим в этом выражении точку, а не стрелку (), следует ожидать проблем с полиморфизмом

Что нам делать? Во-первых, мы должны работать с указателями (или ссылками), а не с самими объектами, поэтому следует попытаться использовать классы

, и тому подобные, а не , и т.п.

Однако мы по-прежнему не можем конвертировать класс

в класс , поскольку нам потом может потребоваться поместить в контейнер элементы, которые не имеют типа . Правда, существует одна лазейка.

• Мы не хотим модифицировать наш объект класса

; мы просто хотим рисовать объекты класса ! Это интересный и совершенно особый случай: наш аргумент против преобразования типа в не относится к ситуациям, в которых мы не хотим модифицировать класс .

• Все массивы указателей имеют одну и ту же схему (независимо от объектов, на которые они ссылаются), поэтому нас не должна волновать проблема, упомянутая в разделе 25.4.2.

Иначе говоря, не произойдет ничего плохого, если объект класса будет интерпретироваться как неизменяемый объект класса . Итак, нам достаточно просто найти способ это сделать. Рассмотрим пример

< image l:href="#"/>

Нет никаких логических препятствий интерпретировать данный массив указателей типа

как неизменяемый массив указателей типа (из контейнера ).

Похоже, что мы забрели на территорию экспертов. Эта проблема очень сложная, и ее невозможно устранить с помощью рассмотренных ранее средств. Однако, устранив ее, мы можем предложить почти идеальную альтернативу дисфункциональному, но все еще весьма популярному интерфейсу (указатель плюс количество элементов; см. раздел 25.4.2). Пожалуйста, запомните: никогда не заходите на территорию экспертов, просто чтобы продемонстрировать, какой вы умный. В большинстве случаев намного лучше найти библиотеку, которую некие эксперты уже спроектировали, реализовали и протестировали для вас. Во-первых, мы переделаем функцию так, чтобы она использовала указатели и гарантировала, что мы ничего не напутаем с аргументами контейнера.

Теперь мы работаем с указателями, поэтому должны предусмотреть проверку нулевого показателя. Для того чтобы гарантировать, что функция

не модифицирует наш массив и векторы находятся под защитой контейнера , мы добавили несколько квалификаторов . Первый квалификатор гарантирует, что мы не применим к объекту класса модифицирующие операции, такие как и . Второй квалификатор размещен после звездочки (). Это значит, что мы хотим иметь константный указатель (а не указатель на константы); иначе говоря, мы не хотим модифицировать указатели на элементы, даже если у нас есть операции, позволяющие это сделать.

Далее, мы должны устранить главную проблему: как выразить идею, что объект класса

можно конвертировать

• в нечто подобное объекту класса

(который можно использовать в функции );

• но только если объект класса

является неизменяемым.

Это можно сделать, добавив в класс

оператор преобразования.

Это похоже на головоломку, но все же перечислим ее основные моменты.

• Оператор приводит каждый тип

к типу , при условии, что мы можем преобразовать каждый элемент контейнера в элемент контейнера (мы не используем результат этого приведения, а только проверяем, что такое приведение возможно).