关于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 可以是任何未指定的 输入t。

直观上，X[_] 表示 X 的类型参数不相关，而 X[Any] 表示它必须是 Any< /代码>。

Answer 2

区别在于微不足道，

scala> class X[T]   
defined class X

scala> def type_of[T](x: X[T])(implicit m: Manifest[T]) = m.toString
type_of: [T](x: X[T])(implicit m: Manifest[T])java.lang.String

scala> val x1: X[Any] = new X
x1: X[Any] = X@1a40cfc

scala> val x2: X[_] = new X  
x2: X[_] = X@29d838

scala> type_of(x1)
res10: java.lang.String = Any

scala> type_of(x2)
res11: java.lang.String = _ <: Any

我无法说出一种情况，即您可以使用 Any 但不能使用 _ ，反之亦然。