java - Guava 的 TypeToken 文档中的 "free type variable"是什么？

Question

我正在尝试创建一个带有类型键的Map。为了支持泛型类型，我需要像 Guava 的 TypeToken 这样的东西.

但是，我对构造函数文档中的一些术语感到困惑。例如第二个构造函数:

Constructs a new type token of T while resolving free type variables in the context of declaringClass.

什么是“自由类型变量”？什么是“声明类？”

Answer 1

In the class-level javadoc ，他们给出了该构造函数的使用示例

//                 free type variable
//                         v
abstract class IKnowMyType<T> {
    TypeToken<T> type = new TypeToken<T>(getClass()) {};
}
new IKnowMyType<String>() {}.type => String

您通常无法获得 String 。但是，在这里，getClass返回一个匿名子类，其中有 IKnowMyType<String>作为它的父类(super class)。因此，您可以提取 String使用典型的类型 token hack:

Type superclass = getClass().getGenericSuperclass();
Type actualTypeArgument = ((ParameterizedType) superclass).getActualTypeArguments()[0];