; Virtual;
Virtual metodlar aniqlanishida quyidagi shartlar bajarilishi kerak.
Ajdod obyekt turida birorta metod virtual qilib aniqlangan bo‘lsa, shu turdan hosil bo‘luvchi barcha obyektlarda ham shu nomdagi metodlar virtual bo‘lishi kerak, ya’ni virtual metod keyinchalik statik deb e’lon qilinishi mumkin emas.
Agar virtual metod avlod obyektlarda qayta aniqlanadigan bo‘lsa, bu metod nomi va formal parametrlar, ularning joylashuvi o‘zgarmasligi kerak. Agar virtual metod funksiya bo‘lsa, uning qiymatini turi o‘zgarmasligi kerak.
Obyekt turida obyektni initsializatsiya qiluvchi metod bo‘lishi kerak. Bu metod boshqa metodlardan e’lonida Procedure so‘zi o‘rnida Constructor so‘zini ishlatilishi bilan farq qiladi. Bu kalit so‘z virtual metodlar uchun boshlang‘ich aniqlash ishlarini amalga oshiradi. Tarkibida virtual metodga ega obyekt albatta konstruktor bo‘lishi kerak. Konstruktor virtual metodlardan oldin chaqirilishi shart, aks holda noaniq holat yuzaga keladi.
O‘z ichida virtual metodi bor obyekt turidagi har bir o‘zgaruvchi alohida o‘z konstruktori bilan initsializatsiya qilinishi kerak. Har bir obyekt turi o‘zining “virtual metodlar jadvali”ga (VMT) ega bo‘ladi. Bu jadvalda obyekt turi, har bir virtual protsedura va funksiyalar kodlarining adreslari saqlanadi. Birorta obyekt turidagi o‘zgaruvchi tomonidan virtual metod chaqirilganda bu metod adresi VMT jadvalidan aniqlanadi.
Konstruktorning vazifasi obyekt turidagi har bir o‘zgaruvchi bilan VMT jadvalini bog‘lashdir. Har bir obyekt uchun VMT yagona bo‘ladi. Obyektda bir nechta konstruktor e’lon qilingan bo‘lishi mumkin. Konstruktor statik bo‘lishi kerak, uning ichidagi chaqiriluvchi metodlar virtual bo‘lishi mumkin.
Protsedura va funksiyalar polimorf obyektni uzatganda (virtual metodi bor), u holda undagi virtual metodlar adreslari mos obyektlar orqali VMT jadvaliga uzatiladi. Bu hol obyekt turini e’lon qilingandagi metodni bajarilishini kafolatlaydi. Aniqroq qilib aytadigan bo‘lsak, agar Z obyekt Y obyektdan virtual metodlarni vorislik orqali olsa va bu metoddagi boshqa metodlarga murojaat bo‘ladigan bo‘lsa, oxirgi metodlar Z obyektidan olinadi (statik metodlarda Y olinar edi).
Endi oxirgi misolni qaytadan yozib chiqamiz.
Type
ObjPos Object
Line, Col : Word;
Constructor Init (Init_Line,Init_Col : Word);
Function GetLine: Word; {Line qiymatini qabul qilish}
Function GetCol: Word; {Col qiymatini qabul qilish}
Procedure Print;Virtual;
End;
Constructor ObjPos.Init(Init_Line, Init_Col : Word);
Begin
Line : Init_Line;
Col : Init_Col;
End;
Function ObjPos.Get_Line : Word;
Begin
Get_Line : Line
End;
Function ObjPos.Get_Col : Word;
Begin
Get_Col :Col
End;
Procedure ObjPos.Print;
Begin
Write(#7);
End;
Type
ObjSym q Object (ObjPos)
Sym : Char;
Constructor Init (Init_Line, Init_Col : Word; Init_Sym: Char);
Procedure Print;
End;
Constructor ObjSym.Init;
Begin
ObjPos.Init(Init_Line, Init_Col);
Sym : qInit_Sym;
End;
Procedure ObjSym.Print;
Begin
Crt.GotoXY(Col,Line);
Write(Sym);
End;
Type
ObjStr q Object (ObjPos)
Substr : String;
Constructor Init (Init_Line, Init_Col : Word; Init_Str: String);
Procedure Print; Virtual;
End;
Constructor ObjStr.Init;
Begin
ObjPos.Init(Init_Line, Init_Col);
Substr : q Init_Str;
End;
Procedure ObjStr.Print;
Begin
Crt.GotoXY(Col,Line);
Write(Substr);
End;
Procedure PrintObj( Var Obj : ObjPos); {polimorf obyektni e’lon qilish}
Begin
Obj.Print
End;
Var
ObjSymVar : ObjSym;
ObjStrVar : ObjStr;
Begin
ObjSymVar.Init(10,10,’*’);
ObjStrVar.Init(20,20,’Polimorflik xossasini namoyon qilish’);
PrintObj(ObjStrVar);
PrintObj(ObjSymVar);
...
End.
Xulosa sifatida shuni qayd qilish mumkinki, hozirgi paytda keng rivojlanayotgan vizual programmalash tizimlarining asosida OYD yotadi va programmalashning bu usuli tobora kengaymoqda.