プログラムの書き方でご指導お願いします。

これは、もっとも汚い実装のひとつではないでしょうか。認証の例に当てはめた場合、正しいユーザー名・パスワードを入力した場合にも is_true() が例外を投げずに false を返す可能性があるということですね。

え？ 私にはとても信じられない実装なのですが・・・。例外を握りつぶすと
　　cobj.is_true() == cobj.is_false()
これが成りなってしまう可能性があるということですか？ 明らかに内部状態の不整合のアラワレだと思います。無理に例外を投げずに false にしてしまう、なんてことをするから、こういった論理破綻した等式が成り立ってしまうのでは？

コード:
if (cobj.is_true()) { 　// 承認OK } else 　if (cobj.is_wait()) { 　　// ちょっとまて 　} else { 　　// 承認NG 　} }

あなたのいう第3の値が、第1、第2 の値と同等のものではなく、いずれかの子(詳細ステータス)ということであれば

問題があれば処理メソッド(今回でいうとcheckメソッド)がすでに例外を投げているので、別に「無理に例外を投げない」わけではないのですが。そのあたりについてはどのように考えられてますでしょうか？

例外が発生したような状態で内部状態の整合をとっても仕方がないと思うのですがどうでしょうか？

ちなみに私の「例外が発生したような状態」とは、プログラムが以降継続不可能な状態でのエラーをさします。このあたり、未記入さんが以前に書かれている「正常系
フロー制御に例外を使うべきではない」そのまんまのスタンスだと思うのですが、一応念のため。

次に。括弧の対応が、私の記述したものと異なるのですが。

もう一度「よく」ソースをご覧ください。

上述のソースを見てなお「「ちょっとまて」とは「承認されてない」に分類されていると、或いは「第三の値は詳細ステータスで、第一や第二のステータスと等価なものではない」と思われますか？

がるがるさんの書き込み (2005-11-09 15:30) より:

コード:
// 判断 if (cobj.is_true()) { // 承認OK } else if (cobj.is_wait()) { // ちょっとまて } else { // 承認NG }

tarnwoさんの書き込み (2005-11-09 16:13) より:
仮に100個ステータスがあるなら100個isXXXメソッドがあるのでしょうか。

check()がvoid型で変更できないなら、check()の結果をcobj.getResultCode()などで取得し
swicthで判定する等のほうが後々も便利でしょう。

未記入さんの書き込み (2005-11-09 15:59) より:

引用:
問題があれば処理メソッド(今回でいうとcheckメソッド)がすでに例外を投げているので、別に「無理に例外を投げない」わけではないのですが。そのあたりについてはどのように考えられてますでしょうか？

考えたことないですね。is_true() は check() の呼び出し後のみ有意な値を返す、という制限事項が付くくらいなら、私は check() がその値を返すように実装してしまいますから。で、あなたの実装だと、is_true() の前に正しく check() が実行されなければならないわけですが、もし check() が正しく実行されていなかったら、どうするのかなと思ったのです。

引用:
ちなみに私の「例外が発生したような状態」とは、プログラムが以降継続不可能な状態でのエラーをさします。このあたり、未記入さんが以前に書かれている「正常系 フロー制御に例外を使うべきではない」そのまんまのスタンスだと思うのですが、一応念のため。

いやいやいや。ちょ、ちょっと待ってくださいよ。例外とはプログラムが以降継続不可能な状態でのエラーをさす、なんて言ったことも考えたこともありません。それは、.NET 文化の人達の意見だったはずです。私は、そのような意見に対して、Java ではそのような目的に Error がある、Exception は復帰可能な異常系状態遷移に積極的に使う価値がある、と述べています。

is_true() が false だから is_wait() を判定しているという事実は変わりませんね。まさか、is_true() は false を返すけど、is_false() も false を返すので、承認されているとも承認されていないとも言えない、とか言い出さないですよね？

is_true() が正常系で false を返している以上、上位分類では「承認されていない」のでしょう。それあとで、その詳細ステータスを確認しているだけ、という認識は今も変りありません。

ただ、悩むというからには上述でも気になる点がありまして。
それは「ステータスの表記をどのようにしてその定数をどこに持つか」
っていう話になるです。

ただ、過去の記憶を穿り返すと、大抵の場合「沢山のステータスコード」
は大抵「一桁程度の大分類」に取り合えず切り分けられていたので、
取り合えずisメソッドで実装していましたが。

ただ、isメソッド100個実装だと「定数の書き間違い」とかの
ミスをコンパイルレベルとかで見つけられるのがまぁメリットと
言えばメリットなんですよね。
悩ましい問題です(笑

「等価な」三値なのですから、waitがtrueであればほかの二つは当然falseに
なるかと思うのですが。

「承認 or 非承認 の二値のみ」という概念はとっぱずして会話を進めているつもりなのですが。

小僧さんの書き込み (2005-11-09 16:36) より:

比較対象の前提条件、というのは「クラスが使える言語」と「クラスが使えない言語」という事ですよね？
( いや、 VB でもクラスは使えますけど、直感的に。。。 )

同じように、戻り値が増えたら全部見直し ( VB とか C と同じ ) しか思いつかないのですが。。。