generics - 关于 Scala 泛型的简单问题

Question

X[Any]有什么区别和 X[_] ?

例如，让我们考虑以下两个函数:

def foo(x:X[_]){}

def foo(x:X[Any]){}

上面这些声明之间究竟有什么区别？

Answer 1

第一个是存在类型，第二个是正常类型。第一种语法实际上意味着:

def foo(x:X[t] forSome { type t }){}

这意味着 x类型为 X[t] ，其中 t可以是任何未指定的 type t .

直觉上， X[_]表示 X 的类型参数无关紧要，而 X[Any]说它必须是 Any .