Задачка 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;
      }
   }

что будет?

[ViGOur]

По идее должен отработать:

catch(const B& b)
{
      std::cout << "Catched " << typeid(b).name() << " as B" << std::endl;
}

[archimed7592]

"as A", ибо срабатывает первый подходящий catch.

[ViGOur]

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

[archimed7592]

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

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

[ViGOur]

Потом я думаю LuckLess, сам скажет, как раз у тебя будет время подумать...

[LuckLess]

Ха! Архимед попался! Пойду возьму с полки пирожек

ибо срабатывает первый подходящий

угу.. но тут есть завязочка.. подходящий ли тут A ?

[AD]

std::cout << "Catched " << typeid(.name() << " as B" << std::endl;

после того, как сам решил задачку посмотрел на ответы.

Наследование у D от A идет косвенно, поэтому вариант A не подходит

[LuckLess]

Наследование у D от A идет косвенно, поэтому вариант A не подходит

не то ))

поксказка.. если B и C будут наследовать A виртуально, то будет "as A"

[archimed7592]

Ambiguity? Лаки, ты жестокий человек .