У меня есть две функции (они не редактировались с оригинала - некоторые из ответов ниже отвечают на оригинальные, которые возвращают последовательность()):
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, что тип действительно известен во время компиляции и, следовательно, не может не совпадать?
edit: Я думаю, отвечает на мой первый вопрос. Но меня все еще интересует второй.
edit: agilesteel упоминается в комментарии, что
for (List(a, b) <- List(1,2,3,4) sliding 2) yield ()
не выдает предупреждения. Как это отличается от foo1
(не следует ли удалять параметр [Int]
так же, как и параметр [A]
)?