Java 7 方法调用中的钻石操作

Question

这是讨论的后续问题：

为什么菱形运算符在 Java 7 中的 addAll() 调用中不起作用？

来自 Java 教程，

http://docs.oracle.com/javase/tutorial/java/generics/ gentypeinference.html

请注意，菱形通常在方法调用中起作用；但是，为了更清楚起见，建议您主要使用菱形来初始化声明的变量

所以，我对第一行有点困惑。钻石何时在方法调用中起作用？

关于钻石运算符如何工作的更多解释可以在这里找到：

http://www.angelikalanger.com/GenericsFAQ/FAQSections/TechnicalDetails.html#What%20is%20type%20argument%20inference%20for%20constructors？

由此，我尝试了以下方法，效果很好：

假设我有：

private static class Box<T>{
    public Box(T t){}
}
static void f(Box<Integer> box){}

像下面这样的调用可以很好地编译：

f(new Box<>(new Integer(10)));

上面的 f() 方法调用中调用构造函数的类型参数从构造函数的参数推断出来（即Integer）。

这就是教程所说的意思吗

请注意，菱形通常在方法调用中起作用

如果没有，任何人都可以提供一个钻石在方法调用中起作用的示例吗？

Answer 1

这就是教程所说的意思吗

，尽管在 <> 运算符方面存在一些问题。

在您的情况下，Box 实例化不是问题，因为可以使用构造函数参数轻松推断出类型。尝试将构造函数更改为“不”接受 Integer 或 T 并查看调用如何失败。

class BadBox<T> {

    private T t;

    public BadBox(){}    

    public void setT(T t) {
        this.t = t;
    }

    static void f(BadBox<Integer> box){}

    public static void main(final String[] args) {
        f(new BadBox<>());  //fails, should have worked ideally
    }    
}

同样，看看这个类：

class Testi<R> {    
    public void doIt(Set<? extends R> sets) {
    }

    public static void main(final String[] args) {
            // works since type inference is now possible
        new Testi<CharSequence>().doIt(new HashSet<>(Arrays.asList("a")));

            // fails; nothing which can help with type inference
        new Testi<CharSequence>().doIt(new HashSet<>();
    }       
}

同样，链接问题中的问题（关于 addAll ）可以通过帮助编译器简单地解决，如下所示：

List<String> list = new ArrayList<>();
list.add("A");

// works now! use only if you love diamond operator ;)
list.addAll(new ArrayList<>(Arrays.asList(new String[0])));
// or the old-school way
list.addAll(new ArrayList<String>()));

Diamond 运算符似乎也会中断实现匿名类如下：

final String[] strings = { "a", "b", "c" };
Arrays.sort(strings, new Comparator<>() {
    @Override
    public int compare(String o1, String o2) {
        return 0;
    }
});

幸运的是，在这种情况下，编译器非常明确地提到 <> 不适用于匿名类。

Answer 2

我认为不值得考虑什么时候有效、什么时候无效。编译器会告诉你，因此你必须重写那些不起作用的内容。

其背后并没有真正的理由；这更像是开发人员将特定时间实际编译器实现的当前限制放入规范中，并告诉我们：事情必须如此。

Java 8 消除了许多这些限制，而且没有完全冻结。例如，

Arrays.asList("foo", "bar").addAll(new ArrayList<>());

用 Java 8 编译没有任何错误。而且，为什么不呢？

Answer 3

这实际上与方法调用无关。独立语句

new Box<>(new Integer(10));

也可以编译。有足够的信息来推断 Box 的 T （即从 Integer 参数）

另一方面，这不能编译

new ArrayList<>();

没有办法知道列表是什么类型想要的。

Collection<String> strings = new ArrayList<>();

这是有效的，因为目标类型有助于推理 Collection