Re: Matching throw to catch at compile time?

The second problem is that you can also throw polymorphic classes, that
is, classes whose type cannot be derived at compile time and whose
static type is different from their dynamic type. If such a class is
thrown, the program control should go to the catch that matches the
*dynamic* type of the exception, and not the static type. Consider:

class A {...};

class B : public A { .. };

void foo()
{
    B *b = new B;
    try {
        bar(b);
    } catch(B *ex1) {
        ... <--- code must go here
    } catch(A *ex2) {
        ...
    }
}

void bar(A *a)
{
    throw a; // static type is A*, dynamic type is *B
}