Scala的原始类型是如何实现的

开发 后端
本文节选自Martin Odersky,Lex Spoon和Bill Venners所著,Regular翻译的《Programming in Scala》的第十一章。Scala是一种针对 JVM 将函数和面向对象技术组合在一起的编程语言。

这些都是怎么实现的?实际上,Scala以与Java同样的方式存储整数:把它当作32位的字。这对在JVM上的效率以及与Java库的互操作性方面来说都很重要。标准的操作如加法或乘法都被实现为原始操作。然而,当整数需要被当作(Java)对象看待的时候,Scala使用了“备份”类java.lang.Integer。如在整数上调用toString方法或者把整数赋值给Any类型的变量时,就会这么做。需要的时候,Int类型的整数能被透明转换为java.lang.Integer类型的“装箱整数”。

51CTO编辑推荐:Scala编程语言专题

所有这些听上去都近似Java5里的自动装箱并且它们的确很像。不过有一个关键差异,Scala里的装箱比Java里的更少看见。尝试下面的Java代码:

  1. // Java代码  
  2. boolean isEqual(int x,int y) {  
  3.  return x == y;  
  4. }  
  5. System.out.println(isEqual(421,421));  
你当然会得到true。现在,把isEqual的参数类型变为java.lang.Integer(或Object,结果都一样):

  1. // Java代码  
  2. boolean isEqual(Integer x, Integery) {  
  3.  return x == y;  
  4. }  
  5. System.out.println(isEqual(421,421));  
你会发现你得到了false!原因是数421被装箱了两次,因此参数x和y是两个不同的对象。

因为在引用类型上==表示引用相等,而Integer是引用类型,所以结果是false。这是展示了Java不是纯面向对象语言的一个方面。我们能清楚观察到原始类型和引用类型之间的差别。

现在在Scala里尝试同样的实验:

  1. scala>def isEqual(x:Int, y:Int) = x == y  
  2. isEqual:(Int,Int)Boolean  
  3. scala>isEqual(421,421)  
  4. res10:Boolean = true 
  5. scala>def isEqual(x:Any, y:Any) = x == y  
  6. isEqual:(Any,Any)Boolean  
  7. scala>isEqual(421,421)  
  8. res11:Boolean = true 
实际上Scala里的相等操作==被设计为透明的参考类型代表的东西。对值类型来说,就是自然的(数学或布尔)相等。对于引用类型,==被视为继承自Object的equals方法的别名。这个方法被初始地定义为引用相等,但被许多子类重载实现它们种族的相等概念。这也意味着Scala里你永远也不会落入Java知名的关于字串比较的陷阱。Scala里,字串比较以其应有的方式工作:

  1. scala>val x = "abcd".substring(2)  
  2. x:java.lang.String = cd  
  3. scala>valy="abcd".substring(2)  
  4. y:java.lang.String=cd  
  5. scala>x==y  
  6. res12:Boolean=true 
Java里,x与y的比较结果将是false。程序员在这种情况应该用equals,不过它容易被忘记。

然而,有些情况你需要使用引用相等代替用户定义的相等。例如,某些时候效率是首要因素,你想要把某些类哈希合并:hash cons然后通过引用相等比较它们的实例。 为这种情况,类AnyRef定义了附加的eq方法,它不能被重载并且实现为引用相等(也就是说,它表现得就像Java里对于引用类型的==那样)。同样也有一个eq的反义词,被称为ne。例如:

  1. scala>val x = new String("abc")  
  2. x:java.lang.String = abc  
  3. scala>val y = new String("abc")  
  4. y:java.lang.String = abc  
  5. scala>x == y  
  6. res13:Boolean = true 
  7. scala>x eq y  
  8. res14:Boolean = false 
  9. scala>x ne y  
  10. res15:Boolean = true 

Scala的相等性会在第28章中讨论。

【相关阅读】

  1. Scala的类层级
  2. Scala中的Spiral程序:把代码都螺旋在一起
  3. Scala中变高变宽的实现:heighten和widen
  4. 学习Scala的定义工厂对象
  5. 如何实现Scala的above,beside和toString
责任编辑:book05 来源: Artima
相关推荐

2021-06-09 07:55:19

Typescript类型检查

2009-07-22 09:08:09

Scalaabove方法

2021-06-05 21:30:24

typescriptOverride检查

2009-06-10 09:29:40

Scala类型通配符

2022-04-17 09:18:11

响应式数据Vue.js

2011-07-11 14:36:05

JAVA

2009-08-13 10:35:05

Scala数组排序

2009-06-03 09:08:20

ScalaJava类型

2009-07-21 09:31:00

Scala基本类型文本

2021-09-17 12:50:10

MySQL数据库ACID

2011-11-03 16:32:57

Dart

2023-12-26 01:07:03

TCP拥塞控制

2009-07-09 00:25:00

Scala参数化

2019-01-22 15:26:48

APP会员自动续费签约

2022-08-02 11:27:25

RabbitMQ消息路由

2022-05-16 08:22:37

零拷贝Netty

2020-06-30 15:35:36

JavaSPI代码

2009-07-22 09:53:57

Scala底层类型

2009-07-22 07:49:00

Scala控制结构

2022-07-18 23:49:19

区块链民主数据
点赞
收藏

51CTO技术栈公众号