Автоматическое приведение типа указателя, С++ Опции

[Tony]

Доброго всем времени суток.

Имеется такой код:

class CBase
{
public:
  virtual void MyVoid()=0;  
};

class CDerv1 : public CBase
{
  ...
};

class CDerv2 : public CBase
{
  ...
};

...

т.е. есть некий базовый абстрактный класс, у которого много наследников.

Далее происходит вот что:

CBase *pBase = new CDerv1;

Вопрос : очевидно, например с помощью typeid мы можем узнать тип объекта, на который на самом деле указывает pBase. Существует ли простой способ автоматически преобразовать pBase из типа CBase* в тип того объекта, на который он на самом деле указывает (в данном случае в CDerv1*)?

[Tony]

Да, ваш вопрос логичен. Но это видимо из-за того, что я слишком все упростил)

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

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

Сообщение отредактировано: Tony - 10.08.2010 20:23