Scala:使用类型参数或抽象类型作为类型边界

时间:2014-10-06 19:15:09

标签: scala types type-bounds phantom-types

假设我有:

class Bounded[A] {
  type apply[C <: A] = C
}

编译:

implicitly[Bounded[Any]#apply[String] =:= String]

这失败了:

type Str = Bounded[Any]#apply[String]

...与:

[error] /home/grant/Workspace/scunits/test/src/main/scala/Box.scala:37: type arguments[String] do not conform to type apply's type parameter bounds [C <: A]
[error]   type Str = Bounded[Any]#apply[String]
[error]                           ^

我尝试使用抽象类型而不是类型参数,结果相同。我发现的唯一解决方法是实例化类型。这编译:

val boundedAny = new Bounded[Any]
type Str2 = boundedAny.apply[String]

不幸的是,我正在使用没有运行时实例的幻像类型,通常是出于性能原因。

为什么Scala会在这里产生编译错误?有更好的解决方法吗?

感谢您的帮助。

更新:除了下面的解决方法之外,我还需要一种方法来覆盖具有抽象类型边界的类型。我是这样做的:

object Test {
  class AbstractBounded[A] {
    type apply[C <: A] <: A
    class Workaround[C <: A] {
      type go = apply[C]
    }
  }
  class Bounded[A] extends AbstractBounded[A] {
    type apply[C <: A] = C
  }

  type Str = Bounded[Any]#Workaround[String]#go
}

1 个答案:

答案 0 :(得分:1)

怎么样:

scala> class Bounded[A] { class i[C <: A]{ type apply = C}}
defined class Bounded

scala> type TTT = Bounded[Any]#i[String]#apply
defined type alias TTT

scala> implicitly[TTT =:= String]
res4: =:=[TTT,String] = <function1>

在将参数绑定到类型别名之前,Scala忘记查找泛型(或其他&#34; abstract&#34;类型)。鉴于=:=工作正常 - 对我来说似乎是个错误。也许implicits正在解决另一个编译级别或在此检查之前。