处理基本类型是Java中最烦人的一个地方了,很多时候我们必须为每一种基本类型各写一份大同小异的代码。这造成了严重的代码冗余,对代码的维护也带来负担。虽然在Java5中引入了范型,但对基本类型的操作并没有带来任何便利。考虑一个简单的例子:
设计一个方法sum,用于计算两个数的和,并且返回值的类型与参数类型一致。
在Java中,我们只能通过重载sum方法,为每一种基本类型写一个sum方法:
显然比较理想的方式应该是我们用一个类似于
的方法一劳永逸的适用于所有的问题。
在Scala2.8中,新增了一个trait Numeric以及与之相关的类,使用这个类我们就可以得到类似的效果:
注意方法sum的参数中包含一个[url=http://www.scala-lang.org/node/114]隐式参数[/url]implicit m:Numeric[T],这个参数在调用的时候无需显式指定,编译器会自动找到相应的值做参数。
类似的,我们可以定义一个通用的max方法:
而且这个Numeric只是往以前的核心库中添加了一组API,并没有使用任何Scala2.8中新的语法;在Scala2.7.x中就能实现它。
设计一个方法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中就能实现它。