Question

我有这个隐含的类

object ListUtils {    
  /** adds methods to the List class */
  implicit class EnhancedList[A](val l: List[A]) extends AnyVal {

  /** splits this list into multiple sub-lists using the specified function --- splits after each element where the function is true */
  def splitWhere(f: A => Boolean): List[List[A]] = {
      @tailrec def splitAgain(list: List[A], result: List[List[A]]): List[List[A]] = list match {
        case Nil => result
        case _ => {
          if (list.exists(f(_))) {
            val (nextSubList, restOfOriginalList) = list.splitAt(list.indexWhere(f(_)) + 1)
            splitAgain(restOfOriginalList, nextSubList :: result)
          } else list :: result
        }
      }
      splitAgain(l, Nil).reverse
    }
  }
}

可以正常使用

val list = List("1", "2", "3", "x", "4", "5", "x", "6", "7", "8", "9", "x")
val splitList = list.splitWhere(_ == "x")

但是，对于包含错误＆＃34;缺少扩展函数的参数类型的空列表，这会失败＆＃34;在我将scala从2.10.3更新为2.11.4之后

scala> List().splitWhere(_ == 1)
<console>:14: error: missing parameter type for expanded function ((x$1)=> x$1.$eq$eq(1))
              List().splitWhere(_ == 1)

似乎类型推断不适用于List [Nothing]。如果我使用

，它工作正常

List[Any]().splitWhere(_ == "x")

我想知道如何正确编写隐式函数以支持List（）上的操作。提前致谢！

Answer 1

您可以在其类型参数中声明implicit class EnhancedList[A]协变，并让EnhancedList[Nothing]视为EnhancedList[Any]。通过这种方式，您可以编译代码，但在编译时会收到以下警告：

警告：使用`=='比较Nothing和String类型的值总是屈服于假 List（）。splitWhere（_ ==“x”）

所以可能存在问题。（Fiddle）

Scala 2.11中List（）的扩展函数缺少参数类型

1 个答案: