いいえ、b は初期化されていません。 インスタンスaとbがあり、a=bとすると、インスタンスaは（他に参照代入しておいた場合を除いて）アクセス不能になり、ガーベッジ・コレクションにより消されます。 この状態で a=new C() とすると、新しく new されたインスタンスがaに代入されますが、bは以前のままで変化しません。 これは「a」と「aの中にあるインスタンス」との違いです。 a=b により「bの中にあるインスタンスをaの中にも入れる」が実行されます。これによりaとbとは、同じインスタンスが中に入っています。片方（例えばa）の中にあるインスタンスの変数を変更すると、それは他方（この例ではb）の中にあるインスタンスと同じインスタンスなので、他方の中にあるインスタンスの変数を見ると変更されています。 ここで a の中に新しいインスタンスを入れたら、aの中にあるインスタンスとbの中にあるインスタンスとは、異なるインスタンスになるのです。