No entiendo por qué los punteros no son tipos polimórficos, ya que podemos usar punteros de clase base, que apuntan a clases derivadas, para llamar a la función virtual de la clase derivada. Esto sugiere que en el tiempo de ejecución, el sistema puede determinar si un puntero es polimórfico, ¿no es así?

(Esta es una pregunta de seguimiento deTipografía para tipos polimórficos)