scala – 单例类型中的表面不一致
发布时间：2020-12-16 18:50:25 所属栏目：安全 来源：网络整理
导读：我有几个关于单例类型的问题,但由于它们都非常密切相关,我将它们发布在同一个线程下. Q1.为什么#1不编译但#2呢？ def id(x: Any): x.type = x // #1def id(x: AnyRef): x.type = x // #2 Q2.在String的情况下正确推断出类型,但在我尝试过的其他引用类型的情
|
我有几个关于单例类型的问题,但由于它们都非常密切相关,我将它们发布在同一个线程下.
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
解决方法
单例类型只能引用AnyRef后代.有关详细信息,请参见
Why do String literals conform to 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
（编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |