🚀 go-pugleaf

 一杉＠電総研です。
 followup-to: fj.lang.java にしました。

In article <FUNATO.96Nov25130805@tansu.shpcsl.sharp.co.jp> funato@shpcsl.sharp.co.jp (Nobuhiko Funato) writes:
># それにしても、Java(私は細かいことを知らない)の型システムの「穴」って、
># 何らかのinconsistencyということでしょうか?

 ぼくが昔 comp.lang.java で読んだ「 java の型システムの穴」は、

	「A => B （B が A の subtype）の時、 A[] => B[] とする」

というルールです。例えば A => B, A => C の時、次のプログラムを実行すると
問題が起きます。

	A a[];
	B b[];
	b = new B[10];
	a = b;			// A[] => B[] なので OK
	a[0] = new C();		// A => C なので OK
	b[0].method_of_b();	// error !!

＃シンタックスが違ってたらごめんなさい。


 で、これは java のセキュリティーホールになるかというとそうではなくて、
確か配列の代入時に実行時型チェックを入れることによって問題を
避けているそうです。

 それにしてもこの「 A[] => B[] とする」っていうルール、なにか
メリットあるんでしょうか。
 ただでさえ nil と添字のチェックで遅い配列アクセスがますます
遅くなるだけなような。
---
					一杉裕志＠電総研   ichisugi@etl.go.jp