ITPub博客

首页 > 应用开发 > Java > Scala路径依赖

Scala路径依赖

原创 Java 作者:541732025 时间:2016-01-21 19:56:07 0 删除 编辑
路径依赖从内部类谈起
在java中所有的内部类都属于同一类型(外部类
但是scala中内部类必须依赖外部类的实例,不同的外部类实例,内部类都是不同的。
我们把对外部类的依赖称之为路径依赖类型(path_dependent_type)

点击(此处)折叠或打开

  1. class Outer {
  2.     private val x = 10
  3.     class Inner {
  4.         private val y = x + 10 //内部类隐含持有外部类的实例,所以能使用外部类的private成员
  5.     }
  6. }
  7. object Path_Dependence {

  8.   def main(args: Array[String]){
  9.     val outer = new Outer //outer就是inner、inner2的路径,在Scala中,不同的路径代表着不同的类型
  10.     val inner = new outer.Inner //构建内部类,区别于java语法(outer.new Inner())
  11.     val inner2: outer.Inner = new outer.Inner
  12.     
  13.     val o1 = new Outer
  14.     val o2 = new Outer
  15.     val i: o2.Inner = new o1.Inner //编译器会报错,type mismatch;found o1.Inner, required o2.inner
  16.     val i: Outer#Inner = new o1.Inner //o1.Inner是Outer#Inner的子类,类似于java,不同内部类属于同一外部类类型,这叫类型投影,type_projection
  17.         
  18.   }

  19. }

来自 “ ITPUB博客 ” ,链接:http://blog.itpub.net/28912557/viewspace-1980404/,如需转载,请注明出处,否则将追究法律责任。

请登录后发表评论 登录
全部评论

注册时间:2013-05-23

  • 博文量
    127
  • 访问量
    491488