メソッドのオーバーライド

親のメソッドが、子には合わない

親クラスに共通の fee() を書いておいたのに、速達だけは計算式が違う。かといって子に expressFee() という別名を用意すると、呼ぶ側が「これは速達だから別のメソッドを呼ぼう」と種類を意識することになります。

名前は親と同じままにして、中身だけ子で入れ替える。これが オーバーライド です。

シグネチャを完全に一致させ、@Override を付ける

子クラスで、親と 戻り値の型・メソッド名・引数 がまったく同じメソッドを書くだけです。

new ExpressShipping().fee() は 800 を返します。親の fee() は隠れて、子の実装が選ばれます。

大事なのは「まったく同じ」の部分です。引数を 1 つ足したり型を変えたりすると、Java はそれを別のメソッドと見なします。親の fee() はそのまま生き残り、子には誰も呼ばないメソッドが 1 つ増えるだけ。呼んでも親の値が返ってきて、原因の分かりにくいバグになります。

@Override は「これは親のメソッドの差し替えのつもりだ」とコンパイラに伝える印です。付けても動きは変わりませんが、親に一致するメソッドが無ければコンパイルエラーになります。

fee を free とタイプミスしたとき、付けていなければ黙って通り、実行してから「なぜか元の値が返る」と悩むことになります。付けていれば method does not override or implement a method from a supertype で即座に止まります。差し替えるつもりのメソッドには必ず付けてください。

そのほかの決まりは次の 2 つです。

• アクセス修飾子は親と同じか、より広くだけ。親が public なのに子で protected にするとエラーになる
• static や final が付いた親のメソッドは差し替えられない

親の型で受けても、子の実装が動く

差し替えが効くのは、変数の型ではなく 実際に入っているインスタンス を見て呼び先が決まるからです。

変数 s の型は Shipping ですが、中身は ExpressShipping なので、実行時に子の fee() が選ばれます。おかげで呼ぶ側は、相手が速達かどうかを知らないまま fee() と書けばよくなります。

やってみよう

circleArea(int radius) を完成させてください。

1. 親クラス Shape に public int area() を用意する。中身は 0 を返すだけで構いません
2. Shape を継承した Circle を作り、int radius フィールドとコンストラクタを持たせる
3. Circle 側で area() を差し替え、(int)(radius * radius * 3.14) を返す。@Override を忘れずに
4. circleArea の中では Shape shape = new Circle(radius); のように 親の型で受けて から area() を呼ぶ

int へのキャストで小数点以下は切り捨てになります。半径が 1 なら 3.14 から 3、10 なら 314 です。手順 4 でわざわざ親の型を経由するのは、変数の型ではなく中身で呼び先が決まることを、自分の目で確かめるためです。

1. 親クラス Shape を用意し、public int area() を定義すること (中身は 0 でよい)
2. 子クラス Circle extends Shape を作り、@Override を付けて area() を再定義し、(int)(radius * radius * 3.14) を返すこと
3. circleArea の中で Shape shape = new Circle(radius); のように親の型で受けて shape.area() の値を返すこと (動的ディスパッチで Circle.area が呼ばれる)