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

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

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