在Scala中使用存在类型时,为什么忽略类型参数的边界？

发布时间：2020-12-16 09:05:06 所属栏目：安全来源：网络整理

导读：我的意思是： scala class Bounded[T : String](val t: T)defined class Boundedscala val b: Bounded[_] = new Bounded("some string")b: Bounded[_] = Bounded@2b0a141escala b.tres0: Any = some string 为什么res0的类型是Any而不是String？它肯定知道b.

我的意思是：

scala> class Bounded[T <: String](val t: T)
defined class Bounded

scala> val b: Bounded[_] = new Bounded("some string")
b: Bounded[_] = Bounded@2b0a141e

scala> b.t
res0: Any = some string

为什么res0的类型是Any而不是String？它肯定知道b.t至少是一个String.写作

val b: Bounded[_ <: String] = new Bounded("some string")

有效,但对于类本身的声明而言是多余的.

解决方法

首先,我编辑了问题标题.您没有使用Scala不具备的依赖类型,而是存在类型.其次,你没有推断任何东西,你明确地声明了这种类型.

现在,如果你写了Bounded [Any],Scala不会让你.但是,存在类型的一个用途是处理类型参数完全未知的情况 – 例如Java原始类型,其中.

所以我的猜测是,在一个看似足够明显的情况下做一个例外会破坏其他情况,其中存在类型是处理某事的唯一方法.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!