如何描述和修复此Scala类型不匹配错误？

Question

下面是我有时会遇到参数化类型的一种情况的特定实例。 基本上，有一些我知道是兼容的类型参数，但是我不知道如何在代码的某些部分证明这一点。

我正在写一个将URL映射到处理程序功能的请求路由器。 下面是一些简化的代码。 我创建一个List[Route] ，其中Route基本上是一个UrlMatcher, Function对。

class Route[A](matcher: UrlMatcher[A], handler: HandlerFunction[A])

abstract class UrlMatcher[A] {
   def match(url: String): Option[A]   // None if no match

类型参数A用于匹配器可能从URL中提取的“参数”。 它们将被传递给处理程序函数。 例如，看到URL路径为“ / users / 123”的UrlMatcher[Int]可以将123传递给getUser(id: Int)函数。 路由器可能看起来像：

val routes = ArrayBuffer[Route[_]]

def callHandler(url: String) {
  for (r <- routes) {
    val args = r.matcher.matchUrl(url)
    if (args.isDefined)
      r.handler(args.get)  // <--- error here
    }

问题是我收到类型不匹配错误，因为我不知道如何告诉这两种类型是相同的。

type mismatch; found: args.type (with underlying type Option[Any])  
            required: _$1  

我知道我可以重新设计它，以便Route具有matchAndCall类的方法，但我想尽可能保持这种逻辑流程。

更新/编辑

我不完全理解存在类型，但是我尝试了这个...

val routes = ArrayBuffer[T forSome { type T }]()

并且它消除了上面的不匹配错误。 但是，我有另一个要插入ArrayBuffer 。

def route[P](matcher: UrlMatcher[P], handler: Handler[P]): AbstractRoute = {
  val route = new Route(matcher, handler)
  otherRoutes.append(route)   // error here  
  route
}

现在错误是...

type mismatch;  found : Route[P]  required: Route[T forSome { type T }] Note: P <: T
forSome { type T }, but class Route is invariant in type P. You may wish to define 
P as +P instead. (SLS 4.5) 

为什么P与T不兼容，因为它们对T没有约束？

Answer 1

这是存在类型（相当于通配符类型的Scala的Scala）是Bad Thing（TM）的原因之一，在不进行Java互操作时最好避免：编译器通常无法（或不够聪明）推理出类型等于哪个，因为它们都消失了...

为了使编译器理解这些类型是相同的，您需要以某种方式为该类型命名。

类型参数是可能的：您可以根据自己的理解定义参数化方法，以便在方法内，类型是众所周知的。

def callHandler(url: String) {
  def call[T](r: Route[T]) = {
    val args = r.matcher.matchUrl(url)
    if (args.isDefined) r.handler(args.get)
    // or args.foreach(r.handler)
  }
  for (r <- routes) call(r)
  // or routes.foreach(call)
}

注意 ：在较简单的情况下，您还可以使用variance来拥有List[Route[Any]] ，而您的问题就消失了，该类型又是众所周知的。 在这里，我不确定您是否可以将Route[A]设为协变。

存在类型大多数都表示Java通配符，Java原始类型和JVM的类型视图（反射和填充），即使它们比这三种构造更强大 。 如果可以设计一些东西避免使用它们，那么您将省去很多麻烦。 这有点争议，但是至少，它们与类型推断的交互方式存在很多限制，因此必须小心。