斯卡拉：通用方法合成

Question

我刚开始学习Scala，我很困惑与泛型：

问题1：

def getRemainingItem[X](list : List[X], fun : (X) => Boolean) : List[X] = { 
    list.filterNot(fun) 
} 

什么是X这里看起来像Java的E（此代码正常工作）

问题2：

def getRemainingItem(list : List[Any], fun : (Any) => Boolean) : List[Any] = { 
    list.filterNot(fun) 
} 

为什么任何不工作。我想任何可以接受任何类型的（这不是编译）

问题3：

def getRemainingItem(list : List[_], fun : (_) => Boolean) : List[_] = { 
    list.filterNot(fun) 
} 

同样，这不是工作，是什么“_”之间的区别“任何”

Answer 1

答案1：X是通用类型参数。所以方法getRemainingItem是通用方法其将与一具体类型参数（一个型实例如X = Int）被调用。

答2：该代码段并编译（使用Scala 2.11测试）

答案3：一个类型T[_]为T[X] forSome { type X }的快捷方式（这是一个存在类型）。这与Java 通配符（https://docs.oracle.com/javase/tutorial/extra/generics/wildcards.html）类似。当然，说“一些未知类型T”与“Any”（这是一个具体类型 - 最高类型）不同。

欲了解更多信息： - What is an existential type?