Scala2.8尝鲜：使用Numeric让基本类型范型化

处理基本类型是Java中最烦人的一个地方了，很多时候我们必须为每一种基本类型各写一份大同小异的代码。这造成了严重的代码冗余，对代码的维护也带来负担。虽然在Java5中引入了范型，但对基本类型的操作并没有带来任何便利。考虑一个简单的例子：
设计一个方法sum，用于计算两个数的和，并且返回值的类型与参数类型一致。
在Java中，我们只能通过重载sum方法，为每一种基本类型写一个sum方法：

    public  int sum(int a,int b){ return a+b}
    public  long sum(long a,long b){return a+b}
    public  float sum(float a,float b){return a+b}
    public  double sum(double a,double b){return a+b}
    ...

显然比较理想的方式应该是我们用一个类似于

      T sum(T a,T b){ return a+b }

的方法一劳永逸的适用于所有的问题。
在Scala2.8中，新增了一个trait Numeric以及与之相关的类，使用这个类我们就可以得到类似的效果：

    Welcome to Scala version 2.8.0.r18591-b20090828020156 (Java HotSpot(TM) Client VM, Java 1.6.0_14).
Type in expressions to have them evaluated.
Type :help for more information.

scala> def sum[T](a :T,b :T)(implicit m:Numeric[T]) :T ={
     |     import m._
     |     a + b
     | }
sum: [T](a: T,b: T)(implicit m: Numeric[T])T

scala> sum(1,2)
res0: Int = 3

scala> sum(1.0,2.0)
res1: Double = 3.0

注意方法sum的参数中包含一个[url=http://www.scala-lang.org/node/114]隐式参数[/url]implicit m:Numeric[T]，这个参数在调用的时候无需显式指定，编译器会自动找到相应的值做参数。
类似的，我们可以定义一个通用的max方法：

scala> def max[T](a :T,b :T)(implicit m:Numeric[T]) :T = {
     |     import m._
     |     if(a >= b) a else b
     | }
max: [T](a: T,b: T)(implicit m: Numeric[T])T

scala> max(1,2)
res2: Int = 2

scala> max(1.0,2.0)
res3: Double = 2.0

scala>

而且这个Numeric只是往以前的核心库中添加了一组API，并没有使用任何Scala2.8中新的语法；在Scala2.7.x中就能实现它。