Задачка N5 Опции

[LuckLess]

встретил тут прикольный код..
АХТУНГ - КОМПИЛИРУЕМ МОЗГОМ!

class A
   {
   public:
      virtual ~A(){}
   };

class B : public A 
   {
   };

class C :  public A
   {
   };

class D : public B, public C
   {
   };

void f()
   {
   throw D();
   }

int main()
   {
   try
      {
      f();
      }
   catch(const A& a)
      {
      std::cout << "Catched " << typeid(a).name() << " as A" << std::endl;
      }
   catch(const B& b)
      {
      std::cout << "Catched " << typeid(b).name() << " as B" << std::endl;
      }
   }

что будет?

[Andrew Selivanov]

archimed7592, думаю тут в другом дело...

Хде слон, которого я не приметил?
P.S. Проверил на студии: "as B"... МинЖВ под рукой нет.
Но больше всего порадовало, как студия перед тем как выдать "as B" выдала warning со словами, мол catch B const & перекрыт первым catch'ем, который const A &

mingw был того же мнения...
..\src\test.cpp: In function `int main()':
..\src\test.cpp:36: warning: exception of type `B' will be caught
..\src\test.cpp:32: warning: by earlier handler for `A'

Кто нибудь четко сформулировать ответ может? Мне на ум пришел вариант "Плюнул так как не смог выбрать один из двух экземпляров A".
Наверное можно использовать как пример виртуального наследования:

class B : virtual public A 
   {
   };

class C : virtual public A
   {
   };

Вот так будет более ожидаемый результат