risc-v开发基础 Scala 路径依赖路径1---(29)

joe

class Outer {
  private val x = 1
  class Inner {
    private val y = x + 5
  }
}
object PathDependTest {
  def main(args: Array[String]): Unit = {
    val outer1 = new Outer
    val inner1 = new outer1.Inner
//    val inner1 = new Outer.Inner //错误声明 new 不能是Outer.Inner，只能是outer1.Inner
    //还可以显示声明类型
    //val inner1: outer1.Inner = new outer1.Inner  //上面错误声明以及本句的显示声明类型outer1.Inner就已经表明：与路径名称有关
    val outer2 = new Outer
    val inner2 = new outer2.Inner

    //如果将outer2.Inner类型赋值给outer1.Inner类型，结果会如何呢？
//    val o1i : outer1.Inner = new outer2.Inner //结果IDEA提示：类型不匹配
    //上句错误“基本上“可以给出结论：路径依赖的是与名称有关，与类型或引用的实例无关（因为实例都是同一个类型）
    val outer3 = new Outer
    val outer4 = outer3  
    val inner3 = new outer3.Inner
//    val inner4: outer4.Inner = inner3 //outer4和outer3其实都是引用同一个对象，但两者的内部类不能互相赋值引用
//    val inner4: outer4.Inner = new outer3.Inner //new一个outer3的内部类也不能互相赋值引用
//    上面二句都提示类型错误，彻底说明：路径依赖是与名称相关，与引用的实例的类型无关
  }
}

joe

val outer3 = new Outer
val outer4 = outer3
val inner3 = new outer3.Inner

outer3.method(inner3)
outer3.method(new outer4.Inner)
将val outer3或val outer4的定义改为var，则出现错误：stable identifier required
这说明在路径依赖中，所有的路径中的对象都不能是可变的，只能是val不可变
这其实应该很好理解，如果可变，那最终到底引用的是什么呢，谁都不知道，当然不行。