java nonnull,java – “如果函数返回非null,则为NonNull”？

考虑一个方法,如ConcurrentHashMap的计算方法：

public V compute(

K key,

BiFunction super K,? super V,? extends V> remappingFunction)

我想用checker框架注释这个为nullability检查：

public @Nullable V compute(

K key,

BiFunction super K, ? super @Nullable V, ? extends @Nullable V> remappingFunction);

但这不太正确：我希望能够推断出它会返回？扩展@NonNull V以避免在我知道remappingFunction永远不会返回null的情况下进行空检查,例如：

@NonNull V value = map.compute(key, (k, v) -> {

if (v == null) {

return new V();

}

v.increment();

return v;

});

有可能表达出来吗？