Следующий код пытается подражать Полиморфное встраивание DSL: вместо того, чтобы давать поведение в Inner, оно закодировано в useInner метода его вмещающего класса. Я добавил метод enclosing, чтобы пользователь мог хранить ссылки только на экземпляры Inner, но всегда может получить свой закрытый экземпляр. Таким образом, все экземпляры Inner из определенного экземпляра Outer привязаны только к одному поведению (но он нужен здесь).
abstract class Outer {
sealed class Inner {
def enclosing = Outer.this
}
def useInner(x:Inner) : Boolean
}
def toBoolean(x:Outer#Inner) : Boolean = x.enclosing.useInner(x)
Он не компилируется, и scala 2.8 жалуется на:
type mismatch; found: sandbox.Outer#Inner
required: _81.Inner where val _81:sandbox.Outer
Из Программирование Scala: Вложенные классы и Прогулка по Scala: Inner Classes, мне кажется, что проблема заключается в том, что useInner ожидает в качестве аргумента экземпляр Inner из конкретного экземпляра Outer.
Какое истинное объяснение и как решить эту проблему?
Я предполагаю, что тип Inner похож на тип this.Inner. Outer # Inner не зависит от внешнего экземпляра (не зависящего от пути типа).
abstract class Outer {
sealed class Inner {
def enclosing = Outer.this
}
def useInner(x:Outer#Inner) : Boolean
}
def toBoolean(x:Outer#Inner) : Boolean = x.enclosing.useInner(x)
Проблема заключается в том, как вы описываете, что useInner ожидает Inner конкретного экземпляра Outer. Поскольку enclosing возвращает общий Outer, не существует способа связать обе вместе, что я знаю.
Вы можете заставить его, однако:
def toBoolean(x: Outer#Inner): Boolean = {
val outer = x.enclosing
outer.useInner(x.asInstanceOf[outer.Inner])
}
Вы также можете определить свой член следующим образом:
def useInner(x:Outer#Inner) : Boolean
Или вы можете написать вот так:
abstract class Outer {
class InnerImpl {
def enclosing = Outer.this
}
final type Inner = Outer#InnerImpl
def useInner(x:Inner) : Boolean
}