[_dky]

If C++ had a contract on what exceptions a function can throw with compile time check to enforce caller catches those exceptions, would it make it better?

Guess Java does that, not much experience in Java here.

[rerdavies]

Java does it. It is a horrible horrible feature. C# used to do it. But they decided it's a horrible horrible feature, and removed it.