日々の破片

_ 風は冷たいが天気は良い

よく眠ってないので、なお眠い。

_ ちょっとイヤ(内部クラスは仮想化が甘いと思う)

Javaは、すべてのメソッドが仮想化されていると考えていたが、インナークラス（追記：のコンストラクタ）については静的な評価が行われるようだ。きっと仕様を確認すればそう書いてあるんだろうが（今はその余裕が無いので後回し）これは直観的では無い。

// O1.java
package com.example;
public class O1 {
    public void hello() {
	System.out.println("hello!");
    }
    public class I1 {
	public void hello() {
	    System.out.println("hello");
	}
    }
}

に対して

//O2.java
package com.example;
public class O2 extends O1 {
    public void hello() {
	System.out.println("hell!");
    }
    public class I1 extends O1.I1 {
	public void hello() {
	    System.out.println("hell");
	}
    }
}

に対するクライアント

// Oc.java
 package com.example;
public class Oc {
    public static void main(String[] args) {
	O1 o = new O2();
	o.hello();	 // 仮想化されているのでhell!
	O1.I1 in = o.new I1();
	in.hello();
	in = ((O2)o).new I1();
	((O2)o).hello(); // 当然hell!
	in.hello();
    }
}

コメントの通り、メソッドについてはO2のメソッドが呼び出される。
しかし、インナークラスのコンストラクタは、呼び出したインスタンスの静的なクラスの宣言が参照される。
と、ここまで書いて気づいたが、同名staticメソッドはどうなるんだ？ それと同じ扱いってことかな？ でも、インナークラスのコンストラクタは明示的にインスタンスに依存したメソッドなのだが（だから、インスタンス.newという構文）。
上の出力は以下のとおり。

~/test>java com.example.Oc
hell!
hello
hell!
hell
~/test>

最初の呼び出しで作成されるのは、O1$I1のほうで、呼び出したインスタンスoの静的な宣言に従っている。
っていうか、1時間ほどハマった。
追記：書いたらわかったが、クラスのコンストラクタを呼び出すわけだからクラス名が必要となり、かつそのクラスはコンパイル時に評価せざるを得ないわけだから、呼び出しクラスの静的な宣言が有効なのは、ある意味当然ではある。が、静的に解決させずに実行時にインスタンスのクラス名からコンストラクタを呼ぶっていうのがあっても良いような気も。その場合には、ファクトリメソッドを作っとけばいいのか……