有没有办法避免此代码中的@SuppressWarnings？

Question

有没有办法避免使用下面的 @SuppressWarnings 并保持相同的功能而不出现警告“类型安全：从 AbstractDO[] 到 E[] 的未经检查的转换”：

public MyClass {
  ...
  private Map<Class<? extends AbstractDO>, AbstractDO[]> map;
  ...
  private void saveConcreteDOs(AbstractDO[] theEntities) {        
    entityMap.put(theEntities[0].getClass(), theEntities);
  }

  @SuppressWarnings("unchecked")
  protected <E extends AbstractDO> E[] getConcreteDOs(Class<E> theType) {
    return (E[]) map.get(theType);
  }
  ...
}

也许加强地图申报？

Answer 1

您有一个选择：要么抑制您知道总会成功的强制转换的警告，要么避免警告并使用 try/catch 块验证强制转换是否成功。

只有这两个选择。

也许有一种方法可以增强地图声明？

就你的情况而言，我想说你有几个选择。

我认为最好的选择是在您的 getConcreteDOs 方法中添加一个 throws ClassCastException 子句，并让调用者处理因该方法的无效使用而导致的无效转换 -假设他们可以让它围绕您的 extends AbstractDO 子句进行编译。这会产生不幸的副作用，即强制使用者将调用包装在 try/catch 块中，或者声明自己的 throws 子句以强制 try/catch 块位于堆栈的更高位置。

你可以用一个空的 catch 块来吞掉异常；坦率地说，我更喜欢@SuppressWarning。

或者，您可以完全放弃该方法，只处理抽象实体，从而有效地使存储库的使用者处理强制转换。

底线：每当您尝试构建通用存储库时，您都会遇到这些问题。使用每个实体类型的具体存储库模式可能会更好。

Answer 2

您可以通过使类通用来避免未经检查的强制转换，例如

public class MyClass<E extends AbstractDO> {

    private Map<Class<? extends AbstractDO>, E[]> map;

    public void saveConcreteDOs(E[] theEntities) {        
      map.put(theEntities[0].getClass(), theEntities);
    }

    public E[] getConcreteDOs(Class<E> theType) {
      return map.get(theType);
    }
}

Answer 3

首先，您的代码不是类型安全的。它可以在运行时抛出类转换异常。你应该

  private void saveConcreteDOs(AbstractDO[] theEntities) {        
    entityMap.put(theEntities.getClass().getComponentType(), theEntities);
  }

在运行时只有同构数组，并且 element[0] 与数组组件类型具有相同的类型。然而，仅通过考试这门课是无法知道这一点的。

通过这个更正的代码，超级智能编译器可以证明 getConcreteDOs() 是类型安全的。然而 javac 并不那么聪明。语言规范要求发出警告。

一般来说，Java 中没有办法表达键和值之间更复杂的关系。值是一个数组，其组件类型是键，这一不变量仅保留在您的头脑中。

现在，看看这个非数组版本：

private Map<Class<? extends AbstractDO>, AbstractDO> map;

protected <E extends AbstractDO> E getConcreteDOs(Class<E> theType) 
{
  AbstractDO obj = map.get(theType);
  return theType.cast(obj);
}

这没有警告，但它是一种作弊。 Class.cast() 为我们隐藏了警告，仅此而已。

它对数组版本没有帮助，Class 中没有 T[] castArray(Object[])。你可以自己制定一种方法，有效地将警告隐藏在其中。

或者你可以这样做，但它真的没有必要俗气。如果您知道自己在做什么并且仔细检查了程序以确保类型安全，请不要害怕未经检查的强制转换警告。

protected <E extends AbstractDO> E[] getConcreteDOs(Class<E[]> arrayType) 
{
  AbstractDO[] array = map.get(arrayType.getComponentType());
  return arrayType.cast(array);
}
...
X[] array = getConcreteDOs(X[].class);