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

5.3.2. Conformance and Overriding

אם נסכם, נאמר כי הודות ל-dynamic binding וכן לתכונת הפולימורפיזם, המשתמש לא יכול לדעת מראש איזו גירסה של מתודה וירטואלית תקרא בפועל כאשר הוא משתמש בה. כתוצאה מכך מתעורר הצורך בתאימות. התאימות צריכה להתבטא במספר מישורים:

• רמת הגישה של הפונקציה.
• החוזה עם הפונקציה - התנאים המקדימים לקריאה, התנאים הסופיים והערכים שיכולים להיזרק.
• חתימת הפונקציה - הפרמטרים של הפונקציה והערך המוחזר שלה.

"Same or better" Principle - פונקציה חופפת חייבת לספק לפחות את אותה פונקציונליות כמו הפונקציה הנחפפת. לפונקציה החופפת אסור להפתיע את המשתמש.