通用方法 - 语法混淆

Question

我正在阅读有关通用方法的内容 我已经研究过，如果你没有在类级别声明类型并使用泛型方法，语法将会以某种方式像这样

public <T> void makeArrayList(T t)

在这里我可以得出以下结论，如果我没有在返回类型之前声明占位符，它会给我编译时错误。 我很困惑。 我正在研究Java Generics的其他主题：通用类型仅定义为返回类型，但它似乎很混乱。 我的问题是

1. 编译器如何知道，集合的类型是什么？
2. 为什么我们需要在返回类型之前声明类型？

有人可以详细阐述这一点吗？

Answer 1

如果未将<T>放在标题中，则该函数无法知道T存在。

Oracle文档中给出的类型推断的简短说明：

编译器根据实际参数的类型为我们推断类型参数。 它通常会推断出使调用类型更正的最具体的类型参数。

参考文献：
我强烈建议阅读Java Generics FAQ ，特别是关于Java Generic Methods的部分。 关于通用方法的Oracle教程也很有用，尽管不像其他参考文献那样广泛。

Answer 2

1.编译器如何知道，集合的类型是什么？

类型是您在每次方法调用时传递的任何类型。 方法声明中没有具体的类型; 这就是声明泛型方法的意思。

2.为什么我们需要在return-type之前声明类型？

因为这是声明泛型方法的语言语法。 参见JLS§8.4.4。