Перегрузка операторов

Унарные префиксные операторы

Эта таблица показывает, что при обработке компилятором, например, выражения +a, выполняются следующие шаги:

• Определяется тип a, пусть это будет T.

• Ищется функция unaryPlus() с модификатором operator и без параметров для получателя T, что означает функцию-член или функцию-расширение.

• Если функция отсутствует или неоднозначна, это ошибка компиляции.

• Если функция присутствует и её тип возвращаемого значения является R, то выражение +a имеет тип R.

В качестве примера, вот как можно перегрузить унарный оператор минус:

data class Point(val x: Int, val y: Int)

operator fun Point.unaryMinus() = Point(-x, -y)

val point = Point(10, 20)

fun main() {
   println(-point)  // prints "Point(x=-10, y=-20)"
}

Инкременты и декременты

Функции inc() и dec() должны возвращать значение, которое будет присвоено переменной, к которой была применена операция ++ или --. Они не должны изменять объект, к которому был вызван inc или dec.

Компилятор выполняет следующие шаги для разрешения оператора в постфиксной форме, например, a++:

• Определяется тип a, пусть это будет T.

• Ищется функция inc() с модификатором operator и без параметров, применимая к получателю типа T.

• Проверяется, что тип возвращаемого значения функции является подтипом T.

Эффект вычисления выражения:

• Сохранить начальное значение a во временное хранилище a0.

• Присвоить результат a0.inc() переменной a.

• Возвратить a0 в качестве результата выражения.

Для a-- шаги полностью аналогичны.

Для префиксных форм ++a и --a разрешение работает аналогично, и эффект:

• Присвоить результат a.inc() переменной a.

• Возвратить новое значение a как результат выражения.

Арифметические операторы

Для операций в этой таблице компилятор просто разрешает выражение в столбце Переведено в.

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

data class Counter(val dayIndex: Int) {
    operator fun plus(increment: Int): Counter {
        return Counter(dayIndex + increment)
    }
}

Оператор in

Для in и !in процедура аналогична, но порядок аргументов обратный.

Оператор индексированного доступа

Квадратные скобки переводятся в вызовы get и set с соответствующим количеством аргументов.

Оператор вызова

Скобки переводятся в вызовы invoke с соответствующим количеством аргументов.

Расширенные присваивания

Для операций присваивания, например, a += b, компилятор выполняет следующие шаги:

• Если функция из правого столбца доступна:

  • Если соответствующая бинарная функция (то есть plus() для plusAssign()) также доступна, a является изменяемой переменной, а возвращаемый тип plus является подтипом типа a, сообщить об ошибке (неопределённость).

  • Убедиться, что её возвращаемый тип является Unit, в противном случае сообщить об ошибке.

  • Сгенерировать код для a.plusAssign(b).

• В противном случае попытаться сгенерировать код для a = a + b (это включает проверку типа: тип a + b должен быть подтипом a).

Операторы равенства и неравенства

Эти операторы работают только с функцией equals(other: Any?): Boolean, которую можно переопределить для предоставления реализации пользовательской проверки равенства. Любая другая функция с тем же именем (например, equals(other: Foo)) не будет вызвана.

Операция == специальная: она переводится в сложное выражение, которое проверяет наличие null. null == null всегда истинно, а x == null для не-нулевого x всегда ложно и не вызовет x.equals().

Операторы сравнения

Все сравнения переводятся в вызовы compareTo, который должен возвращать Int.

Операторы делегирования свойств

Операторы функций provideDelegate, getValue и setValue описаны в Делегированные свойства.