通过map方法规避差异检查

Question

Set在其类型参数中是不变的，所以很明显这是不起作用的：

val set: Set[Any] = Set[Int](1, 2, 3)

但是为什么这样做是可行的呢？

val set: Set[Any] = Set[Int](1, 2, 3).map(identity)

有人能解释一下吗？谢谢

Answer 1

首先，identity接受一个类型参数。在本例中，identity的类型参数被推断为Any，因此传递给map的是identity[Any] (一个Any => Any函数)。map需要某个类型为A的Int => A。因为函数的参数类型是逆变的，所以可以在那里传递Any => Any。因此，您的代码所做的就是通过将原始集合的每个元素映射为Any类型来创建一个新的集合。完整的类型可以写成这样：

val set: Set[Any] = Set[Int](1, 2, 3).map[Any, Set[Any]](identity[Any])