トップ «前の日記(2015-11-15) 最新 次の日記(2015-11-25)» 編集

日々の破片

著作一覧

2015-11-22

_ 人を信用する設計と信用しない設計の線引き

Rubyは君を信用するが、Javaは君を信用しない。

それは設計ポリシーで、それ自体は悪いことではない。

どう信用していないかと言えば、まず最初に上げられるのは、無名inner classのメソッド内で参照する外側のローカル変数はfinalとして再代入を許さないことだ。

次が、ラムダ式用に用意されているjava.util.functionの使いにくさ=throws Exceptionが無い定義だ。

これらは、保存されて処理された場合を考慮すれば当然とも言える。

class Foo {
    Consumer<int> callback;
    public void addConsumer(Consumer<int> cb) {
        callback = cb;
    }
    private foofoofoo() {
      callback.accept(bar);
    }

というオブジェクトに対して、仮に、accpetがthrows Exceptionであったなら

try {
    foo.addConsumer(n -> 例外が起きる可能性);
} catch (Exception e) {
    ...
}

と書いてもなんの意味もない。acceptがいついかなるタイミングで呼び出されるかわからない以上、例外をcatchできないからだ。そんな不親切なインターフェイスはありえないので、Consumerのacceptにthrows Exceptionを付けることはできない。当然acceptの中に例外ハンドラを実装すべきだ。

でも、それはConsumerという名前によって明らかにされている。であれば、汎用の関数的インターフェイスとして

public interface Callback {
    void callback(T t) throws Exception;
}

はどうだろうか。callbackという名前は、その呼び出しに対して呼ばれた側からの呼び返しで、コンシューマとは異なり、呼び出し中の呼び返しが保証される場合にのみ使うという規約で問題ない。

が、Javaは開発者を信用しないから、規約を無視して、コールバックという名前の範囲を超えた呼び出しにも利用できてしまうと考える。したがって、捕捉されない例外のスローと成りえる可能性を持つかな?

いや、そうでもない。class Fooの実装で

    private foofoofoo() {
      try {
          callback.accept(bar);
      } catch (Exception e) {
      }
    }

と書かなければエラーとなるからだ。が、こちら側は例外を握り潰すか、上位に伝播させるより他に元の呼び出し側の意図を反映する機会がない。

結局、意図せざる動作をする可能性があるから、Consumer側の実装で例外を処理する必要がある。となるのだろう。

面倒な話だ。


2003|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|04|05|06|07|08|09|10|11|12|
2021|01|02|03|04|05|06|07|08|09|10|11|12|
2022|01|02|03|04|05|06|07|08|09|10|11|12|
2023|01|02|03|04|05|06|07|08|09|10|11|12|
2024|01|02|03|

ジェズイットを見習え