为什么对泛型使用Collections.emptySet()在赋值中有效,而不是作为方法参数?

我有一个类,它的构造函数是这样的:

public FilterList(Set<Integer> labels) {
    ...
}

我想建造一个新的 FilterList 具有空集的对象。遵循Joshua Bloch在其著作effectivejava中的建议,我不想为空集创建一个新对象;我就用这个 Collections.emptySet() 取而代之的是:

FilterList emptyList = new FilterList(Collections.emptySet());

这给了我一个错误,抱怨说 java.util.Set<java.lang.Object> java.util.Set<java.lang.Integer> . 好吧,这个怎么样:

FilterList emptyList = new FilterList((Set<Integer>)Collections.emptySet());

这也给了我一个错误!好吧,这个怎么样:

Set<Integer> empty = Collections.emptySet();
FilterList emptyList = new FilterList(empty);

嘿,有用!但为什么呢?毕竟,Java没有类型推断,这就是为什么如果有,就会得到未检查的转换警告 Set<Integer> foo = new TreeSet() Set<Integer> foo = new TreeSet<Integer>() Set<Integer> empty = Collections.emptySet(); 在没有任何警告的情况下工作。为什么?