使用java.lang.Optional时出现'unsafe null type convertion'警告如何解决

这个unsafe null type conversion警告是Eclipse JDT内置的空值静态分析机制触发的，既不是Optional.ofNullable()内部调用of()/empty()的逻辑导致，也不是Eclipse分支分析漏判empty()返回路径的bug，核心成因如下：

1. Eclipse空分析的默认规则是：所有没有显式标注@Nullable的方法参数、返回值，都会被判定为非空（@NonNull）约束。
2. 旧版本Eclipse内置的JDK类空值元数据存在缺失，没有给java.util.Optional.ofNullable()的入参标记为可空，分析器会默认认为这个方法的入参要求非空。
3. 代码中this.get("keyToANullableInteger", Integer.class)返回的Integer变量，被分析器判定为可能为null的类型，把可能为null的值传给一个被判定为要求非空的方法参数，就会触发这个不安全空类型转换的警告。

• 修复Eclipse空分析的JDK元数据配置：打开项目编译器设置，路径为Java > Compiler > Errors/Warnings > Null analysis，确认勾选「Use default annotations for null analysis」，同时将项目JDK合规版本升级到和你实际使用的JDK版本匹配，新版Eclipse已经内置了正确的Optional类方法空值约束，配置完成后重新构建项目警告会自动消失。
• 补全代码的空值注解：如果自定义的get()方法本身就可能返回null，直接给get()方法的返回值加上你项目使用的@Nullable注解（支持JSR305、JetBrains、Eclipse自带等主流空注解，只要在Eclipse空分析设置中配置为识别的可空标记即可），从源头明确返回值可空的语义，配合正确的JDK元数据就不会触发误报。
• 显式拆分空判断分支：用等价的分支逻辑替代直接调用ofNullable，让静态分析器能明确识别分支的空值状态，代码示例如下：

public Optional<Integer> getSomeValueThatMayBeNullOrAnInteger() {
    Integer nullable = this.get("keyToANullableInteger", Integer.class);
    return nullable == null ? Optional.empty() : Optional.of(nullable);
}

这段逻辑和Optional.ofNullable(nullable)的执行效果完全一致，且传入Optional.of()的参数已经经过非空校验，会被分析器判定为确定非空，不会触发任何空相关警告。

内容的提问来源于stack exchange，提问作者Sammy