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

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

Данная таблица показывает, что когда компилятор обрабатывает, например, выражение +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 описаны в Делегированные свойства.