generics - 方法调用的默认类型

Question

我想知道在 Scala 中调用类型参数化方法时是否可以有默认类型。假设我在某处有以下方法:

def apply[A]( id: String )( implicit processor: Processor[A] ) =
  processor( data get id )

当编译器没有提示要推断什么类型时，我希望 A 为 String。所以我可以用以下内容重载我的定义:

def apply( id: String )( implicit processor: Processor[String] ) =
  processor( data get id )

但是这两种方法在删除后将具有相同的签名...有没有办法提供默认类型？

Answer 1

您可以通过定义以下幻像类型来实现此目的:

sealed class DefaultsTo[A, B]
trait LowPriorityDefaultsTo {
   implicit def overrideDefault[A,B] = new DefaultsTo[A,B]
}
object DefaultsTo extends LowPriorityDefaultsTo {
   implicit def default[B] = new DefaultsTo[B, B]
}

那么你的方法就可以写了

def apply[A]( id: String )( implicit e: A DefaultsTo String,
                                     processor: Processor[A] ) =
   processor( data get id )

overrideDefault 的定义保证对于任何两个指定类型，A 和 B，编译器始终可以提供类型为 DefaultsTo[A, B](例如 DefaultsTo[Int, String])。但是，如果未指定这两种类型中的一种(例如 DefaultsTo[A, String])，编译器将更倾向于识别这两种类型(在示例中提供 DefaultsTo[String, String]，从而推断出未指定类型 A 的 String)。

如Naftoli Gugenheim pointed out in this mailing list thread ，您还可以实现一些与上下文边界一起使用的不错的语法:

class Has[B] {
   type AsDefault[A] = A DefaultsTo B
}

def apply[A : Has[String]#AsDefault : Processor](id: String) =
   implicitly[Processor[A]].apply(data get id)