通用方法 - 语法混淆

ben*_*enz 3 java generics

我正在阅读有关通用方法的内容 我已经研究过,如果你没有在类级别声明类型并使用泛型方法,那么语法就会像这样

public <T> void makeArrayList(T t)
Run Code Online (Sandbox Code Playgroud)

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

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

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

Ste*_* P. 5

如果你没有放入<T>标题,该函数无法知道T存在.

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

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

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