Описание языка «PascalABC.NET».

Обзор классов и объектов.

Описание классов.

Класс представляет собой составной тип, состоящий из полей (переменных), методов (процедур и функций) и свойств. Описание класса имеет вид:

Type. Имя класса = class. Секция1. Секция2. ... end;

Каждая секция имеет вид:

Модификатор доступа. Описания полей. Объявления или описания методов и описания свойств.

Модификатор доступа в первой секции может отсутствовать, при этом подразумевается модификатор internal (видимость всюду внутри сборки).

Методы могут описываться как внутри, так и вне класса. При описании метода внутри класса его имя предваряется именем класса с последующей точкой. Например:

Type. Person = class. Private. FName: string; FAge: integer; Public. constructor Create(Name: string; Age: integer); begin. FName := Name; FAge := Age; end; Procedure Print; Property Name: string read fName; Property Age: integer read fAge; End; Procedure Person.Print; Begin. WritelnFormat('Имя: {0} Возраст: {1}', Name, Age); End;

После слова class в скобках может быть указано имя класса-предка (см. Наследование), а также через запятую список поддерживаемых интерфейсов.

Перед словом class может быть указано ключевое слово final в этом случае от класса запрещено наследовать.

Все описания и объявления внутри класса образуют тело класса. Поля и методы образуют интерфейс класса. Инициализаторы полей описаны здесь.

Классы могут описываться только на глобальном уровне. Локальные определения классов (т.е. определения в разделе описания подпрограмм) запрещены.

Переменные типа класс.

В языке PascalABC.NET классы являются ссылочными типами. Это значит, что переменная типа класс хранит в действительности ссылку на объект.

Переменные типа класс называются объектами или экземплярами класса. Они инициализируются вызовом конструктора класса - специального метода, выделяющего память под объект класса и инициализирующего его поля:

Var p: Person := new Person('Иванов',20);

После инициализации через переменную типа класс можно обращаться к публичным членам класса (полям, методам, свойствам), используя точечную нотацию:

Print(p.Name,p.Age); P.Print;

Вывод переменной типа класс.

По умолчанию процедура write для переменной типа класс выводит содержимое её публичных полей и свойств в круглых скобках через запятую:

Write(p); // Иванов 20.

Чтобы изменить это поведение, в классе следует переопределить виртуальный метод ToString класса Object - в этом случае именно он будет вызываться при выводе объекта.

Например:

Type. Person = class. ... function ToString: string; override; Begin. Result := string.Format('Имя: {0} Возраст: {1}', Name, Age); End; End; ... Var p: Person := new Person('Иванов',20); Writeln(p); // Имя: Иванов Возраст: 20.

Присваивание и передача в качестве параметров подпрограмм.

Переменная типа класс является ссылкой и хранит ссылку на объект, создаваемый вызовом конструктора.

Как ссылка переменная типа класс может хранить значение nil:

P := nil; ... If p = nil then ...

При присваивании переменных типа класс копируется только ссылка. После присваивания обе переменные типа класс будут ссылаться на один объект и совместно модифицировать его:

Var p1,p2: Person; ... P1 := new Person('Петров',20); P2 := p1; P1.IncAge; P2.Print; // Имя: Петров Возраст: 21.

Сравнение на равенство.

При сравнении переменных типа класс на равенство сравниваются ссылки, а не значения.

Var p1 := new Person('Петров',20); Var p2 := new Person('Петров',20); Writeln(p1=p2); // False. P2 := p1; Writeln(p1=p2); // True.

Это поведение можно изменить, перегрузив операцию = для класса.