scala类型系统：12) view bounds-视图界定_scala <: view bound-优快云博客

本文介绍了Scala中的视界边界（view bounds）概念及其用法，通过具体示例展示了如何利用视界边界实现类型约束，并探讨了其在方法定义及类声明中的应用。此外，还讨论了通过反射实现的结构类型可能带来的性能问题。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

很早前在来往的扎堆里发过一段模拟C#的using代码：

def using[ C <: { def close(): Unit }, T ] (resource: C) (handle: C => T): T = {
    try {
        handle(resource)
    } finally {
      closeQuietly(resource)
    }
}

Eric(药师)看到后，说 <% 更好

<%的意思是“view bounds”(视界)，它比<:适用的范围更广，除了所有的子类型，还允许隐式转换过去的类型

def method [A <% B](arglist): R = ...

等价于:

def method [A](arglist)(implicit viewAB: A => B): R = ...

或等价于:

implicit def conver(a:A): B = …

def method [A](arglist): R = ...

<% 除了方法使用之外，class声明类型参数时也可使用：

scala> class A[T <% Int]
defined class A

但无法对trait的类型参数使用 <%，

scala> trait A[T <% Int]
<console>:1: error: traits cannot have type parameters with context bounds `: ...' nor view bounds `<% ...'

补充，注意上面 using 方法中声明的结构类型 {def close():Unit}，它的实现是通过反射做到的，所以有一定性能问题，在需要考虑性能的场景下，这里明确的用 java.io.Closeable 接口更合适，灵活性与性能你总要做一个选择。

转载自：http://hongjiang.info/scala/ 推荐大家阅读下这位大哥出版的书《Scala函数式编程》