やっぱり言葉足らずだったか。
値型がデストラクタを持つなら、スコープエンドで呼び出されるのが自然なので、
関数呼び出しの深い位置で例外が起こると当然キャッチされるまで
スタック中オブジェクトの回収で、>>615で言ってるように
呼び出しリストを照会しながらデストラクタコールが必要になるから、
例外処理も大変になるような。

スタックのオブジェクトもスコープエンドじゃなくてGCで回収されるなら
この問題はなさそう。