view

view，就像类型边界，要求对给定的类型存在这样一个函数。您可以使用<%指定类型限制，例如：

1. class Container[A <% Int] { def addIt(x: A) = 123 + x }

复制代码

这是说 A 必须“可被视”为 Int 。
方法可以通过隐含参数执行更复杂的类型限制。例如，List支持对数字内容执行sum，但对其他内容却不行。可是Scala的数字类型并不都共享一个超类，所以我们不能使用T <: Number。相反，要使之能工作，Scala的math库对适当的类型T 定义了一个隐含的Numeric[T]。 然后在List定义中使用它：

1. sum[B >: A](implicit num: Numeric[B]): B

复制代码

如果你调用List(1,2).sum()，你并不需要传入一个 num 参数；它是隐式设置的。但如果你调用List("whoop").sum()，它会抱怨无法设置num。
在没有设定陌生的对象为Numeric的时候，方法可能会要求某种特定类型的“证据”。这时可以使用以下类型-关系运算符：
| | |
|---|---|
|A =:= B | A 必须和 B相等|
|A <:< B | A 必须是 B的子类|
|A <%< B | A 必须可以被看做是 B|

1. class Container[A](value: A) { def addIt(implicit evidence: A =:= Int) = 123 + value }

复制代码