クラス型とインスタンスクラスが違う場合の参照情報について

Question

Java silverの勉強をしています。
以下のコードを御覧ください。

public class A {
    String imA = "aaa";
    public void sayA() {
        System.out.println("sayA");
    }
}

public class B extends A {
    String imB = "bbb";

    public void toB() {
        System.out.println("sayB");
    }
}

public class Main {

	public static void main(String[] args) {
		
		A a = new B();
		System.out.println(a.imA);
	}
	
}

上記のように、Aを継承したBがあります。※すべて同一のパッケージとします。

疑問点

A a = new B();
このインスタンス化時、A型で宣言されているので呼び出せるフィールドやメソッドはクラスAに記載されているものだと思います。
ここでわからないのはインスタンス宣言のnew B();が変数aに及ぼせる影響範囲です。

インスタンスはクラスの設計図から作られた製品だとはよく記述がありますが、メソッドやフィールドはあくまでもクラス型に左右されている様に思えます。
クラスBにオーバーライドがあればメソッドを上書きできるのでしょうが、new B();のインスタンスは変数aにどのような情報を渡しているのでしょうか？
・この様にクラスBに記述すればString imBにアクセスできる。
・このような情報を渡している。
など、お教えいただけると嬉しいです。

よろしくお願いします。

Comments

[maisumakun]

> 上記のように、Aを継承したBがあります。

A、B、Mainは同一パッケージにある状況ですか？（そうでない場合、継承云々にかかわらずa.imAにMainからアクセスできません）

[AgoN]

失礼しました。すべて同一のパッケージです。修正いたします。

Answer 1

new B();のインスタンスは変数aにどのような情報を渡しているのでしょうか？

Bのインスタンスが変数に入っている状態ですが、A型を割り当てたことでコンパイラがAにないメンバへのアクセスを弾きます。

・この様にクラスBに記述すればString imBにアクセスできる。

(B)でキャストしてください。

Comments

[maisumakun]

疑問点と回答でポイントが違った場合、そのあたりもご指摘ください。

[AgoN]

なるほど、とても良くわかりました。
情報はあれどコンパイラが弾いてしまうんですね。
ありがとうございました！