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

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

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