小编DEV*_*DEV的帖子

我正在使用 Java 17，最后一行不应编译，但是当我使用 eclipse 时它会编译，现在我很困惑该值应该是子类型还是可以是任何东西？

Double value = 123.3;
if(value instanceof Double ) {}
if(value instanceof Double data) {} // DOES NOT COMPILE