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

Виртуальный доступ к функциям может приводить к безопасному приведению типов, потому что механизм виртуальных функций обеспечивает полиморфизм. natalia.appmat.ru Если некоторый класс содержит виртуальную функцию, а производный от него класс содержит функцию с тем же именем и типами формальных параметров, то обращение к этой функции для объекта производного класса вызывает функцию, определённую именно в производном классе. natalia.appmat.ru

Это позволяет использовать оператор приведения dynamiccast для безопасного приведения из виртуального полиморфного (то есть содержащего виртуальные функции) базового класса к производному, чего обычным приведением сделать нельзя. al.cs.msu.ru Способность dynamiccast приводить полиморфные типы обеспечивается системой RTTI (Run-Time Type Identification), которая позволяет идентифицировать тип объекта в процессе выполнения программы. habr.com