diamond操作符（<>），在Java 7中引入，最初只支持具体类的实例创建表达式，同时明确排除了匿名内部类。当开发者尝试构造像new Comparable<String>() { ... }这样的实例时，编译器拒绝了diamond变体new Comparable<>() { ... }，因为匿名类可能会引入引用推断类型参数的类型成员，从而可能创建不安全的类型系统。
核心问题集中在不可说明的类型。匿名类可以声明其类型依赖于类的类型参数的方法或字段。如果编译器为diamond推断出复杂的交集类型，如在匿名类中声明void foo(Box<T> t) {}的有问题的场景中，类型T可能表示无法在源代码中表达的捕获的通配符。这产生了一个场景，即匿名类的API包含无法命名或在源代码级别检查的类型，违反了Java的基本要求，即公共API中的所有类型必须是可说明的。
Java 9通过实施JEP 213中的可说明类型分析来解决这一问题。编译器现在验证匿名类实例化的推断类型是可说明的——即可以使用Java类型语法表达的。以下示例演示了合法用法：
// 在Java 9+中有效 Comparator<String> c = new Comparator<>() { @Override public int compare(String a, String b) { return a.length() - b.length(); } };
如果推断产生了一个涉及不能说明的通配符或交集的复杂类型，编译器会回退到要求显式的类型参数。这确保了类型安全，同时允许在常见情况下使用简洁的语法。
在一个构建于Java 8的金融交易平台上，开发团队维护了数千个事件处理程序。这些处理程序在订单匹配引擎中使用了**Comparator<TradeEvent>和Predicate<MarketData>**的匿名实现，要求显式的类型参数，这在代码审查中产生了显著的视觉噪声。
团队考虑了减少样板代码的三种方法。第一种方法是将所有匿名类迁移到lambda表达式。虽然这消除了简单情况的冗长性，但许多处理程序需要私有助手方法或超出lambda能力的异常处理块。这一限制迫使尴尬地重构为命名的内部类，增加了类的数量，减少了行为的局部性。
第二种方法建议保持显式的类型参数。这保持了完全的功能性并与现有的Java 8基础设施兼容，但延续了维护负担。开发人员在更改类型签名时经常会遇到合并冲突，而冗余的声明在调试会话中增加了认知负担。
第三种方法建议升级到Java 9以利用对匿名类的diamond操作符支持。在评估迁移成本与生产力收益后，团队选择了Java 9升级，因为该平台无论如何都需要Jigsaw模块系统集成。可说明的类型分析允许他们写出new Comparator<>() { public int compare(TradeEvent a, TradeEvent b) { ... } }，同时编译器验证TradeEvent表示一个可说明的类型。
这一变化将平均处理程序定义从四行减少到一行，消除了大约2400行冗余的类型声明。因此，重载冲突在泛型重负的模块中显著减少，消除了在功能分支中同步显式类型参数的需要。由于减少了重构开销，开发速度在随后的季度中提高了15%。
为什么在对原始类型的泛型构造函数推断类型参数时，diamond操作符会失败？
当实例化一个原始类，如new ArrayList()<>时，diamond操作符无法推断类型参数，因为原始类型会完全抹去泛型信息。编译器将原始类型视为没有类型参数，这使得推断变得不可能，因为构造函数签名本身失去了参数化。候选人常常将这一点与未经检查的转换警告混淆，但根本问题在于泛型元数据在原始类型上下文中的完全抹除，而不仅仅是未经检查的操作。
多态表达式与diamond操作符之间的交互如何影响方法重载解析？
diamond操作符创建了一个多态表达式，其类型依赖于赋值上下文。在方法调用上下文中，如process(new ArrayList<>())，编译器必须从方法的形式参数中确定目标类型，然后完成类型推断。这创建了一个双向依赖关系：方法的适用性依赖于推断出的类型，而推断出的类型又依赖于目标类型。编译器通过约束生成和结合阶段来解决这一问题，可能选择与显式类型参数的情况不同的重载。候选人经常忽视重载解析发生在完全类型推断之前，这导致在多重重载可能匹配时出现令人惊讶的编译时错误。
可说明类型限制与数组创建中的可重ifiable类型要求有何区别？
虽然这两种限制都阻止某些泛型操作，但可说明类型（与diamond操作符推断相关）确保类型可以在源代码中表示，而可重ifiable类型（与new T[10]相关）需要运行时类型信息。类型如List<String>是可说明的，但不是可重ifiable的。候选人常常将这些约束混淆，认为不可说明的类型存在类似于数组存储异常的运行时安全风险。实际上，不可说明的类型妨碍了源级类型表达能力和API一致性，而不可重ifiable的类型则妨碍运行时类型安全。理解这一区别在设计必须与匿名类和基于数组的遗留代码保持兼容的泛型API时至关重要。