java - 即使 X 应该匹配 T，也无法将 X 转换为 T？

Question

我通常是一名 C# 开发人员，刚接触 Java，我正在尝试使用泛型设置一些代码。我的演示代码如下所示:

// Main.java
public static void main(String[] args) {
    MyBase my = getMeStuff();
    System.out.println(my.getSomething());
}

private static <T extends MyBase> T getMeStuff(){
     return new MyDerived(123);
}

// MyBase/MyDerived.java
public class MyBase {
    private final int something;

    protected MyBase(int something) { this.something = something; }

    public int getSomething() { return something; }
}

public class MyDerived extends MyBase {
    public MyDerived(int something) { super(something); }
}

编译失败:

Exception in thread "main" java.lang.Error: Unresolved compilation problem: 
Type mismatch: cannot convert from x.MyDerived to T

at x.Main.getMeStuff(Main.java:14)
at x.Main.main(Main.java:9)

如前所述，我通常是一名 C# 开发人员，所以代码乍一看还不错。我可以通过更改 getMeStuff 以向 (T) 添加强制转换来“解决”此错误，但该强制转换真的有必要吗？闻起来有点像我忘记了什么？

Answer 1

问题是返回类型可以是派生自 MyBase 的任何类型，并且您已将其专门键入到 MyDerived，如果不进行强制转换，它甚至无法在 C# 中工作。调用者可以改为指定 SomeOtherDerived，它也派生自 MyBase 但与 MyDerived 无关。

public class MyBase{}
public class MyDerived extends MyBase{}
public class SomeOtherDerived extends MyBase{}
public static <T extends MyBase> T getAnything(){ return (T)new MyDerived(); }

public static void main(String[] args) {
    SomeOtherDerived instance = getAnything(); //This is legal and bad
}

同样重要的是要注意，即使使用强制转换，这也是一件非常糟糕的事情，并且在使用任何未明确提供的类型调用时很容易导致运行时异常。这也违反了泛型的概念，因为它在应该是普遍情况的情况下确定了非常具体的类型。