この辺を読んで、前から言っていたことではあるのですが、例外がどうにも扱いにくいというか精神的負荷が高い理由が説明できる形になった気がします。 例外を単純に(メンバ値とかfinallyとか継承とか抜きで)longjmpで実装しようとすれば、こうなるんですよね…