未来[任何]和未来[_]的区别

Question

好吧，我想问题已经在标题中完成了。没什么大不了的，但我只是想知道。我有一个返回正确值或错误代码枚举项的方法。例如这样的东西：

def doMyStuff(): Future[_] = {
    val result = db.queryMyData().map {
        case some(data) =>
            val modifiedData = data.doStuff()
            modifiedData
        case None =>
            Errors.THIS_IS_FALSE
    }
    result
}

其中db.queryMyData（）返回一个Future，而data.doStuff（）只是修改数据。

现在我已经直观地编写了< code>Future[_]，因为返回值是灵活的。但是在查看其他库时，我看到了< code>Future[Any]的用法。当你在函数的返回中使用匹配用例来检查它是什么数据时，这似乎也是合乎逻辑的。

例如，使用它的代码如下：

doMyStuff().map {
    case data: MyDataType => // Blah blah
    case Errors.Value => // error handling
}

所以，我的问题是：在这里使用“或”有什么区别，为什么要使用正确的一个？

Answer 1

这是一个语义问题:

存在类型T[_]意味着在_的位置有一个类/类型，我根本不关心它，但它必须在那里。

T[Any] 表示必须有一个子类 Any present。

当您想要序列化底层类时，差异就会发挥作用。如果您只使用_而没有任何类型边界，您将无法使用许多Scala JSON库中的一些。