Java泛型：是否也可以在运行时保留有关泛型类型的任何元信息？

Question

背景

我对 Java泛型的 理解是它完全是一个 编译时 功能（主要侧重于类型安全检查）。任何泛型类的类型信息在运行时都会丢失（ 类型擦除 ）。

不过，我看到许多框架 似乎 也在运行时利用类型信息。例如，google guice
Providers。guice提供程序可以在运行时实例化并提供其通用类型的新实例。

class Container
{
     @Inject   
     public Container(Provider<Content> contentProvider)
     {
     //This works at Runtime... but How ??? 
     //When type's are not even preserved at runtime, how does the Provider knows it has to instantiate an object of type 'Content' 
     Content content = contentProvider.get();   
     }
}

题

1. 是否还有与泛型类型相关的信息，这些信息也会在运行时保留。？ 如果 是 ，那 是 什么？ 如果为 no ，那么google guice之类的库如何在内部运行（上述示例）

2. 除了编译时安全以外，泛型还有更多的东西吗？像在一样，是否有任何用例（除了确保编译时安全性之外）都可以使用泛型获得优势？

Answer 1

当然，信息的一个类 是 通用的支持。

换句话说：当您反编译ArrayList.class时，您会发现有关此类允许一个通用类型参数的事实的提示。换句话说：类文件包含 元
信息。使用反射，可以在运行时检查此元信息。

但是，当您有另一个使用某些List<Integer>对象的类时-则在已编译的类中找不到有关该“列表使用整数”的信息-
除非您使用某些特定的模式（例如此处概述）。

因此，答案基本上是：对于几乎所有与实际相关的用例，“泛型” 仅是 编译时 。

例：

public class GenericsExample<T> {
  private T member;   
  public T foo(T bar) {
     return member;
  }
}

现在运行：javap -p -c GenericsExample

Compiled from "GenericsExample.java"
public class GenericsExample<T> {
  private T member;

  public GenericsExample();
    Code:
       0: aload_0       
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public T foo(T);
    Code:
       0: aload_0       
       1: getfield      #2                  // Field member:Ljava/lang/Object;
       4: areturn       
}

如您所见，反编译器了解该类使用该泛型类型T。