Java if 三元运算符和 Collections.emptyList()

Question

您能否解释一下为什么第一个返回类型无法编译代码？ 消息是：Type mismatch: cannot convert from List<capture#1-of ? extends Object> to List<String>。

是否在第二种情况下插入了显式转换？

public class GenericsTest {

        private String getString() {
            return null;
        }

        public List<String> method() {
            String someVariable = getString();
            //first return type
            //return someVariable == null ? Collections.emptyList() : Collections.singletonList(someVariable);
            //second return type
            if (someVariable == null) {
                return Collections.emptyList();
            } else {
                return Collections.singletonList(someVariable);
            }
        }
    }

Answer 1

因为类型推断规则。我不知道为什么完全正确（你应该检查 JSL，the ternary operator section），但看起来三元表达式没有从返回类型推断类型参数。

换句话说，三元表达式的类型取决于其操作数的类型。但是其中一个操作数具有未确定的类型参数 (Collections.emptyList())。此时三元表达式仍然没有类型，因此它不会影响类型参数。有两种类型需要推断——一种是三元表达式的结果，另一种是.emptyList()方法的类型参数。

使用Collections.<String>emptyList() 显式设置类型

Answer 2

表达式flag ? trueCase : falseCase 的类型是这两种情况中最常见的类型。

在这种情况下，Collections.emptyList() 和 Collections.singletonList(someVariable) 最常见的类型是 List<? extends Object>，因为它无法“看到未来”Collections.emptyList() 应该在表达式中返回 List<String>。

---

当你这样做时：

return Collections.emptyList();

编译器可以很聪明，通过返回类型检测类型并检查正确性（推断）。

Answer 3

因为Collections.emptyList() 不会返回List<String>。您将该方法的结果显式设置为List<String>，这意味着您必须返回一个这样的列表。

例如

return Collection<String>.emptyList(); 

或

return new ArrayList<String>();

可以正常工作。