Использование структурных типов Scala с абстрактными типами

Я пытаюсь определить структурный тип, определяющий любую коллекцию, которая имеет метод "add" (например, коллекция java). Используя это, я хочу определить несколько функций более высокого порядка, которые работают с определенной коллекцией

object GenericTypes {
  type GenericCollection[T] = { def add(value: T): java.lang.Boolean}
}

import GenericTypes._
trait HigherOrderFunctions[T, CollectionType[X] <: GenericCollection[X]] {
    def map[V](fn: (T) => V): CollectionType[V]
    ....
}

class RichJList[T](list: List[T]) extends HigherOrderFunctions[T, java.util.List]

Это не скомпилируется со следующей ошибкой

error: Parameter type in structural refinement may not refer to abstract type defined outside that same refinement

Я попытался удалить параметр GenericCollection и поместить его в метод:

object GenericTypes {
  type GenericCollection = { def add[T](value: T): java.lang.Boolean}
}
import GenericTypes._
trait HigherOrderFunctions[T, CollectionType[X] <: GenericCollection]

class RichJList[T](list: List[T]) extends HigherOrderFunctions[T, java.util.List]

но я получаю еще одну ошибку:

error: type arguments [T,java.util.List] do not conform to trait HigherOrderFunctions type parameter bounds [T,CollectionType[X] <: org.scala_tools.javautils.j2s.GenericTypes.GenericCollection]

Может ли кто-нибудь дать мне несколько советов о том, как использовать структурную типизацию с абстрактными типизированными параметрами в Scala? Или как добиться того, чего я хочу достичь? Большое спасибо!

Ответы

Ответ 1

Как вы можете видеть в билет 1906, вы не можете использовать абстрактный тип, определенный вне структурного типа из-за отсутствия информации о типе во время выполнения.

Это указано в Scala Справочник по языку (3.2.7 Составные типы):

Within a method declaration in a structural refinement, the type of
any value parameter may only refer to type parameters or abstract types that are
contained inside the refinement.

Обычный способ добавления новых методов к типу - это неявное преобразование типа.

trait HigherOrderFunctions[T, CC[_]] {
    def zap[V](fn: () => V): CC[V]
}

class RichJList[T](list: java.util.List[T]) extends HigherOrderFunctions[T, java.util.List]{
    def zap[V](fn: () => V): java.util.List[V] = {
        val l = new java.util.ArrayList[V]
        l add fn()
        l
    }
}
implicit def list2RichList[T](l : java.util.List[T]) = new RichJList(l)
new java.util.ArrayList[AnyRef]() zap (() => 2)

Если компилятор видит, что тип пропустил метод zap, он преобразует его в тип, у которого есть метод zap с неявным методом преобразования (здесь list2RichList) в области.

scala> new java.util.ArrayList[AnyRef]() zap (() => 2)
res0: java.util.List[Int] = [2]