>>680
だれか食いつくと思ったんだけど
「有効なアドレスしか渡さない」という条件で「無効なアドレスが渡った」という例外は検知できるよね．
それ以外にも色々”条件”と”例外”は規定できる．

まずライブラリはそういう形に通常の処理と例外を分離して，ライブラリの使用者に通知すべき．
WinAPIとかCOMとかを”生で使って”戻り値の検査を逐一するのは構造化されてない言語に良くあるコードなんだけど，
それを直そうとしていないABはダメだなぁ
って思ったところ．

いや数年前にAB触ったっきりで最近の事情しらないんだけどさ