Я не понимаю, почему указатели не являются полиморфными типами, поскольку мы можем использовать указатели базового класса, которые указывают на производные классы, для вызова виртуальной функции производного класса. Это говорит о том, что во время выполнения система может определить, является ли указатель полиморфным, не так ли?

(Это дополнительный вопрос отtypeid для полиморфных типов)