C++の例外機構のテストをしている。C++の例外機構には、「例外仕様」と、Javaのようなtry〜catch構文がある。C++の例外仕様は奇妙だ。単に奇妙なだけならまだ救えるのだが、使える気がしない。C++の例外仕様は「この例外しか出ない」と宣言する。「契約によ…