如何使用来自 Kotlin 的不可为空元素的 Java 集合？

Question

使用 Kotlin 的互操作自动化来实现可空性，这样的方法可以在 Kotlin 中获得正确的签名：

@NonNull
public String foo(@NonNull String bar) {
    return "bar";
}

现在将原则提升到集合（或其他泛型，我猜）：

@NonNull
public Set<String> foo(@NonNull Collection<String> bar) {
    return new HashSet<String>();
}

这在 Kotlin 中显示为

foo(bar: (Mutable)Collection<String!>) : (Mutable)Set<String!>

(Mutable) 没问题，但是如何摆脱类型参数中的平台类型？也就是说，如何编写或注释 Java 函数，以便我看到来自 Kotlin 的Set<String>（或Set<String?>）？

不允许使用Set<@NonNull String>（“'@NonNull' 不适用于类型使用”）。

如果有什么不同，我会使用 Findbugs 注释（通过 Spotbugs）。我的观点是希望尽可能无缝地使用 Kotlin 的 (Java) 库提供者。

Answer 1

原来这是我使用的注释的实现问题，而不是概念问题。

从 Spotbugs Annotations 3.1.2 开始，注释 @NotNull 和 @NonNull 未针对目标 ElementType.TYPE_USE 声明。

Jetbrains annotations 是用那个标志声明的，它们可以用在类型参数上：

@NotNull
public Set<@NotNull String> foo(@NotNull Collection<@NotNull String> bar) {
    return new HashSet<>();
}

虽然这在 Java 中看起来有点笨拙，但我们得到了所需的 Kotlin 签名：

foo(bar: (Mutable)Collection<String>) : (Mutable)Set<String>

请注意，注释类型参数需要源语言级别 Java 8+。

---

关于 Android 和其他卡在低语言级别的情况的说明。由于注释具有保留级别CLASS，因此如果应用程序使用如此注释的库，我预计不会出现任何运行时问题。不过，我还没有测试过； cmets 表示赞赏。