Kotlin：在什么情况下会发生隐式转换？

Question

我是 Kotlin 的初学者。 我最熟悉 Python，在进入 Kotlin 之前，我只是通读了基本的 Java 教程https://docs.oracle.com/javase/tutorial/java/index.html 。

在阅读 Kotlin 文档的这一部分时，我想到了一个问题

我从文档的上述部分了解到：

对于赋值= ，会发生隐式类型转换。 如果左侧的类型是超类型或右侧类型的相同类型，则代码将编译。 否则就是编译错误。 在Int和Long情况下，它们都是Number子类型，但它们都不是彼此的子类型，因此隐式转换不起作用。 因此，我们需要使用 .toLong() 或 .toInt() 之类的方法来显式转换它们。

然后当我阅读部分

val l = 1L + 3 // Long + Int => Long

我开始想知道在这种情况下是否会发生隐式类型转换。

文档说这与运算符重载有关。 这个操作符重载是如何在幕后实现的？ 我试图在 Github https://github.com/JetBrains/kotlin/blob/master/core/builtins/native/kotlin/Primitives.kt找到源代码，但这里的函数只是声明但没有实现。 我在哪里可以找到实现？

似乎操作重载实际上并没有执行类型转换。 我们是否只是实现所有可能的具有相同名称但不同参数类型签名的函数，以便推断类型，然后选择具有匹配签名的函数？

还有一个普遍的问题：在 Kotlin 中，隐式转换究竟在哪些情况下发生？

Answer 1

对于赋值 =，隐式类型转换发生。 如果左侧的类型是超类型或右侧类型的相同类型，则代码将编译。

作业在这方面并不特别。 更一般地，如果表达式的预期类型是超类型或与实际类型相同，则代码编译； 只是赋值右侧的预期类型是左侧的类型。 我不会说插入了隐式转换，但是如果您这样看，我认为不会有任何问题。

我们是否只是实现所有可能的具有相同名称但不同参数类型签名的函数，以便推断类型，然后选择具有匹配签名的函数？

是的，完全正确（对于这种情况）。 如果要支持原始类型，则需要为所有原始类型提供重载。

所以1L + 3就解析和类型检查而言只是一个方法调用（特别是`Long.plus(Int): Long ），不涉及隐式转换。 但是这些方法内置在编译器中以进行特殊处理，这就是您看不到实现的原因。

它变成了两个字节码指令i2l （“将 int 转换为 long”）和ladd （“添加两个 long”），但这不是你应该关心的事情，或者很长一段时间。

还有一个普遍的问题：在 Kotlin 中，隐式转换究竟在哪些情况下发生？

智能强制转换是 Kotlin 最接近隐式转换的方式，但它们与其他语言中的 ics 有很大不同，我不会使用这个名称。 所以我会说永远不会。