Scala:无标题类型测试警告

Question

我正在尝试编写一个scala函数来反转列表。然而，IDEA强调了（警告）行，称"无结果的类型测试：ListDefinition.List[T]类型的值不能也是：：[B]"

object ListDefinition {
            def reverseList[T](list: List[T]) : List[T] = list match {
  (warning) case x :: EmptyList =>  // something
            case _ => // do somehting
}
abstract class List[+T]
case object EmptyList extends List[Nothing] 
case class ConsList[T](value: T, next: List[T]) extends List[T]

Answer 1

case语句需要为您的列表使用Cons构造函数：

case ConsList(x, EmptyList) => // something

：：构造函数适用于Scala列表，不适用于您的列表。