Future [Any]和Future [_]之间的区别

Question

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

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

Where db.queryMyData()返回一个Future，并且data.doStuff()只修改数据。

现在我已经直观地编写了Future[_]，导致返回值很灵活。但是当我在其他库中查找时，我已经看到Future[Any]使用过的。当在函数返回时使用区分大小写以检查它是哪个数据时，这似乎也是逻辑。

使用的代码例如是这样的：

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

因此，我的问题是：在此处使用Any或_有什么区别，为什么我应该使用正确的？

Answer 1

这是一个语义问题：

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

T[Any]意味着必须存在一个子类Any。

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