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

5.3.2.3. Signature Conformance - חתימת הפונקציה

האלמנטים המרכיבים את חתימת הפונקציה:

• Input Parameters.
• Output Parameters.
• Input-Output Parameters.
• הערך המוחזר של הפונקציה.

נגדיר מספר דרכים בהן הפונקציה החופפת יכולה לשנות את הגדרת הפונקציה:

No-variance: הסוג בחתימה אינו משתנה.

Co-variance: השינוי בסוג החתימה הוא באותו כיוון כמו ההורשה – במורד עץ ההורשה.

Contra-variance: השינוי בסוג החתימה הוא בכיוון הפוך להורשה – במעלה עץ ההורשה.

תאימות דורשת:

- Contra-variance של ה-input parameters.

- Co-variance של ה-output parameters.

- No-variance של ה-input-output parameters.

- Co-variance של הערך המוחזר.