W Cat - Описание языка PascalABC.NET

* Методы расширения не могут быть виртуальными.

* Если метод расширения имеет то же имя, что и обычный метод, то предпочте5ние отдаётся обычному методу.

Иногда необходимо сгенерировать объект класса на лету, не описывая класс. У такого класса нет имени (он анонимный), но известен набор полей.

Объект анонимного класса создаётся следующим образом:

varp := new class(Name := 'Иванов', Age := 20);

Println(p.Name,p.Age);

У объекта p автоматически генерируются публичные поля Name и Age соответствующих типов.

Два объекта принадлежат к одному анонимному классу если они имеют одинаковый набор полей, и эти поля принадлежат к одинаковым типам. Например:

varp1 := new class(Name := 'Петров', Age := 21);

p1 := p;

Если поля безымянного класса инициализируются переменными, то имена полей можно не писать - они генерируются автоматически и их имена и типы совпадают с именами и типами переменных. Например:

varName := 'Попова';

varAge := 23;

varp := new class(Name, Age);

Println(p.Name,p.Age);

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

var d := new DateTime(2015,5,15);

var p := new class(d.Day, d.Month, d.Year);

Println(p.Day, p.Month, p.Year);

Println(p);

При описании класса перед словом class можно поставить слово auto. Такие классы называются автоклассами. Для автоклассов автоматически генерируется конструктор с параметрами, инициализирующими все поля класса, а также метод ToString, выводящий значения всех полей класса. Например:

typePerson = auto class

name: string;

age: integer;

end;

var p := new Person('Иванов',20); // конструктор автокласса генерируется автоматически

writeln(p); // вызывается сгенерированный автоматически метод ToString

Здесь в отличие от действия writeln по умолчанию выводятся значения не только публичных, а всех полей.

Когда во время выполнения программы происходит ошибка, генерируется так называемое исключение , которое можно перехватить и обработать . Исключение представляет собой объект класса, производного от класса Exception, создающийся при возникновении исключительной ситуации.

Имеется ряд стандартных типов исключений. Можно также определять пользовательские типы исключений.

Если исключение не обработать, то программа завершится с ошибкой. Для обработки исключений используется оператор try... except.

Обычно исключения возбуждаются в подпрограммах, поскольку разработчик подпрограммы, как правило, не знает, как обработать ошибочную ситуацию. В месте вызова подпрограммы уже, как правило, известно, каким образом следует обрабатывать исключение. Например, пусть разработана следующая функция:

functionmymod(a,b: integer): integer;

begin

Result := a - (a divb) * b;

end;

Если вызвать mymod(1,0), то будет возбуждено исключение System.DivideByZeroException целочисленного деления на 0.

Рассмотрим наивную попытку обработать ошибочную ситуацию внутри функции mymod:

functionmymod(a,b: integer): integer;

begin

ifb = 0 then

writeln('Функция mymod: деление на 0');

Result := a - (a divb) * b;

end;

Подобное решение является плохим, поскольку программист, разрабатывающий функцию mymod, не знает, как она будет использоваться. Например, при вызове функции mymod в цикле мы увидим на экране многократное сообщение об ошибке.

Простейший способ - оставить исходный вариант функции и обрабатывать исключение System.DivideByZeroException:

try

readln(a,b);

writeln(mymod(a,b) mod(a-1));

...

except

onSystem.DivideByZeroException do

writeln('Деление на 0');

end;

Отличие от вывода внутри функции состоит в том, что при разработке программы мы сами определяем действие, которое необходимо выполнять при обработке исключения. Это может быть специфическое сообщение об ошибке, вывод в файл ошибок или пустой оператор (в случае, когда требуется беззвучно погасить исключение).

Однако, данное решение обладает существенным недостатком: исключение System.DivideByZeroException будет возбуждено и при a=1 и не будет связано с функцией mymod. Для устранения подобного недостатка определим собственный класс исключения и возбудим его в функции mymod:

typeMyModErrorException = class(System.Exception) end;