Java-ポリモーフィズム

ポリモーフィズムとは、オブジェクトが多くの形をとる能力です。 OOP でのポリモーフィズムの最も一般的な使用は、親クラス参照が子クラスオブジェクトを参照するために使用される場合に発生します。

複数の IS-A テストに合格できる Java オブジェクトはすべて、ポリモーフィックであると見なされます。 Java では、すべてのオブジェクトが独自の型とクラスオブジェクトの IS-A テストに合格するため、すべての Java オブジェクトはポリモーフィックです。

オブジェクトにアクセスする唯一の可能な方法は、参照変数を使用することです。参照変数は、1 つのタイプのみにすることができます。一度宣言すると、参照変数の型は変更できません。

参照変数は、final と宣言されていない限り、他のオブジェクトに再割り当てできます。参照変数の型によって、オブジェクトで呼び出すことができるメソッドが決まります。

参照変数は、宣言された型の任意のオブジェクト、または宣言された型の任意のサブタイプを参照できます。参照変数は、クラスまたはインターフェイスの型として宣言できます。

例

例を見てみましょう。

public interface Vegetarian{}
public class Animal{}
public class Deer extends Animal implements Vegetarian{}

現在、Deer クラスは複数の継承があるため、ポリモーフィックであると見なされます。以下は上記の例に当てはまります-

シカは動物です
シカはベジタリアン
シカはシカです
シカはオブジェクトです

参照変数ファクトを 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 オブジェクトをインスタンス化します。給与参照 s を使用するもの、および Employee 参照 e を使用するその他 .

s.mailCheck() の呼び出し中、コンパイラはコンパイル時に Salary クラスの mailCheck() を認識し、JVM は実行時に Salary クラスの mailCheck() を呼び出します。

e の mailCheck() e のため、まったく異なります従業員参照です。コンパイラが e.mailCheck() を見たとき、コンパイラは Employee クラスの mailCheck() メソッドを認識します。

ここで、コンパイル時に、コンパイラは Employee で mailCheck() を使用してこのステートメントを検証します。ただし、実行時に、JVM は Salary クラスで mailCheck() を呼び出します。

この動作は仮想メソッド呼び出しと呼ばれ、これらのメソッドは仮想メソッドと呼ばれます。オーバーライドされたメソッドは、コンパイル時にソースコードで使用された参照のデータ型に関係なく、実行時に呼び出されます。

Java-オーバーライド Java-抽象化

Java