Javaの定数を表しているようなfinalについて今日は復習しようと思います。

このfinalというキーワードは単に定数とは、少々違いそうです。ぶっちゃけ、どんなスコープで finalなのか、或いはfinalは変数のみにつけるわけじゃないので、少々話しが難しい。次のソースを見てください。

まずは、上記のソースで5個の定数を定義していますが、これをコンパイルすると、実際には以下のように置き換えられます。

ここで問題なのは、変数の基本型とString型は置き換えられているが他はそうではない、ということではなく、値がコンパイル時に 決定するということです。

特に今回の上記のソースはpublicなので他のクラスから使われる可能性があります。 つまり、仮に上記のA_STRINGを書き換えて、コンパイルすれば、確かにその中の値は変わりますが、他のクラスで その定数を利用している場合は、その値までは変わってくれません。つまり他のクラスもコンパイルし直さないと駄目だ ということです。これは時々大きなバグになる可能性があります。

メソッドスコープの定数というのは、やや奇な感じがするかもしれませんが、これが結構意味があるのです。次のソースを見てください。

上記のソースでmainメソッドでは、もちろん、エラーは起こりません。スコープがメソッドの場合は 毎回final String keyは初期化されるので、まるで変数のようですが、実際には、上記のsomeBuggedMethodの中の、 //key = new String("someValue"); // compiler error.のコメントをはずすと、コンパイルエラーが起こります。これが重要です。

つまり、コンパイルすることが出来るが、後にエラーになる可能性のあるもの(論理エラー)が一番厄介で、その前にコンパイルエラーで検出してしまえば 「あれ、なんでだあ?」という具合にすぐ見つかります。もし、コンパイルエラーにならず、数百のクラスができあがった後で、しかも、すでに納品済みになった後でエラーが 起こった場合は、相当の時間がかかることになります。すなわち論理エラーをなんとかコンパイルエラーに出来れば、みんな幸せになれるということです。

以前、eclipseのpluginのcheckstyleというコーディングのスタイルに対して、色々いちゃもんをつけるのですが、その中でもメソッドの引数にfinalを つけていないと、すぐにwarningするので、「うっとうしいなあ」とぐらいに思っていたことがありました。しかし、これは実際つけるべきだということです。次のソースを見てください。

ここで一カ所間違いがあります。どこかというとname = name;です。単に接頭辞this を付け忘れただけです。これでは代入が行われません。もしsetName(String name)がsetName(final String name)となっていれば、そのミスはコンパイル時に わかります。実際eclipseだったら、試してみると、finalがないと黄色のwarning、finalがあると赤い、いつもの波線が 見られます。つまり、引数にもfinalをつけるべきだということでしょう。