עקרון ההחלפה של ליסקוב

החלפה הוא עקרון תכנות מונחה עצמים לפיו, בתוכנת מחשב, אם S הוא תת-טיפוס של T, אז אובייקטים מטיפוס T עשויים להיות מוחלפים עם אובייקטים מטיפוס S מבלי לשנות את ההתנהגות של T (נכונות, ביצוע משימות, ועוד).  עקרון ההחלפה של ליסקוב הוא הגדרה מסוימת של קשר בין טיפוסים לתת-טיפוסים שנקרא strong) behavioral subtyping) שהוצג לראשונה ב-1987 על ידי ברברה ליסקוב, וב-1994 יחד עם ג'נט ווינג היא ניסחה את העיקרון בתמציתיות על דף נייר כדלקמן:תהי (f(x תכונה שניתן להוכיח את נכונותה עבור אובייקטים x מטיפוס T, ויהי S תת-טיפוס של T, אזי (f(y צריכה להיות נכונה עבור אובייקטים y מסוג S. ^[1]

השתמש ב-AI

תוכן עניינים

1. 4 יחסים: תוכנית מחשב, תכנות מונחה-עצמים, טיפוס נתונים, ברברה ליסקוב.

2. תכנות מונחה-עצמים

תוכנית מחשב

תוכנית מחשב היא רצף של הוראות בשפת תכנות כלשהי, שנועדו לבצע משימה מסוימת במחשב.

לִרְאוֹת עקרון ההחלפה של ליסקוב ותוכנית מחשב

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

תכנות מונחה־עצמים או לעיתים תכנות מוכוון־עצמים (באנגלית: Object-Oriented Programming, או בקיצור OOP) הוא פרדיגמת תכנות המשתמשת ב"עצמים" (אובייקטים) לשם תכנות תוכניות מחשב.

לִרְאוֹת עקרון ההחלפה של ליסקוב ותכנות מונחה-עצמים

טיפוס נתונים

טיפוס נתונים (באנגלית: data type) הוא מושג בשפות תכנות המתאר את סוגו של משתנה השייך לו, כלומר מגדיר אלו ערכים הוא עשוי לקבל, ובאלו דרכים.

לִרְאוֹת עקרון ההחלפה של ליסקוב וטיפוס נתונים

ברברה ליסקוב

ברברה ג'יין הוברמן ליסקוב (באנגלית: Barbara Jane Huberman Liskov; נולדה ב-7 בנובמבר 1939) היא מדענית אמריקאית בתחום מדעי המחשב.

לִרְאוֹת עקרון ההחלפה של ליסקוב וברברה ליסקוב

ראה גם

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

• COM
• SOLID (עיצוב מונחה עצמים)
• Type introspection
• אבסטרקציה (מדעי המחשב)
• אובייקט (מדעי המחשב)
• העדפת מוסכמות על פני הגדרות
• ירושה (תכנות)
• כימוס
• מכל (טיפוס נתונים מופשט)
• ממשק (תכנות)
• מסד נתונים מונחה-עצמים
• עקרון ההחלפה של ליסקוב
• עקרון פתיחות/סגירות
• פולימורפיזם (מדעי המחשב)
• צימוד (תוכנה)
• שלד תוכנה
• תכנות מונחה-עצמים

אזכור

[1] https://he.wikipedia.org/wiki/עקרון_ההחלפה_של_ליסקוב

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

זוהי מפה נפשית מקוונת ענקית המשמשת כבסיס לתרשימי מושג. זה בחינם לשימוש וכל מאמר או מסמך ניתן להוריד. זהו כלים, משאבים או התייחסות למחקר, מחקר, חינוך, למידה והוראה, שיכול להיות בשימוש על ידי מורים, מחנכים, תלמידים או סטודנטים; לעולם האקדמי: לבית ספר, יסודי, בית ספר תיכון המשני,, אמצע, מכללה, תואר טכני, מכללה, אוניברסיטה, סטודנט לתואר ראשון, תואר שני או תואר דוקטור; למסמכים, דוחות, פרויקטים, רעיונות, תיעוד, סקרים, סיכומים, או תזה. הנה ההגדרה, הסבר, התיאור, או את המשמעות של כל משמעותי שבו אתה זקוק למידע, ורשימה של המושגים הקשורים בם כמילון מונח. זמין ב עברית, אַנגְלִית, סְפָרַדִית, פורטוגזית, יַפָּנִית, סִינִית, צָרְפָתִית, גֶרמָנִיָת, אִיטַלְקִית, לק, הוֹלַנדִי, רוּסִי, עֲרָבִית, הינדי, שוודי, אוקראיני, הוּנגָרִי, קטלאנית, צ׳כית, דַנִי, פִינִית, אינדונזי, נורבגי, רומנית, טורקי, ויאטנמית, קוריאנית, תאילנדית, יווני, בולגרית, קרואטית, סלובקית, ליטאית, פיליפינית, לטבית, אסטונית ו סלובנית. שפות נוספות בקרוב.

המידע מבוסס על ערכים מויקיפדיה ומיזמים אחרים של ויקימדיה, וזמין תחת רישיון Creative Commons ייחוס-שיתוף זהה.

יוניונפדיה אינה נתמכת על ידי קרן ויקימדיה או קשורה אליה.

Google Play, Android ואת הלוגו של Google Play הם סימנים מסחריים של Google Inc.

מדיניות פרטיות