10

「追加」メソッドを持つコレクション (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's type parameter bounds [T,CollectionType[X] <: org.scala_tools.javautils.j2s.GenericTypes.GenericCollection]

Scala で抽象型パラメーターを使用して構造型付けを使用する方法について、誰かアドバイスをもらえますか? または、私が達成しようとしていることを達成する方法は? 本当にありがとう！

4

1 に答える 1

4

チケット 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 メソッドを見逃していることを確認すると、暗黙的な変換メソッド (ここでは list2RichList) をスコープに持つ zap メソッドを持つ型に変換します。

scala> new java.util.ArrayList[AnyRef]() zap (() => 2)
res0: java.util.List[Int] = [2]
于 2010-04-28T18:54:10.583 に答える