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

Question

我今天遇到了一种方法，该方法具有以下特征：

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

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

Answer 1

该Future[_]型只是为生存型占位符语法：

Future[X] forSome { type X }

以便

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

意思是：foo返回一个Future值为未知类型的X。所以，你的解释

“此方法返回一个Future，我不在乎计算的类型是什么”

是正确的。