即使在使用 isInstanceOf 检查类型后 Scala 类型不匹配错误

Question

我有一个函数unlist将任何类型的列表作为第一个参数：

def unlist(xs: List[Any], ys: List[Any]): List[Any] = ...

我在外部列表的第一个元素上调用这个函数，它可能是也可能不是列表。 因此，我首先需要检查这个 head 元素本身是否是一个列表，在这种情况下我可以调用我的unlist函数。 我用InsintanceOf方法来做，就像这样：

...
if (xs.head.isInstanceOf[List[Any]]) unlist(xs.head, ys)

但是，由于 xs.head 上的类型不匹配，这不会编译：

Error: type mismatch;
found   : Any
required: List[Any]

我究竟做错了什么？

---

PS ：由于你们中的许多人建议避免使用Any类型，我必须指出这是编码练习的一部分，旨在使函数尽可能通用

Answer 1

为了说明 Mateusz 的评论

isInstanceOf没有被记住

这意味着我们必须像这样跟进asInstanceOf

if (list.head.isInstanceOf[List[_]]) unlist(list.head.asInstanceOf[List[_]])

模式匹配，如 Tim 所演示的，隐式执行isInstanceOf/asInstanceOf组合。 还可以考虑相关答案。

如果您无法重构Any ，这是最弱的类型，也许尝试尽早恢复尽可能多的类型信息，也许像这样

val lists: List[List[_]] = list.collect { case xs: List[_] => xs }
val ints: List[Int] = list.collect { case i: Int => i }
val strings: List[String] = list.collect { case s: String => s }

请注意，由于类型擦除，我们不能轻易做得比List[List[_]]好得多，例如，以下断言通过

val list: List[Any] = List(List("woo", "hoo"), 42, "kerfuffle")
assert(list.head.isInstanceOf[List[Double]])

在最后一种情况下，编译器警告会告诉您type argument Double in type List[Double] (the underlying of List[Double]) is unchecked since it is eliminated by erasure 。 忽略此类警告通常不是一个好主意。

Answer 2

正如评论中提到的，像这样使用Any是一些糟糕设计选择的标志。 但是对于您遇到的特定问题，您可以将if更改为这样的match ：

def unlist(xs: List[Any], ys: List[Any]): List[Any] = ???

val xs: List[Any] = ???

xs.head match {
  case l: List[Any] => unlist(l, ???)
  case _ =>
}

match检查头部值是否为List[Any]然后将该值分配给类型为List[Any]的变量l ，因此可以在unlist调用中使用。

注意：这仅适用于您正在测试List[Any] 。 您无法测试特定类型的列表（例如List[Int] ），因为称为类型擦除的进程会删除运行时信息，而此信息将需要此操作。 当编译器因此无法实现match时，它会警告您。

这个问题的真正解决方案是修复设计以使用特定类型而不是Any 。