返回泛型时scala类型擦除

Question

我有一个返回泛型的函数：

def getArray(tag: Tags, arr: Option[Array[SearchHit]]
): Array[_ >: CustomerInfoDTO[CustomerApplicationIdDTO] with CustomerIdDTO <: Serializable] = arr match {
    case Some(s) =>
      tag match {
        case GetCustomersInfo =>
          s.map(x => extractCustomerInfo(x.sourceAsString))
        case GetCustomersId =>
          s.map(x => extractCustomerId(x.sourceAsString))
        case _ => throw new NoSuchElementException("Can't match tag")
      }
    case None => throw new NoSuchElementException("Empty Array")
  }

所以，当我试图匹配一个函数结果时，我的问题是:

case arr: Array[CustomerInfoDTO[CustomerApplicationIdDTO]] =>

我得到一个警告：“类型模式数组[CustomerInfo到[CustomerApplication到]]中的非变量类型参数CustomerApplication-DDTO未选中，因为它已被擦除消除。”

这是否意味着在Array[]中可以得到任何类型的数组？所以我已经阅读了关于ClassTag和TypeTag的文章，但是误解了如何在我的例子中使用它。你能帮我吗？如何处理这个警告？

Answer 1

请注意，它抱怨的是CustomerApplication ationIdDTO，而不是CustomerInfoDTO：Array是唯一的，因为您实际上可以测试Array[CustomerInfoDTO[_]]，因此case arr：Array[CustomerInfoDTO[_]]=

但是，即使您打算说“此函数返回一个< code >数组[CustomerInfoDTO[CustomerApplicationIdDTO]]或一个< code >数组[customeriddo]”，这也不是它所做的；它们的超类型(直到< code>Serializable)也可以在那里，特别是这个函数允许返回一个< code >数组[CustomerInfoDTO[_]]。由于模式匹配无法区分< code > Array[customer info dto[_]]和< code > Array[customer info dto[CustomerApplicationIdDTO]]，您会得到一个警告。

您应该考虑一下，作为一个函数而不是两个getCustomer InfoArray和getCustomer IdArray，您实际上可以从中获得什么好处，这将更容易使用。

但是如果你决定这是你想要的，你的选择是:

>

只处理大小写 arr： Array[CustomerInfoDTO[_]] =

如果您确定无法从该函数中获得数组[CustomerInfo[AnythingElse]]，则可以使用case arr:Array[CustomerInfo[CustomerApplicationAddTo]@将其告知编译器=

正如你所提到的，使用TypeTags或ClassTags，但这会使事情变得更加复杂。