meta class

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

אפשרות זו נקראת class reference או metaclass. האפשרות הזו מדברת שבזמן תכנון איננו יודעים מה המחלקה המדוייקת שאותה נקבל בתור פרמטר, והיא נקבעת רק בזמן ריצה !

עד כמה שיודע לי, למעט שפת פסקל ו objective c כל השפות האחרות שתומכות באפשרות הינן שפות דינמיות כדוגמת פיתון, רובי וכו' (את הרשימה המלאה אפשר למצוא בקישור שלי ל wikipedia).

אז כיצד עובדים עם Metaclass ?

ובכן דבר ראשון נגדיר מחלקה רגילה:

type
TMyNormalClass = class(TSomeParent)
...
procedure PushMessage(const Msg : String); virtual; abstrct;
...
end;

השלב הבא הוא להגדיר את ההגדרה הבאה:

TMyNormalClasses = class of TMyNormalClass;

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

כיצד נשתמש בזה אתם בטח שאולים את עצמכם, ובכן בצורה הבאה:

procedure PushMessage(const Msg : String; AInstance : TMyNormalClass; ANormalClass : TMyNormalClasses);
begin
if ANormalClass = TMyNormalClass then
raise Exception.Create('The given class is an abstract class.');
(AInstance as ANormalClass).PushMessage(Format('[%s] %s', [DateTimeToStr(now), Msg]);
end;

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

הסיבה ששמנו = ולא השתמשנו ב is היא בגלל שהמצב שלנו כאן הוא ש ANormalClass מכיל מחלקה ולא  Instance, ולכן אנחנו לא שואלים אם ה instance הוא מחלקה, אלא אנחנו שואלים האם מחלקה מסויימת היא המחלקה שאנחנו רוצים.

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

השורה של (AInstance as ANormalClass) היא השורה שעושה את הטריק. היא אומרת ל AInstance להתנהג בתור ANormalClass ולא בתור ה Instance שאנחנו מעבירים לה.

כיצד נשתמש בזה בפועל ?

type
TMyNormalImpelementation = class(TMyNormalClass)
...
procedure TMyNormalImpelementation.PushMessage(const Msg : String); override;
...
end;
...
var
MyInstance : TMyNormalClass;
...
begin
...
MyInstance := TMyNormalImpelementation.Create .... ;
...
PushMessage('Hello world', MyInstance, TMyNormalImpelementation);
...
end.

ובעצם עכשיו כל מימוש של הרשימה שלנו (כולל בנים שירשו מ TMyNormalImpelementation יוכלו להיכנס בתור פרמטר ללא בעיה והמהדר שלנו לא ילין על כך בכלל.

חשוב להבין שגם אחרי שאתחלנו את MyInstance בתור TMyNormalImpelementation, אנחנו יכולים להעביר כל class שיורש מ TMyNormalClass.