为什么 Scala 在第一种情况下警告类型擦除而不是第二种情况？

我有两个函数（这些函数自原始以来没有被编辑过——下面的一些答案是对返回 () 序列的原始函数的响应）：

def foo1[A](ls: Iterable[A]) : Iterator[A] =
    for (List(a, b) <- ls sliding 2) yield a

def foo2[A](ls: Iterable[A]) : Iterator[A] =
    for (a::b::Nil <- ls sliding 2) yield a

我天真地认为是一样的。但 Scala 仅对第一个进行了减弱：

warning: non variable type-argument A in type pattern List[A]
is unchecked since it is eliminated by erasure

我想我明白为什么它会给出第一个错误：Scala 认为我正在尝试使用类型作为模式的条件，即与List[B](_, _)如果 B 不从 A 继承，则应该失败，但这种情况不会发生，因为在两种情况下都会删除类型。

那么两个问题：

1）为什么第二个没有给出同样的警告？

2）是否有可能让Scala相信该类型在编译时实际上是已知的，因此不可能无法匹配？

编辑：我认为这回答了我的第一个问题 https://stackoverflow.com/questions/5223670/why-this-erasure-warning-with-member-variables-declared-as-a-tuple。但我对第二个还是很好奇。

编辑：agilesteel 在评论中提到

for (List(a, b) <- List(1,2,3,4) sliding 2) yield ()

不会产生任何警告。这和有什么不同foo1（不应该[Int]参数被删除就像[A]参数是）？

我不确定这里发生了什么，但是静态类型Iterable[A].sliding is Iterator[Iterable[A]], not Iterator[List[A]]这将是静态类型List[A].sliding.

您可以尝试接收Seq代替Iterable，这也有效。EDIT与我之前声称的相反，两者Iterable and Seq是协变的，所以我不知道有什么不同。END EDIT的定义sliding也很奇怪：

def sliding [B >: A] (size: Int): Iterator[Iterable[A]]

看看它如何需要B，超类A，永远不会被使用？与Iterator.sliding，这没有问题：

def sliding [B >: A] (size: Int, step: Int = 1): GroupedIterator[B]

不管怎样，我们来看看第二种情况：

for (a::b::Nil <- ls sliding 2) yield a

在这里，您将列表分解两次，每次分解的类型head被检查A。由于类型为head没有被删除，你没有问题。这也主要是一个猜测。

最后，如果你转身ls into a List，你不会有问题的。除此之外，我认为你无能为力。否则，你也可以这样写：

def foo1[A](ls: Iterable[A]) : Iterator[A] =
    for (Seq(a, b) <- ls.iterator sliding 2) yield a