Java / 基礎 / ジェネリクス / 不変(invariant)

Java / 基礎 / ジェネリクス / 不変(invariant)

Java のジェネリクスは基本的に不変である。 不変とは

List<Hoge> hogeList = new ArrayList<>();
List<Piyo> piyoList = new ArrayList<>();

この2つが型として完全に別物であるという意味である。

なのでこのようなことが不可能である。

hogeList = (List<Hoge>)piyoList;
java/basic/generics/invariant.txt · 最終更新: 2021-03-30 12:07 by ore