Javaでのメンバー変数へのアクセスの仕組み

質問

次のような構造をしたjavaのライブラリを使用しています。（構造だけ抜き出して書いています）

[Hoge.java]
public interface Hoge {
;
}

[Foo.java]
public class Foo implements Hoge {
public int m1;
public Foo() {
m1 = 1;
}
}

[Bar.java]
public class Bar extends Foo {
public Hoge hoge;
}

これを、jythonから以下のように呼び出すと、問題なく動作します。
import Hoge, Foo, Bar
bar = Bar()
bar.hoge = Foo()
print bar.hoge.m1 # 1が表示される

一方、javaで同じように書こうとすると、エラーとなります。
public class Main {
public static void main(String[] args) {
Bar bar = new Bar();
bar.hoge = new Foo();
System.out.println(bar.hoge.m1); // エラー
}
}

jythonと同様のことをjavaで実現する方法はあるのでしょうか?

Javaの経験はまだ日が浅く、根本的な部分で理解できていない部分があるのかもしれませんが、ご教授いただければと思います。

回答No.1

salsberry · ベストアンサー

PythonとJavaの型システムに対する考え方の違いが原因です。

Javaでは、bar.hogeという式の型はHogeです。Hogeにはm1というメンバーが存在しないので当然コンパイルエラーになります。
コンパイル時にbar.hogeという式の型から判断するので、実行時にはbar.hogeにFooのインスタンスが代入されているなんてことは考慮しません。

bar.hogeに代入されているのがFooのインスタンスだと分かっているのなら、((Foo)(bar.hoge)).m1のようにキャストしてやればお望みの動作になると思います。

お礼

なるほど、大変よくわかりました。ありがとうございます。Javaの型システムをもう少しきちんと整理してみようと思います。