钻石操作符（<>）的核心目的是让编译器根据左侧变量声明自动推断右侧构造器的泛型类型，避免重复书写、消除原始类型警告并保持类型安全。
Java 中泛型实例化用钻石操作符（）的核心目的，是让编译器根据左侧变量声明自动推断右侧构造器的泛型类型，避免重复书写、消除原始类型警告，同时保持完全的类型安全。
基础用法：替代重复的右侧泛型参数
在 Java 7 及以后，只要左侧已有明确的泛型类型声明，右侧 new 表达式中就可以用 替代完整类型参数：
-
List<string> list = new ArrayList();</string>→ 编译器从List<string></string>推出ArrayList<string></string> -
Map<integer list>> map = new HashMap();</integer>→ 推出HashMap<integer list>></integer> -
Set<double> set = new LinkedHashSet();</double>→ 推出LinkedHashSet<double></double>
不写 而直接写 new ArrayList() 会触发 Unchecked Conversion 编译警告，因为此时使用的是原始类型（raw type），失去泛型保护。
支持复杂嵌套泛型
钻石操作符能正确处理多层泛型嵌套，无需手动展开：
立即学习“Java免费学习笔记（深入）”；
JavaStoryDevelop
下载
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
Map<string map string>> cache = new ConcurrentHashMap();</string>-
Optional<list>> opt = Optional.of(new ArrayList());</list>（注意：这里new ArrayList()的推断基于Optional.of()的目标类型） Function<string integer> f = s -> s.length(); // 不涉及 ，但说明类型推断已延伸到函数式接口</string>
关键点：推断依据是变量声明或方法调用的目标类型，不是运行时值。
Java 9 起支持匿名内部类中的
Java 7 的 不能用于匿名内部类；Java 9 开始允许，前提是父类/接口本身是泛型且类型可推断：
Comparator<string> comp = new Comparator() { public int compare(String a, String b) { return a.length() - b.length(); } };</string>Runnable r = new Thread() {}.start(); // ❌ 错误：Thread 不是泛型类，无法推断Supplier<list>> sup = new Supplier() { public List<string> get() { return new ArrayList(); } };</string></list>
若父类型含通配符（如 Comparator super String>），则需显式指定， 可能失效。
注意事项和限制
钻石操作符不是万能的，以下情况仍需显式写类型：
- 左侧无明确泛型上下文，比如直接赋给
Object或未声明类型的局部变量：var x = new ArrayList();在 Java 10+ 是合法的（var会结合 推断），但Object o = new ArrayList();会导致推断为原始类型 - 泛型类的构造器参数不足以支撑推断（例如构造器不接收泛型参数，且类有多个类型参数）
- 使用通配符声明时：
List> list = new ArrayList();合法，但list实际类型是ArrayList<object></object>，不是安全的任意类型容器；真正想表达“未知类型”应配合上界/下界，如new ArrayList<string>()</string> - 静态泛型方法调用中，有时需显式指定类型以辅助推断，例如
Util.<string>createList()</string>，但多数情况下Util.createList()+ 内部也能正常工作
