JLS中没有提到这种用法，但是，当然，该规范不能通过列举编程语言提供的所有可能性来起作用。取而代之的是，您必须应用关于类型的形式规则，并且它们对匿名类型也不例外，换句话说，规范在任何时候都没有说表达式的类型必须回退到命名的super类型中。匿名类的情况。
诚然，我可能会在规范的深处忽略这样的声明，但是对我来说，关于匿名类型的唯一限制总是源于它们的 匿名 性质，这自然是很自然的，也就是说，每种需要
通过name 引用类型 的 语言构造都可以不能直接使用该类型，因此您必须选择一个超类型。
因此，如果表达式
new Object() { String field; }的类型是包含字段“ field” 的匿名类型，则不仅访问
newObject() { String field; }.field将起作用，而且Collections.singletonList(newObject() { String field;}).get(0).field除非明确的规则禁止且一致地进行访问，否则该方法同样适用于lambda表达式。从Java
10开始，您可以使用
var声明其类型从初始化程序推断出的局部变量。这样，您现在可以声明具有匿名类类型的任意局部变量，而不仅仅是lambda参数。例如，以下作品
var obj = new Object() { int i = 42; String s = "blah"; };obj.i += 10;System.out.println(obj.s);同样，我们可以使您的问题示例起作用：
var optional = Optional.of(new Object() { String field = s; });optional.map(anonymous -> anonymous.field).ifPresent(System.out::println);在这种情况下，我们可以参考显示类似示例的规范，该示例表明这不是疏忽，而是预期的行为：
var d = new Object() {}; // d has the type of the anonymous class
另一个提示变量通常具有不可表示类型的可能性：
var e = (CharSequence & Comparable<String>) "x"; // e has type CharSequence &Comparable
也就是说，我必须警告不要过度使用该功能。除了对可读性的关注（您称自己为“不常见的用法”）之外，在每个使用它的地方，您都在创建一个不同的新类（与“双括号初始化”相对）。它不像其他编程语言的实际元组类型或未命名类型那样，它们会平等地对待同一组成员的所有出现。
同样，像这样创建的实例将
new Object() { String field = s;}消耗所需内存的两倍，因为它不仅包含声明的字段，而且还包含用于初始化字段的捕获值。在new Object() { Long id =p.getId(); String json = toJson(p);}示例中，您需要为存储三个引用而不是两个引用付费p。在非静态上下文中，匿名内部类也始终捕获周围环境
this。
