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

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

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

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

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

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

• Если функция существует и её тип возвращаемого значения — 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

Круглые скобки преобразуются в вызовы 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)) игнорируются.

Kotlin вызывает .equals(), если ни один из операндов напрямую не сравнивается с null в выражении == и сравнение выполняется не между двумя типами с плавающей точкой. В противном случае Kotlin использует === для прямых сравнений null и сравнивает ненулевые значения с плавающей точкой по их числовому значению.

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

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

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

Функции-операторы provideDelegate, getValue и setValue описаны в разделе Делегированные свойства.