避免涉及类的运行时传递的一般情况的不安全转换

Question

public class AutoKeyMap<K,V> {

    public interface KeyGenerator<K> {
        public K generate();
    }    
    private KeyGenerator<K> generator;

    public AutoKeyMap(Class<K> keyType) {
        // WARNING: Unchecked cast from AutoKeyMap.IntKeyGen to AutoKeyMap.KeyGenerator<K>
        if (keyType == Integer.class) generator = (KeyGenerator<K>) new IntKeyGen();
        else throw new RuntimeException("Cannot generate keys for " + keyType);
    }

    public void put(V value) {
        K key = generator.generate();
        ...
    }


    private static class IntKeyGen implements KeyGenerator<Integer> {

        private final AtomicInteger ai = new AtomicInteger(1);

        @Override public Integer generate() {
            return ai.getAndIncrement();
        }

    }


}

在上面的代码示例中，在不添加 @SuppressWarnings（如果有）的情况下，防止给定警告的正确方法是什么？

Answer 1

您可以通过执行以下操作暂时修复代码：

private KeyGenerator<?> generator;

public AutoKeyMap(Class<?> keyType) {
    // WARNING: Unchecked cast from AutoKeyMap.IntKeyGen to AutoKeyMap.KeyGenerator<K>
    if (keyType == Integer.class) generator = new IntKeyGen();
    else throw new RuntimeException("Cannot generate keys for " + keyType);
}

但是如果您需要在 AutoKeyMap 中实现类似的方法

K generate(){
  return generator.generate();
}

，那么它将再次中断。问题是，一旦开始对类类型进行运行时检查（就像在 if(keyType == Integer.class) 中所做的那样），Java 编译器就无法静态地确保类型正确。因为您可以实例化 new AutoKeyMap(ClasskeyType) 然后编写

if(keyType == Boolean.class){
  generator = new IntKeyGen();
}

这显然会破坏，因此静态检查泛型类型的全部意义将会丢失。

通常，像您这样涉及动态类型转换的所有问题都超出了泛型范围，因此您必须忍受未经检查的转换，并且只需确保编写足够的单元测试并确保您的代码可以正常工作并且不会抛出 ClassCastException在所有场景中。