Journal InTime - Java Genericsに見るvariance

トップ «前の日記(2007-07-10 (Tue)) 最新次の日記(2007-09-01 (Sat))» 編集

2007-07-13 (Fri)

_ [言語] Java Genericsに見るvariance

20070710のみずしまさんのコメントより:

Java Genericsでは型のユーザがvarianceを指定できるように
なっています。

ほう。そういえば、最近のJavaはcovariant return typeもサポートしているそうですね。

型パラメータを? extends Tという形で記述することによって、
covariantな型になります。

List<Integer> ints = new ArrayList<Integer>();
ints.add(1);
List<? extends Number> nums = ints; // OK
nums.add(2); // NG

なるほど、面白い。一瞬型安全じゃないのではと思ったのですが、配列の時のように実行時にArrayStoreExceptionのような例外が発生するわけではなく、コンパイル時にエラーになるんですね。

でもList<? extends Number>がList<Number>とcompatibleでない(null以外のaddができないので当然)のが、使い勝手的にどうなんだろう。参照しかしない部分では(List<Number>ではなく)List<? extends Number>を要求するようなインタフェイスにするというスタイルでコーディングすれば、List<Integer>を渡せるわけだけど、そういう書き方は一般的なのかなあ。

[ツッコミを入れる]

ツッコミ・コメントがあればどうぞ! E-mailアドレスは公開されません。

[TrackBack URL: http://shugo.net/jit/tb.rb/20070713]

本日のリンク元


		2007年 7月
日	月	火	水	木	金	土
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31

2007-07-13 (Fri)

_ [言語] Java Genericsに見るvariance

Feed

最近のコメント

最近のトラックバック

最近の記事