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