为什么我可以对参数使用有界通配符，而不能对方法中的返回类型使用有界通配符？[副本]

Question

我找不到更好的描述我的问题的主题，所以我会尝试更好地解释我的问题。我注意到，如果我使用有界通配符，我可以使用它的“bound”作为参数，但不能作为返回值。这可能听起来很混乱，所以我将直接粘贴我的代码。

public static void main (String[] args) {
    List<?> wildcardList = new ArrayList<> ();
    List<String> stringList = new ArrayList<> ();
    takeList (wildcardList); //compiles
    takeList (stringList); //compiles
    /////////////////////////////////////
    List<?> wildcard = returnList (); //compiles
    List<String> strings = returnList (); //doesn't compile

}

static void takeList(List<? extends Object> list){
    //some code
}

static List<? extends Object> returnList(){
    return new ArrayList<> ();
}

我想知道为什么最后一行代码不能编译。当我显式地说returnList()的返回类型是<时，这个问题是什么？extends Object>。很明显String是一个对象。有人能帮我把这事弄清楚吗？

Answer 1

让我们集中在两条线上：

// f() returns a List<? extends Object>
List<?>      a = f(); // ok: can never do unexpected things
List<String> b = f(); // error: not 100% safe

对于大小写a，没有错误，作为列表<？extends Object>正是一个列表<？>。

对于caseb，Java编译器*的问题是，如果允许执行赋值，是否会生成任何类型的意外错误（类转换）。让我们看看一些例子：

null

编译器有理由担心您可能使用不当。是的，它可以允许您继续检查，确实，您没有调用b.add()--但这会使编译器复杂化，而没有什么好处。在许多其他地方，可以通过验证实际不会发生什么坏事来避免编译错误，但是拥有简单的规则（“除非明确放弃，否则没有风险”）使规则更容易遵循，并且默认为“只允许安全的东西”是Java语言的很大一部分。

要比较：

// f() returns a float
float a = f(); // ok
int   b = f(); // error: not 100% safe, unwanted rounding may result!

(*)-我使用“编译器”是广义的，既指语言也指编译器。