定数につけるfinalキーワードは意味があるか？

Question

Javaのfinalキーワードについて教えてください。

finalを付けると、一度しか代入できなくなるのは分かりましたが、値の変更ができなくなるとは別問題だと聞きました。

変数にfinalをつける意味はあるのでしょうか？

Answer 1

isaotsunedaさんが仰っているのは参照型のフィールドの値の変更の事だと思いますが、
確かに参照型にfinalを付けたところで代入できないだけで中のデータは変え放題なので、
finalは基本、参照型には用いずにプリミティブ型に使います。
プリミティブ型であれば「代入できない＝値の変更ができない」になるので。
(リフレクションとか使えばできるかもしれないですが。)

参照型で値の変更をできないようにするには、
フィールドをprivateにしてコンストラクタでだけ設定するといった、
実装面でのカバーが必要です。

ちなみにコレクション型だと
Collections.unmodifiableList(List list) Collections.unmodifiableMap(Map map) Collections.unmodifiableSet(Set set)
を使えば中身が不可変のコレクションを取得する事ができます。

Comments

[isaotsuneda]

回答ありがとうございます。わかりやすい説明で、参考になりました。

Answer 2

変数を使いまわすプログラミングスタイルは良くないというのが一般的なので、
使いまわされたくない変数にfinalをつけます。
（具体的に何が良くないかは長くなるので...すみません）

mutable（変更可能）な参照型変数にfinalを付ける人もいますが、
私は変更しないprimitive型や参照型のimmutable（不変）なオブジェクトにだけ付けます。

パラメーターにもつけたほうが良いかもしれませんが、多すぎて煩わしいので
つけずに、IDEの警告に任せています。

デフォルトがfinalのほうだったら良かったのにと思っています