4

タイプパラメータを受け取る抽象クラスBarがあるとします。

abstract class Bar[A] { def get: A }

Barそして、いくつかのオブジェクトをインスタンス化し、それらのメソッドを呼び出してget結果を返したい関数があります。

def foo[A, B <: Bar[A]]: Seq[A]

に暗黙的に含まれているため、Aを個別の型パラメーターとして指定する必要があるのは少し冗長なようBです。私が本当に言いたいのは言いたいことです

def foo[B <: Bar[A]]: Seq[A]

しかし、それはコンパイルされません。fooよりコンパクトにする方法はありますか？

4

1 に答える 1

4

コメントでダニエルが言ったこと。

おそらく、抽象型メンバーを使用すると、冗長性を減らすのに役立ちます。

abstract class Bar { 
  type A
  def get: A 
} 

def foo[B <: Bar]: Seq[B#A]
def baz[B <: Bar](b: B): Seq[B#A]
def taz[B <: Bar](b: B): Seq[b.A]
于 2012-06-03T07:22:22.647 に答える