Scala中符号语法糖

初学Scala看到那些稀奇古怪的符号（e.g.   <: ， >: ,  <%  ,  =:= , <:< ,  <%<,  +T, -T )，总让人摸不着头脑，Scala创造这些语法糖究竟是要做甚？再参详了几篇文章（具体见参考文献）后，作者终于可以摸着一些皮毛了，于是决定记录下来。

1. 上下界约束符号 <: 与 >:

这对符号个人觉得是里面最好理解的了，这对符号用于写范型类/函数时约束范型类型。

先举个栗子：

def using[A <: Closeable, B](closeable: A) (getB: A => B): B =
  try { 
    getB(closeable)
  } finally {
    closeable.close() 
  }

例子中A <: Closeable(java.io.Cloaseable)的意思就是保证类型参数A是Closeable的子类（含本类），语法“A <: B"定义了B为A的上界；同理相反的A>:B的意思就是A是B的超类（含本类），定义了B为A的下界。

其实<: 和 >: 就等价于java范型编程中的 extends，super（PS： 说起来C#中只有where A：B形似的上界约束，怎么没有下界约束呢？求高人指教）

2. 协变与逆变符号+T， -T

3. 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 = ...

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

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

这些被称为广义的类型约束。他们允许你从一个类型参数化的class或trait，进一步约束其类型参数之一。下面是一个例子：

case class Foo[A](a:A) { // 'A' can be substituted with any type
    // getStringLength can only be used if this is a Foo[String]
    def getStringLength(implicit evidence: A =:= String) = a.length
}

这个隐式的参数 evidence 由编译器提供,A
=:=String表示证明A是String类型（PS：即使A可以隐式转换成String类型也不行），因此参数a就可以调用a.length 而编译器不会报错。

我们可以如下使用:

scala> Foo("blah").getStringLength
res0: Int = 4

一旦我们使用其他不能转换成String类型的参数，就会报错，如下:

scala> Foo(123).getStringLength
<console>:10: error: Cannot prove that Int =:= String.
              Foo(123).getStringLength
                       ^

scala> implicit def charSeq2String(s: Seq[Char]) = s.mkString
charSeq2String: (s: Seq[Char])String

scala> Foo(Seq[Char]('a','b','c')).getStringLength
<console>:11: error: Cannot prove that Seq[Char] =:= String.
              Foo(Seq[Char]('a','b','c')).getStringLength
                                          ^

<:< 和 <%< 使用类似,
有细微不同:

• A
=:= B 表示 A 必须是 B 类型
• A
<:< B 表示 A 必须是B的子类型 (类似于简单类型约束 <:)
• A
<%< B 表示 A 必须是可视化为 B类型, 可能通过隐式转换 (类似与简单类型约束 <%)

5. 传名调用（call-by-name）符号: => type

object TargetTest2 extends Application {
  def loop(body: => Unit): LoopUnlessCond =
    new LoopUnlessCond(body)
  protected class LoopUnlessCond(body: => Unit) {
    def unless(cond: => Boolean) {
      body
      if (!cond) unless(cond)
    }
  }
  var i = 10
  loop {
    println("i = " + i)
    i -= 1
  } unless (i == 0)
}

i = 10
i = 9
i = 8
i = 7
i = 6
i = 5
i = 4
i = 3
i = 2
i = 1

6.参考文献