如何检查泛型类型是否在java中实现了特定类型的泛型接口？

collections java generics

2022-09-01 06:09:13

可能的副本：
运行时局部变量的泛型类型

我是Java泛型的新手，来自.NET世界，我习惯于能够编写这样的方法：

public void genericMethod<T>(T genericObject)
{
    if (genericObject is IList<String>)
    {
        //Do something...
    }            
}

该方法接受泛型类型的对象，并检查该对象是否实现了泛型接口的特定版本，在本例中为。IList<>IList<String>

现在，在Java中，我可以这样做：

public <T> void genericMethod(T genericObject)
{
    if (genericObject instanceof Set<?>)
    {
       //Do something...
    }
}

但

Java 不让我这样做if (genericObject instanceof Set<String>)

据我所知，由于类型擦除，通常在Java中，这将由类对象处理，我们将执行以下操作：

public <T> void genericMethod(T genericObject)
{
    Class<OurTestingType> testClass = OurTestingType.class;
    if (genericObject.getClass() == testClass)
    {
       //Do something...
    }
}

但是由于我正在检查的类型是通用接口，因此您无法执行此操作：

Class<Set<String>> testClass = Set<String>.class

那么，在Java中，我如何检查泛型对象是否实现了特定类型的？Set<String>

答案 1

Java实现了擦除，因此无法在运行时判断是否是的实例。保证这一点的唯一方法是在泛型上使用边界，或检查集合中的所有元素。genericObjectSet<String>

编译时泛型边界

使用边界检查，这将在编译时检查：

public <T extends SomeInterface> void genericMethod(Set<? extends T> tSet) {
    // Do something with tSet here
}

爪哇 8

我们可以在Java 8中使用流在一行中本地执行此操作：

public <T> void genericMethod(T t) {
    if (t instanceof Set<?>) {
        Set<?> set = (Set<?>) t;
        if (set.stream().allMatch(String.class:isInstance)) {
            Set<String> strs = (Set<String>) set;
            // Do something with strs here
        }
    }
}

Java 7 及更早版本

对于Java 7及更早版本，我们需要使用迭代和类型检查：

public <T> void genericMethod(T t) {
    Set<String> strs = new HashSet<String>();
    Set<?> tAsSet;
    if (t instanceof Set<?>) {
        tAsSet = (Set<?>) t;
        for (Object obj : tAsSet) {
            if (obj instanceof String) {
                strs.add((String) obj);
            }
        }
        // Do something with strs here
    } else {
        // Throw an exception or log a warning or something.
    }
}

番石榴

根据Mark Peters在下面的评论，如果您可以将Guava添加到您的项目中，也可以为您执行此操作：

public <T> void genericMethod(T t) {
    if (t instanceof Set<?>) {
        Set<?> set = (Set<?>) t;
        if (Iterables.all(set, Predicates.instanceOf(String.class))) {
            Set<String> strs = (Set<String>) set;
            // Do something with strs here
        }
    }
}

该语句实质上与相同。Iterables.all(set, Predicates.instanceOf(String.class))set instanceof Set<String>

答案 2

可悲的是，在Java中没有这个选择。在 Java 中，a 和 a 之间没有运行时差异。正是编译器确保您永远不会对 .即使编译器的执行也不严格，所以你可以“合法地”用未经检查的强制转换来做这种令人憎恶的事情。List<String>List<Integer>add()IntegerList<String>

总而言之，对于（几乎）任何运行时类型识别的问题，您都必须考虑它的实际情况：只是一个原始的。这称为类型擦除。List<String>List

也就是说，没有什么可以阻止您检查其类型的内容：List

public boolean isListOf(List<?> list, Class<?> c) {
    for (Object o : list) {
        if (!c.isInstance(o)) return false;
    }

    return true;
}

要使用此方法，请执行以下操作：

    // ...
    if (genericObject instanceof List<?>) {
        if (isListOf((List<?>) genericObject, String.class)) {
            @SuppressWarnings("unchecked")
            List<String> strings = (List<String>) genericObject;
        }
    }

一个有趣的观察结果：如果为空，则该方法对所有给定类型返回 true。实际上，空和空之间没有任何运行时差异。listList<String>List<Integer>