Книга: Описание языка PascalABC.NET
Перегрузка операций
Перегрузка операций
Перегрузка операций - это средство языка, позволяющее вводить операции над типами, определяемыми пользователем. В PascalABC.NET можно использовать только предопределенные значки операций. Перегрузка операций для типа T, являющегося классом или записью, осуществляется при помощи статической (классовой) функции-метода со специальным именем operator ЗнакОперации. Перегрузка специальных операций +=, -=, *=, /= осуществляется с помощью статической (классовой) процедуры-метода, первый параметр которой передается по ссылке.
Например:
type
Complex = record
re,im: real;
class functionoperator+(a,b: Complex): Complex;
begin
Result.re := a.re + b.re;
Result.im := a.im + b.im;
end;
class functionoperator=(a,b: Complex): boolean;
begin
Result := (a.re = b.re) and (a.im = b.im);
end;
end;
Для перегрузки операций действуют следующие правила:
* Перегружать можно все операции за исключением @ (взятие адреса), as, is, new. Кроме того, можно перегружать специальные бинарные операции +=, -=, *=, /=, не возвращающие значений.
* Перегружать можно только еще не перегруженные операции.
* Тип по крайней мере одного операнда должен совпадать с типом класса или записи, внутри которого определена операция.
* Перегрузка осуществляется с помощью статической функции-метода, количество параметров которой совпадает с количеством параметров соответствующей операции (2 - для бинарной, 1 - для унарной).
* Перегрузка операций +=, -=, *=, /= для соответствующих операторов осуществляется с помощью статической процедуры-метода, первый параметр которой передается по ссылке и имеет тип записи или класса, в котором определяется данная операция, второй - передается по значению и совместим по присваиванию с первым. Перегрузка остальных операций осуществляется с помощью статических функций-методов.
* Типы интерфейсов не могут быть типами параметров. Причина: типы параметров должны вычисляться на этапе компиляции.
* Операции приведения типа задаются статическими функциями, у которых вместо имени используется operatorimplicit (для неявного приведения типа) или operatorexplicit (для явного приведения типа).
Например:
type
Complex = record
...
class functionoperator implicit(d: real): Complex;
begin
Result.re := d;
Result.im := 0;
end;
class functionoperator explicit(c: Complex): string;
begin
Result := Format('({0},{1})',c.re,c.im);
end;
class procedureoperator+=(var c: Complex; value: Complex);
begin
c.re += value.re;
c.im += value.im;
end;
class functionoperator+(c,c1: Complex): Complex;
begin
Result.re := c.re + c1.re;
Result.im := c.im + c1.im;
end;
end;
Можно перегружать операции с помощью методов расширения - в этом случае при описании подпрограммы не писать слово class. Например, так в системном модуле реализовано добавление числа к строке:
function string.operator+(str: string; n: integer): string;
begin
result := str + n.ToString;
end;
- Обзор классов и объектов
- Видимость членов класса и модификаторы доступа
- Методы
- Инициализаторы полей
- Конструкторы
- Предварительное объявление классов
- Переменная Self
- Свойства
- Индексные свойства
- Наследование
- Переопределение методов
- Наследование конструкторов
- Виртуальные методы и полиморфизм
- Абстрактные методы
- Перегрузка операций
- Классовые поля, методы и конструкторы
- Методы расширения
- Анонимные классы
- Автоклассы
- ОО-разработка и перегрузка
- ГЛАВА 9 Перегрузка операторов
- Перегрузка операций проверки на тождественность
- Перегрузка имен подпрограмм
- Внутреннее представление перегруженных операций
- Заключительные замечания о перегрузке операций
- Перегрузка бинарных операций
- Перегрузка унарных операций
- Перегрузка унаследованных свойств
- Перегрузка операций сравнения