隐式转换和 null

Question

以下代码

import scala.language.implicitConversions

object myObj {
  implicit def nullToInt(x: Null) = 0

  def main(args: Array[String]): Unit = {
    val x = 1 + null
    val y = 1 + nullToInt(null)

    println(x + " " + y)
  }
}

给出以下结果

1null 1

我希望两个 val 都是 Int 并且等于 1。

显然第一个 val 是 String 并且等于“1null”。

Xprint:typer显示源代码被翻译成

package <empty> {
  import scala.language.implicitConversions;
  object myObj extends scala.AnyRef {
    def <init>(): myObj.type = {
      myObj.super.<init>();
      ()
    };
    implicit def nullToInt(x: Null): Int = 0;
    def main(args: Array[String]): Unit = {
      val x: String = 1.+(null);
      val y: Int = 1.+(myObj.this.nullToInt(null));
      scala.Predef.println(x.+(" ").+(y))
    }
  }
}

int 没有接受 null 的符号方法

scala> 10+null
res0: String = 10null

scala> 10*null
<console>:12: error: overloaded method value * with alternatives:
  (x: Double)Double <and>
  (x: Float)Float <and>
  (x: Long)Long <and>
  (x: Int)Int <and>
  (x: Char)Int <and>
  (x: Short)Int <and>
  (x: Byte)Int
 cannot be applied to (Null)
       10*null
         ^

scala> 10-null
<console>:12: error: overloaded method value - with alternatives:
  (x: Double)Double <and>
  (x: Float)Float <and>
  (x: Long)Long <and>
  (x: Int)Int <and>
  (x: Char)Int <and>
  (x: Short)Int <and>
  (x: Byte)Int
 cannot be applied to (Null)
       10-null
         ^

我假设“1”和“null”都被转换为字符串，而不是应用隐式 nullToInt。有人能解释一下编译器是怎么想出来的吗？使用了什么逻辑/工作流程？

另一个问题是是否有办法启用隐式 nullToInt？

附言。我不是在这里谈论最佳实践。随意将问题视为学术兴趣问题。

Answer 1

我会尝试回答我自己的问题。

这个主题有点误导，实际上根本没有对 val x 的表达式应用任何隐式转换。 Null 是 String 的子类型，而 Int 具有方法 abstract def +(x: String): String，因此它也可以应用于 Null。

Xprint:typer 的输出也证实了这一点，因为它应该显示所有隐式转换，显然它没有显示 x 的任何表达式。

并回答“是否有办法启用隐式 nullToInt”的问题，启用它的唯一方法是在这种情况下显式指定，因为在没有它们的情况下成功编译代码时编译器不会考虑使用任何隐式。

Answer 2

所以，@AndreyTyukin 说的是对的，机械地我认为还有更多。至于为什么，有两件事正在发生。

1. Any 在Predef 中使用implicit 进行装饰，请参见以下内容：

   implicit final class any2stringadd[A] extends AnyVal

如您所见，any2stringadd 负责+，您可以在此处查看签名：

def +(other: String): String

更正：没有implicit conversions，比那更简单

1. 查看Predef 和any2stringadd 的源代码确实在起作用，如下

implicit final class any2stringadd[A](private val self: A) extends AnyVal { def +(other: String): String = String.valueOf(self) + other }

1 的String.valueOf 将返回1 的String。在 Java 中（并使用 jshell 进行验证），添加到 null 的 1 中的 String 将变为 1null。

jshell> "1" + null
$1 ==> "1null"