לחובבן על חריגות ו-RTTI
- פותח הנושא annefan
- פורסם בתאריך
מה הקשר בין פולימורפיזם לבין RTTI?
פולימורפיזם מבוצע תוך שימוש ב-VTBL. בסה"כ מה שהקומפיילר צריך לעשות כדי לאפשר פולימורפיזם זה להחזיק טבלת (או טבלאות) מצביעים לפונקציות, בד"כ בראש האובייקט, ולהחזיק את האובייקט בצורה "מודולרית" (כלומר שה-DATA של האובייקט נבנית בהדרגה, לפי האבות). אין שום צורך בזיהוי טיפוס האובייקט על מנת ליישם פולימורפיזם. אתה יכול למצוא גם מימושים לפולי' ב-C, כמו שהיו טרם היות ++C - ואין בהם שילוב של זיהוי אובייקט.
פולימורפיזם מבוצע תוך שימוש ב-VTBL. בסה"כ מה שהקומפיילר צריך לעשות כדי לאפשר פולימורפיזם זה להחזיק טבלת (או טבלאות) מצביעים לפונקציות, בד"כ בראש האובייקט, ולהחזיק את האובייקט בצורה "מודולרית" (כלומר שה-DATA של האובייקט נבנית בהדרגה, לפי האבות). אין שום צורך בזיהוי טיפוס האובייקט על מנת ליישם פולימורפיזם. אתה יכול למצוא גם מימושים לפולי' ב-C, כמו שהיו טרם היות ++C - ואין בהם שילוב של זיהוי אובייקט.
מימוש פולימורפיזם
מבוצע בשלב הקומפילציה. למעשה, אם במחלקה רגילה שום מידע על הפונקציות לא נשמר, במחלקה פולימורפית כתובות הפונקציות נשמרות יחד עם שאר איברי המחלקה, ובשלב ההרצה לא נדרש שום זיהוי לאובייקט, אלא קריאה לפונקציה שכתובתה נשמר כחלק מהאובייקט. RTTI מאפשר לזהות כל משתנה לסוג שלו, זה לא מה שמתבצע בפולימורפיזם.
מבוצע בשלב הקומפילציה. למעשה, אם במחלקה רגילה שום מידע על הפונקציות לא נשמר, במחלקה פולימורפית כתובות הפונקציות נשמרות יחד עם שאר איברי המחלקה, ובשלב ההרצה לא נדרש שום זיהוי לאובייקט, אלא קריאה לפונקציה שכתובתה נשמר כחלק מהאובייקט. RTTI מאפשר לזהות כל משתנה לסוג שלו, זה לא מה שמתבצע בפולימורפיזם.
שוב אותו ויכוח ישן
קודם כל בואו נפריד בין הגדרות למימוש. VTBL זה המימוש הנפוץ, אולי היחיד , לפונקציות וירטואליות. אם יבוא מממש קומפיילרים, וימצא דרך יעילה יותר למימוש פולימורפיזם (לדוגמא ע"י type_info וכד'), זכותו, העיקר שאם מתכנת יכתוב פונקציה וירטאולית, ויפנה לאוביקט דרך מצביע לאב, תופעל הפונקציה המתאימה. בודאי ובודאי לגבי איך שויני מתאר את המימוש של פולימורפיזם. בספר "Inside the C++ Object Model" מתוארים כל מיני שלבים של המימוש, שבחלקם היו, ובחלקם עד היום ממומשים רק בזמן ריצה, מה לעשות. לגבי חריגות, מה שהתחיל את הדיון, יכול להיות שיש מימושים שדורשים RTTI מלא, יש כאלה שעושים את זה מאחרוי הגב שלך, ויש כאלה שלו.
קודם כל בואו נפריד בין הגדרות למימוש. VTBL זה המימוש הנפוץ, אולי היחיד , לפונקציות וירטואליות. אם יבוא מממש קומפיילרים, וימצא דרך יעילה יותר למימוש פולימורפיזם (לדוגמא ע"י type_info וכד'), זכותו, העיקר שאם מתכנת יכתוב פונקציה וירטאולית, ויפנה לאוביקט דרך מצביע לאב, תופעל הפונקציה המתאימה. בודאי ובודאי לגבי איך שויני מתאר את המימוש של פולימורפיזם. בספר "Inside the C++ Object Model" מתוארים כל מיני שלבים של המימוש, שבחלקם היו, ובחלקם עד היום ממומשים רק בזמן ריצה, מה לעשות. לגבי חריגות, מה שהתחיל את הדיון, יכול להיות שיש מימושים שדורשים RTTI מלא, יש כאלה שעושים את זה מאחרוי הגב שלך, ויש כאלה שלו.
אני לא מבין על מה אתה מדבר
עזוב אותך מהמימוש הקיים. למה שתרצה TYPE_INFO בשביל פולי? תן לי סיבה אחת טובה. אולי אני לא יודע על מה אני מדבר, אבל אני לא מבין למה זה טוב. יש סטנדרט. יש דרישות. מן הסתם, ברור שעדיף לעשות דברים בזמן קומפילציה ולא בזמן ריצה - אני לא חושב שאפשר להתווכח על זה - ולכן, אם יש דרך ליישם FEATURE X בזמן קומפילציה, זה עדיף על זמן ריצה. פולימורפיזם הוא אחד הדברים האלו. אז נכון, אתה יכול להכין טבלה שממפה TYPE לפונקציות בצד, ואז בזמן ריצה להגיע דרך הטבלה לפונקציה הנ"ל. מצד שני, אתה יכול גם לכתוב ב-JAVA, למה להתאמץ?
עזוב אותך מהמימוש הקיים. למה שתרצה TYPE_INFO בשביל פולי? תן לי סיבה אחת טובה. אולי אני לא יודע על מה אני מדבר, אבל אני לא מבין למה זה טוב. יש סטנדרט. יש דרישות. מן הסתם, ברור שעדיף לעשות דברים בזמן קומפילציה ולא בזמן ריצה - אני לא חושב שאפשר להתווכח על זה - ולכן, אם יש דרך ליישם FEATURE X בזמן קומפילציה, זה עדיף על זמן ריצה. פולימורפיזם הוא אחד הדברים האלו. אז נכון, אתה יכול להכין טבלה שממפה TYPE לפונקציות בצד, ואז בזמן ריצה להגיע דרך הטבלה לפונקציה הנ"ל. מצד שני, אתה יכול גם לכתוב ב-JAVA, למה להתאמץ?
גם בירושה מרובה?
גם בירושה וירטואלית? תקרא בספר הנ"ל על הבעיות כמות הפינות ב++C היא עצומה. מה שהצליחו לממש בזמן קומפילציה (ולינק, יש דברים שממומשים רק שם), נהדר. אבל, פולימורפיזם, הוא (או היה) הסוג הבסיסי של RTTI. היום הוא ממומש ב-VTBL, פעם הוא מומש בזמן ריצה. אם צריך לחשוב על מכונה, שהיא מאוד מהירה, אבל מוגבלת מאוד בזכרון, יתכן מאוד שיהיה כדאי לממש פולי ב-RTTI. בכל מקרה, השאלה המקורית היתה על היחס בין exceptions לבין RTTI, מה שמגדיר עוד רמה של RTTI, משהו בין כלום ל-RTTI המלא.
גם בירושה וירטואלית? תקרא בספר הנ"ל על הבעיות כמות הפינות ב++C היא עצומה. מה שהצליחו לממש בזמן קומפילציה (ולינק, יש דברים שממומשים רק שם), נהדר. אבל, פולימורפיזם, הוא (או היה) הסוג הבסיסי של RTTI. היום הוא ממומש ב-VTBL, פעם הוא מומש בזמן ריצה. אם צריך לחשוב על מכונה, שהיא מאוד מהירה, אבל מוגבלת מאוד בזכרון, יתכן מאוד שיהיה כדאי לממש פולי ב-RTTI. בכל מקרה, השאלה המקורית היתה על היחס בין exceptions לבין RTTI, מה שמגדיר עוד רמה של RTTI, משהו בין כלום ל-RTTI המלא.
אז אני אסביר (את דעתי)
שאני מתייחס ל RTTI אני מתייחס לזיהוי טיפוסים בזמן ריצה, טיפוסים שלא בהכרח יורשים מאותו class. לכן downcast ופונקציות וירטואליות לא קשורים לכאן. מה ש RTTI נותן זה typeof. למה (לפי ההגדרה הזאת) זה קשור ל exception? כי ב catch הקומפיילר צריך לזהות את הטיפוס של ה class שנזרק. מכיוון שלא כל ה class שנזרקים יורשים מאותו superclass, הקומפיילר חייב להפעיל, פנימית RTTI. לכן כדי לממש exception צריך לשמור על כל class עוד מידע, שיכול לשמש גם ל typeof.
שאני מתייחס ל RTTI אני מתייחס לזיהוי טיפוסים בזמן ריצה, טיפוסים שלא בהכרח יורשים מאותו class. לכן downcast ופונקציות וירטואליות לא קשורים לכאן. מה ש RTTI נותן זה typeof. למה (לפי ההגדרה הזאת) זה קשור ל exception? כי ב catch הקומפיילר צריך לזהות את הטיפוס של ה class שנזרק. מכיוון שלא כל ה class שנזרקים יורשים מאותו superclass, הקומפיילר חייב להפעיל, פנימית RTTI. לכן כדי לממש exception צריך לשמור על כל class עוד מידע, שיכול לשמש גם ל typeof.
יש הבדל בין RTTI מלא לרק לשמור סוג
טיפוס בעת זריקה. ב RTTI אתה שומר ביחד עם כל אובייקט שאתה יוצר את הסוג שלו, זה אומר שכל אובייקט שאתה יוצר בתוכנית לוקח יותר זכרון. בשביל exceptions לעומת זאת, מספיק רק שבכל קריאה לthrow אחד הפרמטרים הוא הטיפוס ואז הcatch הנכון מופעל, זה בסך הכל אומר קצת יותר שימוש במחסנית בקריאה לcatch הרבה, הרבה פחות תקורה.
טיפוס בעת זריקה. ב RTTI אתה שומר ביחד עם כל אובייקט שאתה יוצר את הסוג שלו, זה אומר שכל אובייקט שאתה יוצר בתוכנית לוקח יותר זכרון. בשביל exceptions לעומת זאת, מספיק רק שבכל קריאה לthrow אחד הפרמטרים הוא הטיפוס ואז הcatch הנכון מופעל, זה בסך הכל אומר קצת יותר שימוש במחסנית בקריאה לcatch הרבה, הרבה פחות תקורה.
Copyright©1996-2021,Tapuz Media Ltd. Forum software by XenForo® © 2010-2020 XenForo Ltd.