如何约束参数类的成员以匹配外部类的实例？

Question

下面的代码没有编译,因为编译器无法证明v.o.Inner和Outer.this.Inner实现相同visit().我看不出如何告诉编译器v.o必须Outer.this使其在编译时得到认可.有任何想法吗？

class Outer {
   class Inner {
      def visit(v:Visitor) = v.visitInner(this)
   }
}

class Visitor(val o:Outer) {
    def visitInner(i:o.Inner) = { println("foo") } 
}

Answer 1

编译器无法证明这是因为那是错误的.例如:

val o1 = new Outer
val o2 = new Outer
val o2i = new o2.Inner
val v = new Visitor(o1)

o2i.visit(v)

这里Outer的v是o1,但Outer的this(o2i)是o2.

如果你问的是如何强制执行这些类型,那么这可能会有所帮助:

class Outer {
   self => 
   class Inner {
      def visit(v:Visitor[self.type]) = v.visitInner(this)
   }
}

class Visitor[T <: Outer](val o:T) {
    def visitInner(i:o.Inner) = { println("foo") } 
}

但是,如果你走这条路线,类型推断将无济于事.你必须明确任何类型Visitor,如下所示:

val v = new Visitor[o1.type](o1)