为什么泛型方法和泛型类型有不同的类型引入语法？

Question

在研究泛型时，我注意到泛型方法和泛型类型（类或接口）在类型引入语法上的一个差异使我感到困惑。

泛型方法的语法为

<T> void doStuff(T t) {
    // Do stuff with T
}

文件上说

class Stuff<T> {
    // Do stuff with T
    T t;
}

为了彼此保持一致，我希望方法语法为
void dostuff (T T）{} ，或者类型语法（for class）为class stuff{} ，但事实显然并非如此。

为什么一个要介绍在前，另一个要介绍在后？

我主要以list 的形式使用泛型，并认为 list 可能看起来很奇怪，但这是一个主观的参数，此外对于方法也是这样。您可以调用dostuff，类似于this。 dostuff（“一个字符串”）；

在寻找技术解释时，我想在指定返回类型之前，可能必须将 引入方法，因为t可能是返回类型，编译器可能无法这样向前看，但这听起来很奇怪，因为编译器很聪明。

我想除了“语言设计师只是这样做的”之外，还有一种解释，但我找不到。

Answer 1

答案确实存在于GJ规范中，该规范已被链接，引用自该文件，第14页：

在方法名之前传递参数的约定是解析约束所必需的：使用更常规的“方法名之后是类型参数”约定，表达式f(a (d)) 将有两个可能的解析。

f(a (d)) 可以解析为f(a d) （通过比较将两个布尔值传递给f）或f(a (d)) （将类型参数b和c和值参数d传递给f的a调用）。我认为这也可能是scala选择使用[]而不是<>来处理泛型的原因。