Scala2.8尝鲜:使用Numeric让基本类型范型化
程序员文章站
2022-03-13 14:57:53
...
处理基本类型是Java中最烦人的一个地方了,很多时候我们必须为每一种基本类型各写一份大同小异的代码。这造成了严重的代码冗余,对代码的维护也带来负担。虽然在Java5中引入了范型,但对基本类型的操作并没有带来任何便利。考虑一个简单的例子:
设计一个方法sum,用于计算两个数的和,并且返回值的类型与参数类型一致。
在Java中,我们只能通过重载sum方法,为每一种基本类型写一个sum方法:
显然比较理想的方式应该是我们用一个类似于
的方法一劳永逸的适用于所有的问题。
在Scala2.8中,新增了一个trait Numeric以及与之相关的类,使用这个类我们就可以得到类似的效果:
注意方法sum的参数中包含一个隐式参数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的参数中包含一个隐式参数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中就能实现它。