Noob to scala типы, зависящие от пути

Мне неясно, как добиться зависимых от пути типов в следующем фрагменте. Намерение состоит в том, чтобы иметь возможность использовать метод «объединения» для объединения двух куч. Для этого AFAIK требуются типы, зависящие от пути.

Вот это черта

trait Heap {
  type H // type of a heap
  type A // type of an element
  def ord: Ordering[Heap#A] // ordering on elements
  def meld(h1: Heap#H, h2: Heap#H): Heap#H // the heap resulting from merging h1 and h2
 ..
}

Вот часть реализации

class HeapImpl extends Heap {

  override type H = HeapImpl // this.type
  override type A = Integer
  ..

  // the heap resulting from inserting x into h
  override def meld(h1: Heap#H, h2: Heap#H): Heap#H = {
    while (!isEmpty(h2)) {
      insert(deleteMin(h2),h1)
    }
    this
  }

Возвращаемое значение "this" в методе объединения вызывает ошибку компиляции:

Expression HeapImpl does not conform to expected type Heap#H

scala traits path-dependent-type
person WestCoastProjects    schedule 26.02.2014    source источник

Ответы (2)


arrow_upward
1
arrow_downward 

trait Heap {
  type H <: Heap // type of a heap (added requirement that it must be a heap)
  type A // type of an element
  def ord: Ordering[A] // ordering on elements
  def meld(h1: H, h2: H): H // the heap resulting from merging h1 and h2
 ..
}

Теперь, когда вы определяете

override def meld(h1: H, h2: H): H

в HeapImpl, H это просто HeapImpl и тип возвращаемого значения будет соответствовать.

Таким образом, A и H в методах совпадают с теми, которые определены в вашем type .... Типы, зависящие от пути, означают, что вы можете писать такие типы, как heap.A (где heap — это Heap).

Также отмечу, что ваша реализация meld выглядит странно. Похоже, вы вставляете элементы h2 в h1 (если нет, то что означает второй аргумент insert?), но затем вместо возврата h1 вы возвращаете this.

person Alexey Romanov    schedule 26.02.2014

arrow_upward
2
arrow_downward

Проекция Heap#H отличается от this.H.

scala> trait Heap { type H ; type A ; def m(h1: H, h2: H): H }
defined trait Heap

scala> class Impl extends Heap { type H = Impl; def m(h1: H, h2: H) = this }
defined class Impl
person som-snytt    schedule 26.02.2014