Kotlin操作符符重载 - Kotlin教程™

Kotlin 允许我们为自己的类型提供预定义的一组操作符的实现。这些操作符具有固定的符号表示
(如 +*)和固定的优先级。为实现这样的操作符,我们为相应的类型(即二元操作符左侧的类型和一元操作符的参数类型)提供了一个固定名字的成员函数
扩展函数
重载操作符的函数需要用 operator 修饰符标记。

约定

在这里我们描述为不同操作符规范操作符重载的约定。

一元操作

表达式 翻译为
+a a.unaryPlus()
-a a.unaryMinus()
!a a.not()

这个表是说,当编译器处理例如表达式 +a 时,它执行以下步骤:

注意 这些操作以及所有其他操作都针对基本类型做了优化,不会为它们引入函数调用的开销。

表达式 翻译为
a++ a.inc() + 见下文
a-- a.dec() + 见下文

inc()dec() 函数必须返回一个值,它用于赋值给使用
++-- 操作的变量。它们不应该改变在其上调用 inc()dec() 的对象。

编译器执行以下步骤来解析后缀形式的操作符,例如 a++

计算表达式的步骤是:

对于 a--,步骤是完全类似的。

对于前缀形式 ++a--a 以相同方式解析,其步骤是:

二元操作

表达式 翻译为
a + b a.plus(b)
a - b a.minus(b)
a * b a.times(b)
a / b a.div(b)
a % b a.rem(b)a.mod(b) (已弃用)
a..b a.rangeTo(b)

对于此表中的操作,编译器只是解析成翻译为列中的表达式。

请注意,自 Kotlin 1.1 起支持 rem 运算符。Kotlin 1.0 使用 mod 运算符,它在
Kotlin 1.1 中被弃用。

表达式 翻译为
a in b b.contains(a)
a !in b !b.contains(a)

对于 in!in,过程是相同的,但是参数的顺序是相反的。
{:#in}

表达式 翻译为
a[i] a.get(i)
a[i, j] a.get(i, j)
a[i_1, ……, i_n] a.get(i_1, ……, i_n)
a[i] = b a.set(i, b)
a[i, j] = b a.set(i, j, b)
a[i_1, ……, i_n] = b a.set(i_1, ……, i_n, b)

方括号转换为调用带有适当数量参数的 getset

表达式 翻译为
a() a.invoke()
a(i) a.invoke(i)
a(i, j) a.invoke(i, j)
a(i_1, ……, i_n) a.invoke(i_1, ……, i_n)

圆括号转换为调用带有适当数量参数的 invoke

表达式 翻译为
a += b a.plusAssign(b)
a -= b a.minusAssign(b)
a *= b a.timesAssign(b)
a /= b a.divAssign(b)
a %= b a.modAssign(b)

{:#assignments}

对于赋值操作,例如 a += b,编译器执行以下步骤:

注意:赋值在 Kotlin 中不是表达式。
{:#Equals}

表达式 翻译为
a == b a?.equals(b) ?: (b === null)
a != b !(a?.equals(b) ?: (b === null))

注意===!==(同一性检查)不可重载,因此不存在对他们的约定

这个 == 操作符有些特殊:它被翻译成一个复杂的表达式,用于筛选 null 值。
null == null 总是 true,对于非空的 xx == null 总是 false 而不会调用 x.equals()

表达式 翻译为
a > b a.compareTo(b) > 0
a < b a.compareTo(b) < 0
a >= b a.compareTo(b) >= 0
a <= b a.compareTo(b) <= 0

所有的比较都转换为对 compareTo 的调用,这个函数需要返回 Int

命名函数的中缀调用

我们可以通过中缀函数的调用 来模拟自定义中缀操作符。


本站所有代码下载:请扫描本页面底部(右侧)二维码并关注微信公众号,回复:"代码下载" 获取。

上一篇:Kotlin相等性下一篇:Kotlin null值安全