在所有方法调用上允许类型见证有什么意义？

Question

假设我们有如下两种方法：

public static <T> T genericReturn() { /*...*/ }
public static String stringReturn() { /*...*/ }

在调用任何方法时，无论是否有任何要求，都可以提供类型见证：

String s;
s = Internet.<String>genericReturn(); //Type witness used in return type, returns String
s = Internet.<Integer>stringReturn(); //Type witness ignored, returns String

但是，我没有看到它在Java中有任何实际的用途，除非无法推断类型（这通常表明存在更大的问题）。此外，如果不恰当地使用它，它就会被忽略，这一事实似乎违反了直觉。那么，在Java中使用它有什么意义呢？

Answer 1

这是因为向后和/或向前兼容（在源代码级别）。

想象一下在JDK 7中为Swing中的某些类引入泛型参数。方法也可能发生这种情况（即使有限制）。如果某个东西被证明是个坏主意，您可以删除它们，使用它的源代码仍然可以编译。在我看来，这就是为什么这是允许的，即使它没有被使用。

但灵活性有限。如果使用n类型引入了类型参数，则在m！=0或m！=n。

（我知道这可能无法回答您的问题，因为我不是Java的设计者，这只是我的想法/观点。）

Answer 2

当类型推断无法工作时，您需要类型见证（菱形中的类型）（请参见http://docs.oracle.com/javase/tutorial/java/generics/genTypeInference.html)

举个例子，菊花链调用如下：

processStringList(Collections.emptyList());

其中，过程StringList定义为：

void processStringList(List<String> stringList) 
{
    // process stringList
}

这将导致错误，因为它无法强制转换列表

Answer 3

从JLS§15.2.12.1：

• 如果方法调用包括显式类型参数，并且成员是泛型方法，则类型参数的数量等于方法的类型参数的数量。

此子句意味着非泛型方法可能适用于提供显式类型参数的调用。事实上，它可能被证明是适用的。在这种情况下，类型参数将被忽略。

然后是辩护

这一规则源于兼容性问题和可替代性原则。由于接口或超类可以独立于其子类型进行泛型，因此我们可以用非泛型方法重写泛型方法。但是，重写（非泛型）方法必须适用于泛型方法的调用，包括显式传递类型参数的调用。否则，子类型将无法替换其泛化的超类型。

沿着这条推理路线，让我们构造一个示例。假设在Java1.4中，JDK有一个类

public class Foo
{
    /** check obj, and return it */
    public Object check(Object obj){ ... }
}

一些用户编写了一个专有类，该类扩展了Foo，并重写了check方法

public class MyFoo extends Foo
{
    public Object check(Object obj){ ... }
}

当Java1.5引入泛型时，Foo。检查被泛化为

    public <T> T check(T obj)

雄心勃勃的向后可比性目标要求MyFoo仍然在Java1.5编译而不修改；和MyFoo.check[Object-

现在，根据上述理由，由于这将编译：

    MyFoo myFoo = new MyFoo();

    ((Foo)myFoo).<String>check("");

这也必须编译：

    myFoo.<String>check("");

即使MyFoo。检查不是通用的。

听起来有点牵强。但即使我们接受这一观点，解决方案仍然过于宽泛和过度。JLS可以把它收紧，这样myFoo。