scala - 类型参数中的“：”

Question

在 scala-arm 项目中，我看到这样的代码：

def managed[A : Resource : Manifest](opener : => A) : ManagedResource[A] = new DefaultManagedResource(opener)

有人可以解释 [A : Resource : Manifest] 的含义吗？

Answer 1

def managed[A : Resource : Manifest](opener : => A) : ManagedResource[A] = new DefaultManagedResource(opener)

方法

def managed[A](opener : => A)(implicit r: Resource[A], m: Manifest[A]) : ManagedResource[A] = new DefaultManagedResource(opener)

您可以查看链接文本 7.4 上下文边界和视图边界以获取更多信息。

Answer 2

用一个更简单的例子来说明：

def method[T : Manifest](param : T) : ResultType[T] = ...

该符号T : Manifest表示存在上下文绑定。在程序的其他地方，在范围内，必须定义一个单例或Manifest[T]标记为隐式类型的值。

这是通过编译器重写方法签名以使用第二个（隐式）参数块来实现的：

def method[T](param : T)(implicit x$1 : Manifest[T]) : ResultType[T] = ...

如您的示例所示，可以在同一方法签名中使用多个上下文边界。也可以将它们与视图边界结合起来。