Eu não entendo porque os ponteiros não são tipos polimórficos, já que podemos usar ponteiros de classe base, que estão apontando para classes derivadas, para chamar a função virtual da classe derivada. Isto sugere em tempo de execução, o sistema pode determinar se um ponteiro é polimórfico, não é?

(Esta é uma pergunta de acompanhamentotypeid para tipos polimórficos)