Question

可能重复：
Generic type of local variable at runtime

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

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

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

现在，在Java中，我能够做到这一点：

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

BUT

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>？

Answer 1

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

编译时通用边界

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

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

Java 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>基本相同。

Answer 2

遗憾的是，你没有Java中的那个选项。在Java中，List<String>和List<Integer>之间没有运行时差异。 编译器确保您永远不会add() Integer到List<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;
        }
    }

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

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

2 个答案:

编译时通用边界

Java 8

Java 7及更早版本

番石榴