title: typeid for polymorphic pointers?
body: <p>I don't understand why pointers aren't polymorphic types, since we can use base class pointers, which are pointing to derived classes, to call derived class' virtual function. This suggests at runtime, the system can determine if a pointer is polymorphic, doesn't it?</p>
  
  <p>(This is a follow-up question from <a href="https://stackoverflow.com/questions/4202877/typeid-for-polymorphic-types">typeid for polymorphic types</a>)</p>