Java运行时强制转换为泛型接口而不丢失类型信息

Question

我有一个泛型接口，可以由抽象基类的不同子类实现。

interface PropertyOne<T> {
  T type();
  List<String> values();
}

在基类中，我定义了一个小的帮助器方法，检查当前实例是否实现了该接口，并在可能的情况下强制转换为该接口：

<T> Optional<T> toProperty(Class<T> clazz){
    if (clazz.isAssignableFrom(this.getClass())){
      return Optional.of(clazz.cast(this));
    }
    return Optional.empty();
}

例如，我使用这个helper方法来获取和打印这些值：

void printValues() {
    List<String> values = toProperty(PropertyOne.class)
      .map(p -> p.values())
      .orElse(Collections.emptyList());
    System.out.println(values);
}

但这会给我一个不安全的强制转换警告，因为values()现在返回的是列表而不是列表 。我知道编译代码后泛型类型信息会丢失，但是由于值的返回类型总是字符串类型的列表，所以它应该是安全的？

if ( this instanceof PropertyOne<?>){
   List<String> vs = ((PropertyOne<?>)this).values();
   System.out.println(vs);
}

1. 为什么列表 类型信息首先丢失？
2. 是否可以直接动态强制转换为通配符/无界类型，而不在之后手动转换为propertyone ？

Answer 1

因为类 上的泛型非常有限，不能以这种方式使用（我想说J.L.class上的泛型被破坏了，但这可能有点苛刻。它们也有一些用途，只是..不多）。泛型可以表示类实例不能表示的东西；类实例(java.lang.class的实例可以表示泛型不能表示的东西。具体来说，list 不能表示为类实例，而int.class是不能用泛型表示的类实例。

换句话说，当您试图在java.lang.class 实例中通信完整的泛型类型（例如propertyone )时，您就失败了--j.l.class中的T只能是一个没有泛型的类型。

所以，这不是怎么做的。

必须使用toProperty方法。不是为了这篇文章中的问题；它是关于尝试在从（可选包装的）toProperty调用派生的PropertyOne实例上调用type()。

除此之外，您在values()调用中遇到麻烦的原因似乎没有实际的相关泛型部分，这是因为过时的java规则：一旦您使用“原始”，所有的东西都是原始的，甚至不需要它的东西也是如此。

因此，在toproperty(cropertyone.class)中，最终将返回一个可选 -一个原始类型，因为这不合适；您需要例如propertyone ，这与propertyone不同（最后一个是raw的；前者不是）-但是对于class ，您不能这样做，因为class 是断开的。现在您进入了原始领域，在这个原始类型上调用values()最终将返回一个原始列表（只是list)，您可能认为这仍然会给您一个list ，因为values()的返回类型不依赖于propertyone的泛型，但这不是它的工作方式，java lang规范说不是。

有几种方法可以解决这个难题，但大多数情况下你只是在这里滥用泛型，你真的做不到这些。请记住，泛型是编译器想象中的虚构：它们在运行时根本不存在。无法运行时检查任何内容。一旦开始混合泛型和运行时构造，如instanceof或x.isassignablefrom，就永远不会成功。

如果必须的话，您可以使用一种叫做“超级类型标记”的东西--您可以在谷歌上搜索它（在'java'中加入关键字），这些标记可以非常精确地表示泛型中的任何内容。但这听起来仍然是个错误；但我不能告诉你们在这里要做什么，你们的问题描述是在谈论一个破碎的解决方案，而不是破碎的解决方案试图解决的问题。