即使X应匹配T,也无法将X转换为T？

Question

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

// 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
}

同样重要的是要注意,即使使用强制转换,这也是一件非常糟糕的事情,并且在使用未明确提供的任何类型调用时很容易导致运行时异常.这也违背了泛型的概念,将非常具体的类型归结为应该是一般化的情况.