再帰ジェネリクスのthisとTの互換性 - プログラマーの脳みそ

再帰ジェネリクスを用いて以下のようなコードを書いたとする。 Hogeを継承した型を作った場合に具象型を得るgetThis()メソッドを使えるようにしたいわけだ。 public class Hoge<T extends Hoge<T>> { @SuppressWarnings("unchecked") public T getThis() { return (T) this; } } このHoge型のTに型をバインドするには継承を用いる。一部の方にはおなじみですね。 public class Piyo extends Hoge<Piyo> {} こうした場合、Piyo型にはなんの実装も行っていないが Piyo p = new Piyo(); Piyo t = piyo.getThis(); というように、スーパークラスの実装によりgetThis()からPiyo型をとることができる。 型の安全