ОБЛАСТЬ ДІЇ ПОЛІВ ОБ'ЄКТУ І ПАРАМЕТР SELF_______________________________________

Принципи ООП вимагають, щоб прямі звернення до полів об'єкту в тексті основної програми проводилися якомога рідше, звернення до полів переважно тільки з доступних ним методів. Таким чином, в основній програмі повинні бути тільки виклики методів, що змінюють поля.

При зверненні до методу йому передається особливий системний ідентифікатор SELF (свій, внутрішній), що є узагальненим ім'ям конкретного екземпляра об'єкту. Усередині методів об'єкту діє неявний оператор WITH екземпляра (SELF). Це забезпечує обробку даних саме цього конкретного екземпляра об'єктного типу. Для об'єктів допустимий і явний With.

Зауважмо, що в жодному з попередніх прикладів конструкція

WITH обєкт DO …;

не зустрічається у явному вигляді. Поля даних об’єкта легко доступні за допомогою методів об’єкта. Хоча у вихідному коді поля даних об’єкта і тіла методів розділені, насправді вони сумісно використовують ту саму область дій. Саме тому один з методів TStudent може містити оператор GetRate:=Rate; без жодного кваліфікатора перед Rate. Можна сказати, що всередині методів об’єкта діє неявний оператор WITH. Наслідком цього є те, що формальні параметри методу, якщо такі є, не можуть співпадати за іменем ні з одним полем відповідного об’єкта.

Якщо об’єкт викликає метод, то виконується неявний оператор: WITH Self DO метод; що зв’язує об’єкт і його методи в одну область дій.

Неявний оператор WITH виконується шляхом передачі невидимого параметра методу кожного разу, коли цей метод викликається. Цей параметр називається Self і насправді він є 32-розрядним вказівником на екземпляр об’єкту, що здійснює виклик методу. Метод GetName, що стосується типу TStudent, приблизно еквівалентний опису

Procedure TStudent.GetName:String;

Begin

GetName:=Self.Name;

End;

хоча такий опис не зовсім коректний. Фактично, параметр Self є начебто невидимим полем об’єкту типу TStudent (чи будь-якого іншого об’єктного типу), доступ до якого здійснюється так само, як і до будь-якого іншого поля об’єкта.

Звичайно нема необхідності у використанні цього параметра, оскільки генерований Pascal-ем код обробляє його автоматично. Однак у деяких ситуаціях, коли, наприклад, об’єкти різних типів мають поля зі співпадаючими іменами або треба звернутися до об’єкту в цілому (взяти його адресу, порівняти його з іншим об’єктом цього ж типу), можна використовувати параметр Self явно.

<== попередня сторінка	\|	наступна сторінка ==>
Визначення методів	\|

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.014 сек.