scala - Scala：避免冗余类型参数

Question

假设我有一个带有类型参数的抽象类 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更紧凑？

score 4 · Accepted Answer

丹尼尔在评论中说了什么。

也许使用抽象类型成员将有助于减少冗长。

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]

1 回答 1