下面的方法完美运行

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()

最佳答案

how does the method infer the type of <T>

事实并非如此。通用方法不推断它们的通用类型 - 这就是为什么 T称为类型参数。该方法的调用者 为T 提供了一个类型参数.如果出现这种情况，编译器可能会根据方法调用参数的上下文和目标类型推断出它。

例如:

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

emptySet声明一个类型参数 T , 不接受任何参数，并返回 Set<T> .在这里，编译器推断出 T成为String基于目标类型，Set<String> .

另一个例子:

Collections.singleton("asdf");

singleton声明一个类型参数 T , 需要 T , 并返回 Set<T> .这里没有目标类型，但编译器推断出 T成为String基于参数 "asdf" .

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

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 的声明中删除.

how does the compiler assign the value returned by the fromJson method to the variable list whose type i have not specified?

这里是 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一旦您的代码尝试处理列表的 Integer，稍后将被抛出像 String 这样的元素s(并且异常会混淆调试)。

所以为了回答你关于赋值的问题，编译器让你赋值 fromJson 的结果。到任何你想要的。是否正确取决于您。

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

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

但是没有办法用 Class 表示泛型类型- 没有List<String>.class例如。只有一个Type可以做到这一点，而且它本身不是通用的。 fromJson可能需要 TypeToken<T> , 但还有其他方法可以获得 Type ，所以这将是限制性的。

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

关于java - 该方法如何推断 <T> 的类型，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/22280055/