scala – 如何约束参数类的成员以匹配外部类的实例?
发布时间:2020-12-16 18:04:30 所属栏目:安全 来源:网络整理
导读:下面的代码没有编译,因为编译器无法证明v.o.Inner和Outer.this.Inner是一样的,在visit()的实现中.我看不出如何告诉编译器比v.o必须是Outer.this这样它在编译时才能识别.有任何想法吗? class Outer { class Inner { def visit(v:Visitor) = v.visitInner(thi
下面的代码没有编译,因为编译器无法证明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") } } 解决方法
编译器无法证明这是因为那是错误的.例如:
val o1 = new Outer val o2 = new Outer val o2i = new o2.Inner val v = new Visitor(o1) o2i.visit(v) 这里v的外部是o1,但是这个(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") } } 但是,如果你走这条路线,类型推断将无济于事.您必须明确任何访问者的类型,如下所示: val v = new Visitor[o1.type](o1) (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |