Java-polymorphism
Java-ポリモーフィズム
多態性は、オブジェクトがさまざまな形をとる能力です。 OOPでの多態性の最も一般的な用途は、親クラスの参照を使用して子クラスのオブジェクトを参照するときに発生します。
複数のIS-Aテストに合格できるJavaオブジェクトは、ポリモーフィックと見なされます。 Javaでは、すべてのJavaオブジェクトはポリモーフィックです。これは、すべてのオブジェクトが独自の型およびクラスObjectのIS-Aテストに合格するためです。
オブジェクトにアクセスする唯一の方法は参照変数を使用することであることを知っておくことが重要です。 参照変数のタイプは1つのみです。 一度宣言すると、参照変数の型は変更できません。
参照変数は、最終宣言されていない限り、他のオブジェクトに再割り当てできます。 参照変数のタイプによって、オブジェクトで呼び出すことができるメソッドが決まります。
参照変数は、宣言された型のオブジェクトまたは宣言された型のサブタイプを参照できます。 参照変数は、クラス型またはインターフェイス型として宣言できます。
例
例を見てみましょう。
public interface Vegetarian{}
public class Animal{}
public class Deer extends Animal implements Vegetarian{}
これで、Deerクラスは複数の継承を持つため、ポリモーフィックであると見なされます。 上記の例には以下が当てはまります-
- 鹿は動物です
- 鹿はベジタリアンです
- 鹿IS-A鹿
- 鹿IS-Aオブジェクト
参照変数ファクトをDeerオブジェクト参照に適用する場合、次の宣言は有効です-
例
Deer d = new Deer();
Animal a = d;
Vegetarian v = d;
Object o = d;
すべての参照変数d、a、v、oは、ヒープ内の同じDeerオブジェクトを参照します。
仮想メソッド
このセクションでは、Javaでオーバーライドされたメソッドの動作により、クラスを設計するときに多態性をどのように活用できるかを示します。
子クラスが親のメソッドをオーバーライドできるメソッドオーバーライドについては既に説明しました。 オーバーライドされたメソッドは、基本的に親クラスに隠されており、子クラスがオーバーライドメソッド内でsuperキーワードを使用しない限り呼び出されません。
例
/*File name : Employee.java*/
public class Employee {
private String name;
private String address;
private int number;
public Employee(String name, String address, int number) {
System.out.println("Constructing an Employee");
this.name = name;
this.address = address;
this.number = number;
}
public void mailCheck() {
System.out.println("Mailing a check to " + this.name + " " + this.address);
}
public String toString() {
return name + " " + address + " " + number;
}
public String getName() {
return name;
}
public String getAddress() {
return address;
}
public void setAddress(String newAddress) {
address = newAddress;
}
public int getNumber() {
return number;
}
}
次のようにEmployeeクラスを拡張するとします-
/*File name : Salary.java*/
public class Salary extends Employee {
private double salary;//Annual salary
public Salary(String name, String address, int number, double salary) {
super(name, address, number);
setSalary(salary);
}
public void mailCheck() {
System.out.println("Within mailCheck of Salary class ");
System.out.println("Mailing check to " + getName()
+ " with salary " + salary);
}
public double getSalary() {
return salary;
}
public void setSalary(double newSalary) {
if(newSalary >= 0.0) {
salary = newSalary;
}
}
public double computePay() {
System.out.println("Computing salary pay for " + getName());
return salary/52;
}
}
今、あなたは慎重に次のプログラムを勉強し、その出力を決定しようとします-
/*File name : VirtualDemo.java*/
public class VirtualDemo {
public static void main(String [] args) {
Salary s = new Salary("Mohd Mohtashim", "Ambehta, UP", 3, 3600.00);
Employee e = new Salary("John Adams", "Boston, MA", 2, 2400.00);
System.out.println("Call mailCheck using Salary reference --");
s.mailCheck();
System.out.println("\n Call mailCheck using Employee reference--");
e.mailCheck();
}
}
これは、次の結果を生成します-
出力
Constructing an Employee
Constructing an Employee
Call mailCheck using Salary reference --
Within mailCheck of Salary class
Mailing check to Mohd Mohtashim with salary 3600.0
Call mailCheck using Employee reference--
Within mailCheck of Salary class
Mailing check to John Adams with salary 2400.0
ここでは、2つのSalaryオブジェクトをインスタンス化します。 1つは給与参照 s を使用し、もう1つは従業員参照 e を使用します。
_s.mailCheck()_を呼び出している間、コンパイラはコンパイル時にSalaryクラスのmailCheck()を参照し、JVMは実行時にSalaryクラスのmailCheck()を呼び出します。
*e* はEmployee参照であるため、 *e* のmailCheck()はまったく異なります。 コンパイラが_e.mailCheck()_を検出すると、コンパイラはEmployeeクラスでmailCheck()メソッドを検出します。
ここで、コンパイル時に、コンパイラーはEmployeeでmailCheck()を使用してこのステートメントを検証しました。 ただし、実行時に、JVMはSalaryクラスのmailCheck()を呼び出します。
この動作は仮想メソッド呼び出しと呼ばれ、これらのメソッドは仮想メソッドと呼ばれます。 上書きされたメソッドは、コンパイル時にソースコードで使用された参照のデータ型に関係なく、実行時に呼び出されます。