scala - 单例类型中表面上的不一致

Question

我有几个关于单例类型的问题，但是由于它们都非常密切相关，所以我将它们发布在同一个线程下。

Q1。为什么#1 不编译而#2 编译？

def id(x: Any): x.type = x      // #1
def id(x: AnyRef): x.type = x   // #2

Q2。在我尝试过的其他引用类型的情况下，类型被正确推断，但在其他引用类型的情况下String却没有。为什么呢？

scala> id("hello")
res3: String = hello

scala> id(BigInt(9))
res4: AnyRef = 9

scala> class Foo
defined class Foo

scala> id(new Foo)
res5: AnyRef = Foo@7c5c5601

Answer 1

单例类型只能引用AnyRef后代。有关更多详细信息，请参阅为什么字符串文字符合 Scala Singleton。

应用程序的参数id(BigInt(9))不能通过稳定的路径引用，因此没有有趣的单例类型。

scala> id(new {})
res4: AnyRef = $anon$1@7440d1b0

scala> var o = new {}; id(o)
o: Object = $anon$1@68207d99
res5: AnyRef = $anon$1@68207d99

scala> def o = new {}; id(o)
o: Object
res6: AnyRef = $anon$1@2d76343e

scala> val o = new {}; id(o) // Third time's the charm!
o: Object = $anon$1@3806846c
res7: o.type = $anon$1@3806846c

Answer 2

我在 #2 上也遇到错误（使用 Scala 2.9.1.final）：

error: illegal dependent method type
  def id(x: AnyRef): x.type = x;          ^
one error found

我相信正确的解决方案是使用id类型参数使用 make polymorphic：

def id[T <: Any](x: T): T = x;