Why aren't exceptions in C++ checked by the compiler?

Question

C++ provides a syntax for checked exceptions, for example:

void G() throw(Exception);
void f() throw();

However, the Visual C++ compiler do

Answer 1

To detect prior to runtime cases such as ...

extern void f() throw (class Mystery);
void g() throw() { 
    f() ; 
}

... you need static analysis. Yes, the compiler is doing plenty of static analysis, but because the standard is "raise std::unexpected if the throw doesn't match," and it is perfectly legal to write a routine that throws an object that does not match the specifier, the compiler implementers neither warn nor remark.

Static analysis tools that claim to provide warning service include Gimpel Software's lint for C++ ...

1560 Uncaught exception 'Name' not on throw-list for function 'Symbol'

and, according to this answer to a prior question, QA C++.