【Java】アップキャストが明示的な型変換をせずに自動で型変換されることについてわかりません。

前提・実現したいこと

Javaのアップキャストがなぜ自動的に型変換してくれるのかわかりません。
また、ダウンキャストが明示的に型変換しなければならないのかもわかりません。

発生している問題・エラーメッセージ

特になし

該当のソースコード

Java
1class A {
2    void dispA() {
3        System.out.println("A");
4    }
5}
6
7class B extends A {
8    void dispB() {
9        System.out.println("B");
10    }
11}
12
13class Test {
14    public static void main(String[] args) {
15        B b = new B();
16        A a = b;
17        a.dispA();
18    }
19}
20

試したこと

特になし

補足情報（FW/ツールのバージョンなど）

使用ツール：eclipse4_8.0

基本データ（プリミティブ）型の型変換では大きい型に小さい型を代入する場合は自動で型変換が行われ、
小さい型に大きい型を代入する場合は明示的にキャストしなければならないと学びました。

上記のソースコードではスーパークラス.a（小さい型）にサブクラス.b（大きい型）を代入しているように見えます。
逆にサブクラス.a（大きい型）にスーパークラス.a（小さい型）を代入する場合に明示的に型変換をしなければならない理由がわかりません。

基本データ（プリミティブ）型の代入の時と扱いが違うのでしょうか。

ここでつまづいている人がいないせいかインターネットで調べても出てきませんでした。
ご教授いただけますでしょうか。

行動規範の内容に同意します

回答2件

ベストアンサー

サブクラスはスーパークラスにフィールドやメソッドを追加して作成する関係上、
スーパークラスに比べて持っている情報やできることが多いクラスという事になります。
裏返すと、サブクラス型にはスーパークラスよりも厳しい制約をクリアしたものしか入れられない、という事になります。この意味で、サブクラスはスーパークラスと比べて「小さい」型になります。

投稿2020/07/31 02:46

swordone

総合スコア20669

best.practice

2020/07/31 02:59 編集

回答いただきありがとうございます。追加で質問なのですが、サブクラスはスーパークラスと比べ持てる情報が多いことから制約が厳しく入れられる箱の大きさがスーパークラスの方がサブクラスよりも大きい。というのを基本データ型にあてはめ語弊を恐れずに言えば、 double:数字 int:数字かつ整数のように考えればdoubleのほうが制約が少なく入れられるものが多い。ことからintよりも大きい型としてみなせるという認識でもよろしいでしょうか。