scala – 参数化类型的隐式类解析

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

导读：在下面的示例中,似乎 Scala编译器仅在识别为隐式类时才识别Wrapper的高级表示.这是为什么？ scala case class Nested(n: Int)defined class Nestedscala case class Wrapper[A : Product](nested: A)defined class Wrapperscala implicit class I1[W : Wrapp

在下面的示例中,似乎 Scala编译器仅在识别为隐式类时才识别Wrapper的高级表示.这是为什么？

scala> case class Nested(n: Int)
defined class Nested

scala> case class Wrapper[A <: Product](nested: A)
defined class Wrapper

scala> implicit class I1[W <: Wrapper[A],A <: Product](underlying: W) {
     | def ok1() = true
     | }
defined class I1

scala> Wrapper(Nested(5)).ok1()
<console>:26: error: value ok1 is not a member of Wrapper[Nested]
       Wrapper(Nested(5)).ok1()
                          ^
scala> implicit class I2[W <: Wrapper[_]](underlying: W) {
     | def ok2() = true
     | }
defined class I2

scala> Wrapper(Nested(5)).ok2()
res1: Boolean = true

隐式解决方案是否有一个解决方法来维护有关嵌套类型的完整信息,允许将类型类证据(例如TypeTag)附加到它上面？

注意：上面的示例显示Nested和Wrapper是案例类,但这不是问题的组成部分.它只是为更短更简单的控制台会话提供便利.

解决方法

由于Scala类型推断的限制,这种情况正在发生.见 SI-2272.

隐式无法解析,因为编译器无法正确推断A.如果我们启用-Xlog-implicits,我们可以看到这一点.请注意,A被推断为Nothing：

I1 is not a valid implicit value for Test.w.type => ?{def ok: ?} because:
inferred type arguments [Wrapper[Nested],Nothing] do not conform to method I1's type parameter bounds [W <: Wrapper[A],A <: Product]

如果我们尝试手动实例化I1,会发生同样的事情：

scala> val w = Wrapper(Nested(5))
w: Wrapper[Nested] = Wrapper(Nested(5))

scala> new I1(w)
<console>:21: error: inferred type arguments [Wrapper[Nested],Nothing] do not conform to class I1's type parameter bounds [W <: Wrapper[A],A <: Product]
       new I1(w)
       ^
<console>:21: error: type mismatch;
 found   : Wrapper[Nested]
 required: W
       new I1(w)
              ^

现在,解决方法.

首先,Wrapper是一个案例类,因此它没有理由让它有子类型.您可以删除W类型参数,并将底层更改为Wrapper [A]：

implicit class I1[A <: Product](underlying: Wrapper[A]) {
  def ok = true
}

如果您仍然希望需要两个类型参数,您还可以要求隐含证据表明W<：<包装器[A],同时删除类型参数W的上限：

implicit class I1[W,A <: Product](underlying: W)(implicit ev: W <:< Wrapper[A]) {
  def ok = true
}

（编辑：李大同）

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