mischa897,

В процедурке ожидается тип P. В list как раз они и хранятся. Ничего преобразовывать не надо.

А уже в самой процедурке можно проверить тип объекта, и преобразовать P в A.




Наоборот преобразовать не выйдет. Ведь в классе-наследнике могут быть добавлены новые поля, новый функционал, а память выделяется под тип класса-предка.

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


PS. Таких функций, с проверкой внутри них типа передаваемого объекта, можно избежать, при желании. Создайте виртуальную функцию f в классе P, и переопределите ее в классе A. После чего можете свободно заполнять список List<P> list объектами обоего типа, и просто вызывать метод f в цикле, тогда не придется делать проверки на тип, а каждый объект будет вызывать свою виртуальную функцию.

Могу порекомендовать почитать http://www.ozon.ru/context/detail/id/1308678/
Раздел 3, "Операторы типа switch"