例外と型と

ある関数がどんな例外を投げる可能性があるかは静的にチェック可能な気がするんですけど、ムリですか？　そしたら、警告の1つや2つとばせるんじゃないかと。少なくともデストラクタにおける例外はチェックできますよね。そこまですると、激しくプログラムを書きづらくなるなぁ。コンパイルするたびに警告で埋まりそうだ…。