Java：检查泛型是否为 int

Question

public class Hashing<Key, Elem>

我想检查 Key 是否是一个 int，所以我将这一行放在构造函数中：

Key key = null;
if (!(key instanceof Integer)) {
    throw new TypeOfKeyStillNotSupportedException();
}

但是，我以这种方式创建一个：

tHash = new Hashing<Integer, Movie>(max);

然后弹出了该死的 TypeOfKeyStillNotSupportedException() 。为什么会发生这种情况以及我该如何正确地做到这一点？

提前致谢。

编辑：已经发现问题在于密钥被分配为空。现在的问题是：如何进行检查？

Answer 1

null 不是任何东西的 instanceof 。由于类型擦除，无法在运行时直接检查 Key 的类型。一种选择是让用户将 Class 传递给构造函数，以便您可以检查：

public Hashing(Class<Key> keyType, ...) {
  if (keyType != Integer.class) {
    throw new TypeOfKeyStillNotSupportedException();
  }
  ...
}

...

Hashing<Integer, Foo> hashing = new Hashing<Integer, Foo>(Integer.class, ...);

为了避免重复类型参数，您可以创建一个静态工厂方法：

public static <K, E> Hashing<K, E> create(Class<K> keyType, ...) {
  return new Hashing<K, E>(keyType, ...);
}

...

Hashing<Integer, Foo> hashing = Hashing.create(Integer.class, ...);

Answer 2

Java泛型是使用类型擦除实现的：泛型信息被丢弃在用于类型检查后由编译器执行，因此在运行时您的类实际上只是Hashing。这就是为什么你不能基于泛型类型进行运行时检查。

您可以将 Class 类型的参数添加到构造函数，调用者必须传递用作键的类型的正确类对象。例如，在 Hashing 中，只有 Integer.class 会被接受作为该参数的值，并且您可以将其用于运行时类型检查。不过，将密钥的类对象作为参数传递的要求使得构造函数调用看起来有点尴尬。

Answer 3

如果您的代码有“key = null;”在instanceof测试之前，必然会抛出异常。

原因是 instancof 运算符检查所指向对象类型的引用，而不是它的声明方式。

您可以尝试使用这个简单的示例并相应地删除注释以查看差异：

public static void main(String[] args) {
    //Object obj = new Integer(9);
    Object obj = null;

    if (!(obj instanceof Integer))
        System.out.println("Not Integer.");
    else
        System.out.println("Is Integer");
}

此外，您可以在此处找到更多详细信息：

http://download.oracle.com/javase/tutorial/java/nutsandbolts/op2.html

希望它有帮助:)

---

Java 泛型的完整示例：

class GenTest<Key extends Integer, Value>{
    Key key;
    Value val;

    GenTest(Key key, Value val){
        this.key = key;
        this.val = val;

        System.out.println("Key: " + key + " Value: " + val);
    }
}

public class GenericRecap {
    public static void main(String[] args) {
        //Object obj = new Integer(9);
        Object obj = null;

        if (!(obj instanceof Integer))
            System.out.println("Not Integer.");
        else
            System.out.println("Is Integer");

        new GenTest<Integer, String>(9, "nine");
    //new GenTest<String, String>("funny", "nine");  // In-Error
    }
}

另请注意通过使用“Key extends Integer”，如果您传递的不是 Integer 的子类，则会在运行时抛出异常。此外，如果您正在使用检查它的 IDE，它将被标记为 GenTest 类的“类型不在范围内”。

Floats 和 Integer 都继承自 Number。因此，您可以“扩展 Number”，然后检查“instanceof Integer”或“instanceof Float”，具体取决于您希望如何在代码中使用它。

希望它有帮助:) 干杯！

Answer 4

鉴于您的示例中的以下内容：

public class Hashing<K, E>

这没有任何意义：因为 K 是一个 Type，当该类专门化时可以将其设置为任何内容。我将名称从 Key 更改为 K，以消除您可能认为 Key 不代表 Type 的困惑>。 Type 名称的一般标准是大多数时候使用单个字符。

K key = null;
if (!(key instanceof Integer)) 
{
    throw new TypeOfKeyStillNotSupportedException();
}

如果您将其更改为，

K key = null;
if (!(key instanceof K)) 
{
    throw new TypeOfKeyStillNotSupportedException();
}

这将是一个更通用的解决方案，但这也没有意义，因为 key 将始终是一种类型K

key 不能为 null，因为 null 不属于任何 Type

没有对 instanceof 检查周围的内容有更多上下文我不知道您的意图是什么。

使用 instanceof 检查 Generic 的 Type 是一种代码味道，而且可能是错误的方法。

看看这里 java.util.HashMap 实现解决了这个问题。

只有两个地方使用 instanceof ，并且这些都是仅接受 Object 且不类型安全的遗留方法。

Answer 5

处理这个问题的方法是显式测试 null；例如

Key key = null;
if (key == null) {
    throw new KeyIsNullException();
} else if (!(key instanceof Integer)) {
    throw new TypeOfKeyStillNotSupportedException();
}

// ... or (for the literal minded) ...

if (key != null && !(key instanceof Integer)) {
    throw new TypeOfKeyStillNotSupportedException();
}

---

，郑重声明，那些回答说这与类型擦除有关的人是错误的。如果Key 是一个明确的类或接口，您将得到完全相同的行为。

（另一方面，如果代码表示 someObj instanceof Key ...，由于类型擦除问题，这将是一个编译错误。）

Answer 6

您需要一个 isInstance 方法，该方法是动态相当于instanceof运算符。

例如，

Integer.class.isInstance(1); //return true
Integer.class.isInstance(null); //return false

编辑：
如果您想针对不同的类类型进行测试，请编写如下实用方法：

static <T> boolean isInstance(Class<T> type, Object obj) {
    return type.isInstance(obj);
}

例如，

Hashing.<String>isInstance(String.class, "hi"); // return true