关于Scala的路徑依赖类型(Path-dependent type)
3 月,跳不动了?>>> 咋看这个术语,有点吓倒。其实不是什么新东西,也是讲关于内部类和外部类的事,不过两者有点区别。在Scala中,内部类和外部类的一些行为特性和Java差不多。 请看如下的Scala代码: class Outer { private val x = 10 class Inner { private val y = x + 10 } } val outer = new Outer val inner = new outer.Inner // inner变量可以显式声明类型 val inner: outer.Inner = new outer.Inner 内部类Inner可以存取外部类成员(包括private成员),但外部类不能存取内部类的private成员. 内部类之所以能存取外部类的成员,是因为内部类隐含地持有外部类的实例。这点和Java是一样的,上述的代码可以用Java语言来表达: public class Op { public void test1(){ Outer outer = new Outer(); Outer.Inner inner = outer.new Inner(); System.out.println(inner); } public static void main(String[] args) { Op op = new Op();