多形性の種類-アドホック、インクルージョン、パラメトリック、強制

ここでは、さまざまなタイプのポリモーフィズムを確認します。タイプは-

• アドホック
• 包含
• パラメトリック
• 強制

アドホック多相はオーバーロードと呼ばれます。これにより、同じ名前の関数がタイプごとに異なる方法で動作できるようになります。関数と演算子の両方がオーバーロードされる可能性があります。一部の言語は演算子のオーバーロードをサポートしていませんが、関数のオーバーロードは一般的です。

例

#include<iostream>
using namespace std;
int add(int a, int b) {
   return a + b;
}
string add(string a, string b) {
   return a + b; //concatenate
}
int main() {
   cout << "Addition of numbers: " << add(2, 7) << endl;
   cout << "Addition of Strings: " << add("hello", "World") << endl;
}

出力

Addition of numbers: 9
Addition of Strings: helloWorld

インクルージョンポリモーフィズムはサブタイピングと呼ばれます。これにより、基本クラスのポインターと参照を使用して派生クラスを指すことができます。これは実行時のポリモーフィズムです。実行されるまで、実際のオブジェクトのタイプはわかりません。この包含ポリモーフィズムを実現するには、C++の仮想関数が必要です。

例

#include<iostream>
using namespace std;
class Base {
   public:
      virtual void print() {
         cout << "This is base class." << endl;
      }
};
class Derived : public Base {
   public:
      void print() {
         cout << "This is derived class." << endl;
      }
};
int main() {
   Base *ob1;
   Base base_obj;
   Derived derived_obj;
   ob1 = &base_obj; //object of base class
   ob1->print();
   ob1 = &derived_obj; //same pointer to point derived object
   ob1->print();
}

出力

This is base class.
This is derived class.

強制ポリモーフィズムはキャスティングと呼ばれます。このタイプのポリモーフィズムは、オブジェクトまたはプリミティブが他のタイプにキャストされたときに発生します。鋳造には2つのタイプがあります。暗黙的なキャストはコンパイラ自体を使用して行われ、明示的なキャストはconst_cast、dynamic_castなどを使用して行われます。

例

#include<iostream>
using namespace std;
class Integer {
   int val;
   public:
      Integer(int x) : val(x) {
   }
   operator int() const {
      return val;
   }
};
void display(int x) {
   cout << "Value is: " << x << endl;
}
int main() {
   Integer x = 50;
   display(100);
   display(x);
}

出力

Value is: 100
Value is: 50

パラメトリック多型はアーリーバインディングと呼ばれます。このタイプのポリモーフィズムでは、異なるタイプに同じコードを使用できます。テンプレートを使用して取得できます。

例

#include<iostream>
using namespace std;
template <class T>
T maximum(T a, T b) {
   if(a > b) {
      return a;
   } else {
      return b;
   }
}
int main() {
   cout << "Max of (156, 78): " << maximum(156, 78) << endl;
   cout << "Max of (A, X): " << maximum('A', 'X') << endl;
}

出力

Max of (156, 78): 156
Max of (A, X): X