scala - 采用隐式 CanBuildFrom 的方法不适用于 eta 扩展？

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
}

请参阅：方法采用 Seq[T] 返回 String 而不是 Seq[Char]以了解基本原理。它在第一种情况下就像一个魅力，但在第二种情况下无法编译：

List("abc", "def") map {firstAndLast(_)}
List("abc", "def") map firstAndLast

给予：

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

知道如何改进此声明以避免额外的包装吗？似乎 eta-expansion 是问题所在（？）

Answer 1

不是您问题的完整答案，但我刚刚注意到这有效：

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

这意味着类型推断器无法确定 的正确类型参数firstAndLast，但我不知道如何修复它……</p>

Answer 2

尽管它们看起来相似，但它们是不同的东西：

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

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

现在，请注意编译器如何x在第一种情况下轻松键入。在第二种情况下，它试图弄清楚如何(seq: CC)(implicit asSeq: CC => Seq[A], cbf: CanBuildFrom[CC, A, That])解释为Function1[String, ???]，它失败了，因为缺少很多信息——即类型参数。

换句话说，在第一种情况下，编译器首先键入x，因此，CC，然后尝试找出其余的。在第二种情况下，编译器试图同时找出所有类型参数。