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
的三元运算符部分），但是看来三元表达式不能从返回类型推断出类型参数。

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

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