Здравствуйте, rus-k, Вы писали:

R>>Иначе ты просишь абсолютно невозможного. Вот ещё один хороший пример, помимо того, который я привёл в соседней ветке:
RK>Пример действительно жестяной

RK>Однако, с функциями прокатывает.

Я извиняюсь, но это бред. Оно ни с чем не может прокатывать.
Скорее всего ты просто с функциями пробуешь совершенно другой пример, например вызываешь из функции базового класса функцию производного класса. Это будет прекрасно работать и для типов — в функции базового типа ты можешь создать локальную переменную типа derived_t::X.

RK>К тому же в VC++ есть вот такая штука: http://msdn.microsoft.com/en-us/library/x7wy9xh3(VS.80).aspx.

И?