とはいえ、クライアントが Visitor を生で使うことはあまり考えられず、普通はラッパ関数通して使うし、ラッパ関数はその Visitor が実際に throw するか否かは分かると思うので、いいかなという気がする。 (edited)