欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

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

程序员文章站 2022-03-13 14:56:17
...
  处理基本类型是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的参数中包含一个隐式参数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中就能实现它。
相关标签: Scala Java