Question

这是jdk1.7.0_04。

我试图在条件中使用Collections.emptyList()而不是new我自己的空列表：

List<String> list = (anArray != null) ? Arrays.asList(anArray) : Collections.emptyList();

但收到以下错误：

error: incompatible types
        List<String> list = (anArray != null) ? Arrays.asList(anArray) : Collections.emptyList();
                                              ^
  required: List<String>
  found:    List<CAP#1>
  where CAP#1 is a fresh type-variable:
    CAP#1 extends Object from capture of ? extends Object
1 error

我能够想到我需要改变一切：

List<String> list = (anArray != null) ? Arrays.asList(anArray) : Collections.<String>emptyList();

但作为解决这个问题的一部分，我遇到了奇怪的（对我来说，无论如何）情况：

List<String> alwaysEmpty = Collections.emptyList();

编译好，但是：

List<String> alwaysEmpty = (List<String>) Collections.emptyList();

给出以下编译错误：

error: inconvertible types
        List<String> alwaysEmpty = (List<String>) Collections.emptyList();
                                                                       ^
  required: List<String>
  found:    List<Object>

到底是什么？

现在我可以理解，或许由于一些奇怪的原因，使用条件运算符会以某种方式阻止类型推断系统意识到emptyList()调用的类型参数应该是String所以它需要明确指定。但为什么插入一个（诚然多余的）演员表呢？

Answer 1

但是为什么插入一个（诚然多余的）演员把事情弄得一团糟？

因为现在表达式Collections.emptyList()本身不是任何赋值的目标 - 所以应该选择什么类型的参数？最好只指定类型参数：

// Redundant here, but just as an example
List<String> alwaysEmpty = Collections.<String>emptyList();

对于条件运算符也是如此：

public static void main(String[] args) {              
    List<String> list = (args != null)
        ? Arrays.asList(args) : Collections.<String>emptyList();
}

Answer 2

我将接受Jon的回答，但也希望列出一些人刚刚在SO之外传递给我的答案。它是向{/ 3}提交给Sun / Oracle的链接。评估错误的人对正在发生的事情有一个有用的解释。摘录：

这里的提交者似乎假设条件表达式的类型是分配的LHS上的类型（在这种情况下为List<String>）。事实并非如此：正如JLS所述，条件表达式的类型：

“条件表达式的类型是将捕获转换（第5.1.10节）应用于lub(T1, T2)（第15.12.2.7节）的结果。”

了解为什么需要应用lub是很重要的。请考虑以下示例：

class A {}
class B extends A{}
class C extends A{}
class Foo<X> 
Foo<? extends A> l = b ? new Foo<B>() : new Foo<C>()

在这种情况下，我们认为LHS的类型为Foo<? extends A>，而RHS的类型为lub(Foo<B>, Foo<C>)，即Foo<? extends B&C>。

Collections.emptyList（）和/或Java泛型方法的奇怪类型推断行为？

2 个答案: