钻石操作符是java 7引入的语法糖，用于根据左侧泛型类型自动推断右侧构造器类型参数，支持带参构造器、java 9匿名类，但无法在无上下文类型信息时使用。

钻石操作符 是 Java 7 引入的语法糖，核心作用是让编译器根据左侧变量声明的泛型类型，自动推断右侧构造器中的类型参数，避免重复书写。

基本用法：替代冗余的右侧泛型参数

创建泛型对象时，只要左侧已有明确类型，右侧就可用 替代完整类型声明：

• List<string> list = new ArrayList();</string> → 编译器看到左边是 List<string></string>，就推断 new ArrayList() 中的 是 <string></string>
• Map<string integer> map = new HashMap();</string> → 推断为 HashMap<string integer></string>
• Set<localdate> dates = new TreeSet();</localdate> → 推断为 TreeSet<localdate></localdate>

支持泛型类的带参构造器

只要构造器参数能提供足够类型信息， 同样生效：

JavaStoryDevelop

你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在

下载

• Box<string> box = new Box("hello");</string> → 构造器接收 String，推断出 Box<string></string>
• Pair<integer boolean> p = new Pair(42, true);</integer> → 两个实参分别对应 Integer 和 Boolean

Java 9 起支持匿名内部类

此前 不能用于匿名类，Java 9 解除了限制，前提是父类或接口本身是泛型且类型可推断：

• Comparator<string> comp = new Comparator() { public int compare(String a, String b) { return a.length() - b.length(); } };</string>
• Runnable r = new Thread(() -> System.out.println("ok")).start();（需确保 Thread 构造器签名可支撑推断）

不能用钻石操作符的典型情况

当编译器无法从上下文获得足够类型线索时， 会报错，必须显式写出类型：

• 右侧无左侧声明（如直接作为方法参数传入）：foo(new ArrayList()); → 报错，应写 foo(new ArrayList<string>());</string>
• 使用通配符声明时：List> list = new ArrayList(); → 不合法，因为 ?> 不提供具体类型，编译器无法推断；应写 new ArrayList<object>()</object> 或明确类型
• 静态泛型方法调用中未指定类型，且无实参辅助推断时，仍需 Util.<string>createList()</string> 这类写法