java - 使用泛型类型时如何打印编译器推断的有界类型？

Question

考虑以下代码段：

List<Exception> exceptionList = Arrays.asList(new Exception("344"));
List<Error> errorList = Arrays.asList(new Error("44"));

//consider a hypothetical function that can print the generic string corresponding
//to the type inferred by the following operation
showType((a == 4) ? exceptionList : errorList);

• 在这里，我想知道是否有某种方法可以编写一个函数，该函数可以打印与编译器为上述操作推断的类型相对应的通用字符串？
• 例如：我觉得推断的类型一定是List<? extends Throwable>编译器的类型 - 我也可能错了，但想知道我们如何确定编译器推断的类型？

标签： javagenericstype-inferencejlsparameterized-types