SuperClass s1;
SubClass s2 = new SubClass();
s1 = s2;
//変換先の変数(s1)のクラス型は、変更元の変数(s2)のクラス型の
//スーパークラスであるため、型変換が行われ代入可能となります。

SuperClass s1 = new SuperClass();
SubClass s2;
s2 = s1;
//変換先の変数(s2)のクラス型は、変更元の変数(s1)のクラス型の
//スーパークラスではないため、コンパイルエラーとなります。

ExClass class1 = new ExClass();
ExInterface interface1;
interface1 = class1;
//変換先の変数(interface1)のインタフェースは、
//変更元の変数(class1)のクラスで実装されているため、
//型変換が行われ代入可能となります。

ExClass class1 = new ExClass();
OtherInterface ointerface1;
ointerface1 = class1;
//変換先の変数(ointerface1)のインタフェースは、
//変更元の変数(class1)のクラスで実装されていないため、
//コンパイルエラーとなります。

//SuperClassの宣言。
class SuperClass {
  public static void main(String[] args) {
    SuperClass[] superArray;  //(1)
    SubClass[] subArray = new SubClass[5];  //(2)

    for (int i = 0; i < subArray.length; i++) {  //(3)
      subArray[i] = new SubClass();
    }

    superArray = subArray;  //(4)代入による型変換
  }
}

//SubClassの宣言。SuperClassを継承。
class SubClass extends SuperClass {}

String ex1 = new String("Hello");
StringBuffer ex2 = new StringBuffer("Hello");
boolean result = ex1.equals(ex2);
//equalsメソッドは引数にObject型の変数を要求します。
//Objectクラスはすべてのクラスのスーパークラスであるため、
//StringBuffer型の変数ex2はObject型に型変換され、equalsが
//実行されます。
//※Stringクラスのequalsメソッドは本来はString型の変数に
//使用します。

String ex1 = new String("Hello");
StringBuffer ex2 = new StringBuffer("Hello");
boolean result = ex1.equalsIgnoreCase(ex2);
//equalsIgnoreCaseメソッドは引数にString型の変数を要求し
//ます。
//変数ex2はStringBuffer型であり、【型変換のルール】にも合
//致しないため、コンパイルエラーとなります。

SubClassA1 a1 = new SubClassA1();
SuperClassA a;
SubClassA2 a2;

a = (SuperClassA)a1;  //(1)コンパイルOK、実行OK
a2 = (SubClassA2)a;  //(2)コンパイルOK、実行NG