תוכן עניינים:
הגדרה - מה המשמעות של הקלדת משנה?
הקלדת המשנה היא מושג בתורת שפת התכנות, שבה תת-סוג, שהוא סוג נתונים, קשור לסוג-על המבוסס על הרעיון של תחליפים, כאשר אלמנטים של תכניות כמו פונקציות ותת-משנה שנכתבים לסוג העל-על ימשיכו לפעול אם תינתן תת-סוג במקום. תת-סוגים הם מושג חיוני בתכנות מונחה עצמים ויכולים להחליף סוגים עליונים ולעיתים אף בעלי מפרט מחמיר יותר מאשר סוג העל-העל.
Techopedia מסביר את הקלדת המשנה
הקלדת המשנה היא שיטה להחלפה ושימוש חוזר בקוד המשמש בשפות תכנות מונחות עצמים למניעת העתקה מיותרת של קוד דומה במידה רבה וקידום קריאות הקוד ומניעת באגים. סוג המשנה הוא בעצם תחליף לסוג העל העלול לעמוד בכל המפרט של האחרון ואז אחר. כך שאם B הוא תת-סוג של A, אז תמיד אפשר להשתמש ב B כדי להחליף A וכל רכוש שמובטח על ידי A חייב להיות מובטח גם על ידי B.
מותר לסוג המשנה לחזק ואף להוסיף תכונות שאינן בסוג העל העל, מה שאומר שהוא מאפשר להרחיב את סוג העל העל. לכן, במקום ליצור סוג-על חדש בכל פעם שמשהו חדש נדרש ואז להעתיק מאפיינים ותנאים מסוג-על אחר, ניתן פשוט ליצור סוג משנה שמרחיב את סוג-העל עם תכונות או תכונות נוספות מבלי לשנות את סוג-העל. ואז, במקרה זה, כל מה שניתן להוכיח לסוג העל העלול ניתן להוכיח גם לסוג המשנה ועוד. אם תתייחסו לסוג המשנה אך ורק באותה צורה של סוג העל-על ידי שימוש בשיטות ושדות מסוג העל-סוג בלבד ושואלים אותו, התוצאות יתאימו לאובייקטים של סוג העל-העל.
