[El Scorpio]

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

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

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

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

[Oleg_SK]

Появился еще один вопрос: почему, если в классе есть виртуальные функции, компилятор автоматически не делает деструктор этого класса виртуальным? Интересно чем обосновывается такое поведение компилятора; трудно что-ли было это сделать???

[pva]

трудно что-ли было это сделать »

а трудно его виртуальным объявить?
мне вот больше нравится когда у интерфейса нет виртуального деструктора (ну не собираюсь я его через указатель разрушать)

[El Scorpio]

Oleg_SK, скорее всего, это недоработка конкретного компилятора

[pva]

Oleg_SK, скорее всего, это недоработка конкретного компилятора »

El Scorpio, Это не недоработка, это так и нужно (читайте RFC). Виртуальный деструктор должен быть объявлен специально. Чтобы он объявлялся автоматически, нужно чтобы он был объявлен виртуальным в одном из базовых классов.

Код:

class vA
{
  virtual ~vA() {clog << "vA::~vA()\n";}
};

class A
{
  ~A()  {clog << "A::~A()\n";}
}

class vB : public vA
{
  ~vB() {clog << "vB::~vB()\n";}
};

class B : public A
{
  ~B() {clog << "B::~B()\n";}
}

// испытываем:
vA* va = new vB();
delete  va;
// вызовет ~vB(), ~vA()

A* a = new B();
delete  a;
// вызовет ~A()