为什么在Java7中使用菱形运算符进行类型推断？

Question

列表

但是，以下示例编译时没有任何警告：List

我很好奇为什么需要介绍钻石操作员。如果类型参数不存在，为什么不对构造函数进行类型推断（就像它已经在java中为静态方法所做的那样，并被像谷歌番石榴这样的集合库所利用）

编辑：使用millimoose answer作为起点，我了解了擦除实际上是什么类型，它不仅仅是删除所有类型信息。编译器实际上做了更多的工作（从官方文档复制）：

• 如果类型参数是无界的，则用它们的边界或Object替换泛型类型中的所有类型参数。因此，生成的字节码只包含普通的类、接口和方法。
• 如果需要，插入类型转换以保持类型安全。
• 生成桥接方法以保留扩展泛型类型中的多态性。




Answer 1

java 5和6的编译器需要的完整语法是：

列表

他们决定为我们简化语法，并允许不在赋值运算符的两侧写入相同的类型参数。然而，

Answer 2

Java开发人员非常努力地避免改变现有程序的行为<代码>列表

============================================================================

经过进一步的考虑和@millimoose的评论，我发现行为的更改将是初始化程序的本地更改，并在编译时检测到。考虑以下程序：

import java.util.ArrayList;
import java.util.List;


public class Test {
  public static void main(String[] args) throws Exception {
    List<Integer> integers = new ArrayList<Integer>();
    integers.add(Integer.valueOf(3));
    integers.add(Integer.valueOf(4));
    List<String> list = new ArrayList(integers);
    System.out.println(list);
  }
}

在没有类型推断的情况下，它运行并打印[3,4]，尽管存在列表的不良情况

使用类型推断，它将不会编译，因为ArrayList（集合

Answer 3

最终的答案必须来自设计该特性的人，但我假设这是为了将其与使用原始类型区分开来，原始类型使编译器为了兼容性而做一些完全不同的事情。带有原始类型的表达式与涉及泛型的表达式处理方式微妙地不同，在这个SO问题中可以找到一个例子：泛型会破坏非相关的集合