[El Scorpio]

напомню, что в этом массиве есть и элементы с типом C, в котором данный метод объявлен как приватный. »

Ну и что? Указатели всё равно ведь тип А имеют,*а там метод объявлен публичным.
Права доступа к элементам класса проверяются на этапе компиляции, а в процессе выполнения просто происходит только обращение к элементу таблицы виртуальных функций. Если туда будет добавляться ещё и код проверки прав доступа, то программы будут работать ооочень медленно

Это вообще нормально? »

Поведение программы - нормальное. Ненормален здесь эксперимент