だいたい自己解決しましたｻｰｾﾝ、
1. cassertにおけるassert()条件に書くような、設計上絶対起こり得ないやつ（起きたらバグ）はlogic_error
2. 上記以外（設計上起き得ないことを保証しかねる不整合）はruntime_error

で、さらに細分化可能な場合（明らかに派生クラスにあてはまるやつ）は派生クラスにする
例外を補足する個所では、logic_error& eかruntime_error& eで捕捉する（そうすれば派生クラスも捕捉できうる
でFA?