Javaについて。インスタンス化したときの動きについての質問です。

Question

インスタンスを生成、インスタンス化するみたいな事を聞きますが、
以下の認識で大丈夫ですか？
動きがいまいち理解できていません。

(1)
newする事でClassSampleクラスのインスタンスを生成
これにより、ClassSampleにあるメソッドを扱える

new ClassSample();

(2)
newしてClassSampleのインスタンスを生成
また、ClassSample型に代入
ここで疑問なのが、なぜ型はClassSampleなんでしょうか？
とりあえず、型名を合わせるようにしてました。
改めて考えるとわかりません。
よく型とインスタンスの型が違っても代入することありますよね。。。

ClassSampe hoge = new ClassSample();

以上です。
ご回答のほどよろしくお願いいたします。

Comments

[yoorwm]

> ここで疑問なのが、なぜ型はClassSampleなんでしょうか？
では、何が正しい、と思っているのでしょうか？
> よく型とインスタンスの型が違っても代入することありますよね。。。
「基本的には無い」ので、該当の箇所を引用してみてください。
（たぶん、ポリモーフィズムの箇所かとは思いますが。）

Answer 1

class Main {
    public static void main(String[] args) {
		String str = new String("sss");
		Object obj = new String("ooo");
		CharSequence cs = new String("ccc");
		System.out.println("str = " + str);
		System.out.println("obj = " + obj);
		System.out.println("cs = " + cs);
		obj = str;
		System.out.println("obj = " + obj);
		str = (String)cs;
		System.out.println("str = " + str);
    }
}

new String("sss") でインスタンス化した String オブジェクトで、
String型の変数 str を初期化するのは分かるが、
new String("ooo") でインスタンス化した String オブジェクトで、
Object型の変数 obj を初期化できるのはなぜか、
という質問でしょうか？

それは、Stringクラスが Objectクラスを継承しているからです。
また、Stringクラスは CharSequenceインターフェイスを実装しているから、
CharSequence cs = new String("ccc"); も同様にできるのです。

obj = str; で Object型の変数 obj に String型の変数 str をなぜ代入できるのか？
という質問でしょうか？

実は obj も str も参照型といって、
その変数自身にオブジェクトを持っているのではありません。
オブジェクトを参照しているだけです。
代入前は、obj は "ooo" を値に持つ Stringオブジェクトを参照していましたが、
代入後は、obj は "sss" を値に持つ Stringオブジェクトを参照するようになります。

"ooo" を値に持つ Stringオブジェクトは誰も参照しなくなるので破棄されます。
"sss" を値に持つ Stringオブジェクトは 2つの変数 obj と str の両方から
参照されます。
"sss" を値に持つ Stringオブジェクト自身は 1つのままです。
オブジェクトがコピーされて 2つのオブジェクトになったわけではありません。

あるクラスをインスタンス化したオブジェクトは、その継承元の変数や
実装しているインターフェースの変数でも参照できます。

ただ、継承元の変数を継承先の変数に代入する場合はキャストが必要になります。
それが、str = (String)cs; です。

以上、理解できたかどうかコメントをお願いします。