Java / Scala有界泛型和类型推断不匹配

Question

来自Java背景，我知道这不会编译。

public static class SuperClass {}
public static class SubClass extends SuperClass {}

public static <T, U extends T> U returnSub(T sup, U sub) {
    return sub;
}

public static void main(String[] args) {
    SuperClass parent = new SuperClass();
    SubClass child = new SubClass();

    returnSub(parent, child);
    returnSub(child, parent); // Java doesn't like that
}

最后一行产生编译器错误（编辑：至少在jdk1.6.0_65上），它确实：

绑定不匹配：类型Test的泛型方法returnSub（T，U）不适用于参数（Test.SubClass，Test.SuperClass）。 推断类型Test.SuperClass不是有界参数的有效替代

所以，我很惊讶，这似乎在Scala中起作用。 我在下面编写了示例代码（据我所知，表达了相同的“逻辑”）：

class SuperClass
class SubClass extends SuperClass

def returnSub[Type, SubType <: Type](supArg: Type, subArg: SubType): SubType = {
  subArg
}

override def main(args: Array[String]): Unit = {
  val parent = new SuperClass()
  val child = new SubClass()

  val iAmOkWithThat: SubClass = returnSub(parent, child)
  val iDontGetThat: SuperClass = returnSub(child, parent)
}

我猜 Scala编译器很聪明，可以说“好吧， child是SubClass一个实例，但是如果我这么说我就不能调用returnSub ，所以如果我把child视为一个SuperClass实例，让我试试吧，好吧，它工作，所以让我们这样做“。

这是发生了什么（如果是这样，你能指出一个语言规范）吗？ 或者我的Scala“转换”可能不等同于我的Java代码？

谢谢！

Answer 1

您的代码应该适用于这两种语言，因为T和U都可以是SuperClass 。 使用Java 1.8，您的代码可以毫无问题地编译。 自从引入泛型以来，类型推断已经有了很大的改进，但是你可以通过编写从1.5开始在所有版本的Java上使用它

ThisClass.<SuperClass, SuperClass>returnSub(child, parent);

你现在需要提供这样的显式类型参数。

至于为什么你没有得到与Scala相同的问题，我恐怕无法回答，因为我根本不了解Scala。