תכנות מונחה עצמים

4.3.2.1. תקציר

סוגי הפולימורפיזם השונים:

• overloading: מזהה יחיד מייצג מספר אבסטרקטיות בו זמנית.
  
  למשל: operator overloading. שפת C++ מגדירה overloading לאופרטור + עבור שלמים ועבור משתני float, אבל אם לא נגדיר במפורש, עבור המחלקה Person לא יהיה קיים האופרטור +.
• coercion: אבסטרקציה יחידה מסוגלת לשרת מספר סוגים על ידי כפייה מרומזת (הרחבת השימוש באבסטרקציה יחידה על ידי המרות סוגים).
  
  דוגמא: המרת טיפוסים: int ל-double וגםdouble  ל-int.
• parametric: אבסטרקציות הפועלות בצורה אחידה על ערכים מסוגים שונים.
  
  לדוגמא: template בשפת C++.
• inheritance: תת סוגים היורשים פעולות מסוג ההורה.