Question

我有以下方法:

def firstAndLast[CC, A, That](seq: CC)(implicit asSeq: CC => Seq[A], cbf: CanBuildFrom[CC, A, That]): That = {
  val b = cbf(seq)
  b += seq.head
  b += seq.last
  b.result
}

见

给 :

error: No implicit view available from CC => Seq[A].
List("abc", "def") map firstAndLast

如何改进这个声明以避免额外的包装? 问题似乎就在于“ eta- expanation ” (? )

Answer 1

尽管它们看起来相似,但这些都是不同的东西:

List("abc", "def") map {firstAndLast(_)}
// { x => firstAndLast(x) }

List("abc", "def") map firstAndLast
// firstAndLast, if it happened to be a function

现在,请注意编纂者如何在第一个案例中容易地键入 < code> x 。在第二个案例中,它试图找出 < code> (seq: CC) (隐含为Seq: CC {gt; Seq[ A], cbf: CanBuild From[CC, A, that]) 可以被解释为 < code> Function1[String,???] ? , 并且由于缺少大量信息 -- -- 即类型参数 -- 而失败了。

换句话说,在第一种情况下,汇编者 first type ,因此, CC ,然后试图找出其余的。在第二种情况下,汇编者试图同时找出所有类型参数。

Answer 2


但我刚刚注意到这有效:

List("abc", "def") map firstAndLast[String, Char, String]

意思是, 型号推论者很难为 < code> first and Last 确定正确的类型参数, 但我不知道如何修正它...

友情链接