有没有办法在这段代码中避免@SuppressWarnings？

Question

有没有办法避免在下面使用@SuppressWarnings 并在没有警告的情况下保持相同的功能'Type safety: Unchecked cast from AbstractDO[] to 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

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

私人无效 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>中没有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);