该方法如何推断 <T> 的类型

Question

以下方法完美运行

public <T> void fromJsonArray(String jsonString,Type tToken) {
  Gson g = new Gson();
  T list = g.fromJson(jsonString,tToken);
  System.out.println(list);
}

但是我没有具体说明这个方法中的是什么。编译器如何将fromJson方法返回的值赋给我没有指定类型的变量list？

我刚刚测试了关于 <T> 从方法的返回类型推断出来的答案的有效性。它似乎没有成功。请查看以下代码。它甚至没有编译

import java.util.*;

class Sample {

  public List<String> getT(String s) {
    List<String>  list = new ArrayList<String>();
    list.add(s);
    return list;
  }

  public <T> void test(){
    T list = getT("test");
    System.out.println(l);
  }

  public static void main(String[] a) {
    new Sample().test();
  }
}

再次修改源码并测试，结果编译时出错

public <T> List<T> getT(T s) {
  List<T>  list = new ArrayList<T>();
  list.add(s);
  return list;
}

public <T> void test(){
  T list = getT("test"); //incompatible types compilation error here
  System.out.println(list);
}

Sample1.java:13: error: incompatible types T list = getT("test"); ^ required: T found: List where T is a type-variable: T extends Object declared in method test()

Answer 1

方法如何推断<T>的类型

它没有。泛型方法不会推断它们的泛型类型——这就是为什么T 被称为类型参数。该方法的调用者为T 提供了一个类型参数。当它这样做时，它可能由编译器根据方法调用的参数和目标类型的上下文来推断。

例如：

Set<String> c = Collections.emptySet();

emptySet 声明了一个类型参数T，不接受任何参数，并返回一个Set<T>。在这里，编译器根据目标类型Set<String> 推断T 为String。

另一个例子：

Collections.singleton("asdf");

singleton 声明一个类型参数T，接受一个T，并返回一个Set<T>。这里没有目标类型，但编译器根据参数"asdf" 推断T 为String。

但泛型类型推断只是一种方便。没有它，我们仍然可以使用 type witnesses 来显式提供类型参数：

Set<String> c = Collections.<String>emptySet();
Collections.<String>singleton("asdf");

这将我们带到您的方法签名：

public <T> void fromJsonArray(String jsonString, Type tToken)

fromJsonArray 声明了一个类型参数T，但不返回与T 类型相关的任何内容或获取与T 相关的参数。在调用fromJsonArray 时，编译器没有可从中推断T 的信息。除非使用类型见证，否则其类型参数将默认为其上限 Object：

myObj.<String>fromJsonArray(jsonString, tToken);

但这并不重要，因为<String> 对方法调用的行为或其编译没有影响。 T 是无意义的*，可以从fromJsonArray 的声明中去掉。

编译器如何将fromJson方法返回的值赋给我没有指定类型的变量list？

这里是Gson.fromJson(String, Type)的来源：

@SuppressWarnings("unchecked")
public <T> T fromJson(String json, Type typeOfT) throws JsonParseException {
    StringReader reader = new StringReader(json);
    T target = (T) fromJson(reader, typeOfT);
    return target;
}

您可以看到它声明了一个任意类型参数T，并将反序列化的对象转换为T。这被称为未经检查的强制转换，因为如果它是错误的，它不会很快失败。那是因为T 在运行时一直是erased。您可以看到代码正在禁止执行此操作的警告，因为这通常是一个坏主意。通过不限制 T 基于方法参数的内容，Gson 代码有效地将其控制权交给了调用者。如果你写：

List<String> list = g.fromJson(jsonString, tToken);

但tToken 代表HashSet<String>，您会在运行时在该行上获得ClassCastException。更糟糕的是，如果tToken 代表ArrayList<Integer>，它甚至不会在该行失败，因为JVM 只会看到List 并允许分配发生。 ClassCastException 将在稍后的某个时间抛出，一旦您的代码尝试像 Strings 一样处理列表的 Integer 元素（并且该异常会使调试感到困惑）。

所以为了回答您关于分配的问题，编译器允许您将fromJson 的结果分配给您想要的任何东西。是否正确取决于您。

您可能会问，为什么 Gson 会进行未经检查的强制转换并允许不安全的代码？ 答案是出于语言限制，这是为了方便。他们的另一个签名更安全：

public <T> T fromJson(String json, Class<T> classOfT)

但是没有办法用Class 表示泛型类型——例如没有List<String>.class。只有Type 可以做到这一点，而且它本身并不是通用的。 fromJson 可能需要 TypeToken<T>，但还有其他方法可以获取 Type，因此会受到限制。

返回 Object 并强制调用者进行未经检查的强制转换会更加透明，但 Gson 开发人员可能希望避免这种“丑陋”。

Answer 2

T list = g.fromJson(jsonString,tToken);

从g.fromJson().的返回类型推断