如何获取与上下文绑定关联的类型类的实例？

Question

注意：我提出这个问题是为了自己回答，但欢迎其他答案。

考虑以下简单方法：

def add[T](x: T, y: T)(implicit num: Numeric[T]) = num.plus(x,y)

我可以使用 上下文绑定如下，

def add[T: Numeric](x: T, y: T) = ??.plus(x,y) 

但如何获取 Numeric[T] 类型的实例我可以调用 plus 方法吗？

Answer 1

使用隐式方法

最常见和通用的方法是使用隐式方法，在Predef中定义：

def add[T: Numeric](x: T, y: T) = implicitly[Numeric[T]].plus(x,y)

显然，这有点冗长，需要重复类型类的名称。

引用证据参数（不要！）

另一种选择是使用编译器自动生成的隐式证据参数的名称：

def add[T: Numeric](x: T, y: T) = evidence$1.plus(x,y)

令人惊讶的是，这种技术甚至是合法的，并且在实践中不应该依赖它，因为证据参数的名称可能会改变。

更高类型的上下文（引入上下文方法）

相反，我们可以使用隐式的增强版本代码>方法。请注意，隐式方法被定义为：

def implicitly[T](implicit e: T): T = e

该方法仅依赖于编译器将正确类型的隐式对象从周围范围插入到方法调用中，然后返回它。我们可以做得更好一点：

def context[C[_], T](implicit e: C[T]) = e

这允许我们将 add 方法定义为

def add[T: Numeric](x: T, y: T) = context.plus(x,y)

context 方法类型参数 Numeric 和 T 是从范围推断出来的！不幸的是，在某些情况下这个context方法不起作用。例如，当类型参数具有多个上下文边界或存在具有不同上下文边界的多个参数时。我们可以用稍微复杂的版本来解决后一个问题：

class Context[T] { def apply[C[_]]()(implicit e: C[T]) = e }
def context[T] = new Context[T]

这个版本要求我们每次都指定类型参数，但可以处理多个类型参数。

def add[T: Numeric](x: T, y: T) = context[T]().plus(x,y)

Answer 2

至少从 Scala 2.9 开始你可以执行以下操作：

import Numeric.Implicits._
def add[T: Numeric](x: T, y: T) = x + y

add(2.8, 0.1) // res1: Double = 2.9
add(1, 2) // res2: Int = 3

Answer 3

这个答案描述了另一种方法，该方法可以产生更具可读性、自文档化的客户端代码。

动机

我之前描述的context方法是一个非常通用的解决方案，适用于任何类型类，无需任何额外的工作。但是，由于以下两个原因，这可能是不可取的：

• 当类型参数具有多个上下文边界时，不能使用 context 方法，因为编译器无法确定要使用哪个上下文边界。< /p>

• 对通用context方法的引用损害了客户端代码的可读性。

特定于类型类的方法

使用与所需类型类相关的方法可以使客户端代码更具可读性。这是标准库中用于 Manifest 类型类的方法：

// definition in Predef
def manifest[T](implicit m: Manifest[T]) = m

// example usage
def getErasure[T: Manifest](x: T) = manifest[T].erasure

概括此方法

使用特定于类型类的方法的主要缺点是必须为每个类型类定义一个附加方法。我们可以通过以下定义简化此过程：

class Implicitly[TC[_]] { def apply[T]()(implicit e: TC[T]) = e }
object Implicitly { def apply[TC[_]] = new Implicitly[TC] }

然后可以为任何类型类定义新的特定于类型类的隐式样式方法：

def numeric = Implicitly[Numeric]
// or
val numeric = Implicitly[Numeric]

最后，客户端代码可以按如下方式使用隐式：

def add[T: Numeric](x: T, y: T) = numeric[T].plus(x, y)