scala - 将下划线传递给类型构造函数

Question

这个问题在这里已经有了答案:





What are all the uses of an underscore in Scala?

(7 个回答)


3年前关闭。




我今天遇到了一个方法，它的签名如下:

def foo() : Future[_] = { /* some code */ }

我的问题是这里的返回类型是什么意思？是否意味着此方法返回 Future我不在乎计算的类型是什么？或者是别的什么？

Answer 1

Future[_] -type 只是 the placeholder syntax for existential type :

Future[X] forSome { type X }

以便

def foo(): (Future[X] forSome { type X }) = { /* some code */ }

意思是: foo返回 Future具有某种未知类型的值 X .所以，你的解释

"this method returns a Future and I do not care what the type of the computation is"

是正确的。