تعدد الأشكال (علم الحاسوب)

عرّف كريستوفر ستراشي هذا النوع من تعددية الأشكال أنه يمكن تطبيقه بناءً على المعطيات باختلاف الأنواع.

ملحوظة: يعرف هذا النوع أيضا باسم قابلية إعادة استخدام الوظيفة أو قابلية إعادة استخدام المشغل\الرمز. وهذا المثال بالأسف بلغة باسكال بإتسخدام مفهوم الديلفى الدالة التي تسمى Add يمكن استخدامها لأكثر من نوع:

program Adhoc;

function Add(x, y : Integer) : Integer;
begin
    Add := x + y
end;

function Add(s, t : String) : String;
begin
    Add := Concat(s, t)
end;

begin
    Writeln(Add(1, 2));                   (* Prints "3"             *)
    Writeln(Add('Hello, ', 'World!'));    (* Prints "Hello, World!" *)
end.

وكما وضحنا أن الدالة Add يتم استدعاؤها بناءً على المعطيات\المدخلات.

مفهوم تعددية الأشكال الحدودية ينطبق على كل من أنواع البيانات و الدَّوال، وهذا المفهوم يساعدنا على كتابتهم بطريقة عامة بحيث يمكننا التعامل مع القيم والمحتوى بدون الاعتماد أو الالتفات لنوعيتهم.

والمثال التالي بلغة "هاسكال" يوضح كيفية استخدام هذا النوع من تعددية الأشكال، بحيث يمكننا استخدام أكثر من نوع كمدخل للصنف:

data List a = Nil | Cons a (List a)

length :: List a -> Integer
length Nil         = 0
length (Cons x xs) = 1 + length xs

map :: (a -> b) -> List a -> List b
map f Nil         = Nil
map f (Cons x xs) = Cons (f x) (map f xs)

وهذا النوع من تعددية الأشكال متوفر أيضا في لغات مختلفة مثل "جافا، سي شارب، سي بلس بلس" وهاكم مثال على "سي شارب":

class List<T> {
    class Node<T> {
        T elem;
        Node<T> next;
    }
    Node<T> head;
    int length() {... }
}

List<B> map(Func<A, B> f, List<A> xs) {
  ...
}

استخدامُ هذا النوع يساعدنا لتوريث صفات و دوال من أنواع و أصناف رئيسية لأنواع و أصناف فرعية.

ففي المثال التالي، قمنا بتعريف نوع رئيسي وهو "حيوان"، لذا فإن أي حيوان فرعي يرث صفات و وظائف هذا الحيوان الرئيسي باختلاف الطريقة والتنفيذ بالطبع، وهاكم مثال باستخدام لغة "جافا":

abstract class Animal {
    abstract String talk();
}

class Cat extends Animal {
    String talk() {
        return "Meow!";
    }
}

class Dog extends Animal {
    String talk() {
        return "Woof!";
    }
}

static void letsHear(final Animal a) {
    println(a.talk());
}

static void main(String[] args) {
    letsHear(new Cat());
    letsHear(new Dog());
}

وفي مثال آخر، هب أن هناك نوع رئيسي يُسمى "رقم" بمكن إدراج أنواع فرعية منه باسم "رقم صحيح"، "رقم عشري" إلى آخره من أنواع الأرقام.