如何在Kotlin中正确处理Java非空元素集合的互操作？

这个问题是Kotlin与Java互操作时，泛型可空性处理的典型场景。咱们先搞明白为什么会出现String!这种平台类型，再看具体的解决办法：

为什么会出现(Mutable)Collection<String!>？ #

Java本身没有原生的泛型可空性语法，@NonNull这类注解是提示性的而非语法级约束。早期的Kotlin对Java泛型参数的注解支持有限，即使Java方法标注了@NonNull，Kotlin也会把泛型元素识别为「平台类型」（T!）——也就是Kotlin无法确定它到底是可空还是非空，所以用!来标记。

解决方法 #

1. 显式类型转换（适用于信任Java方法的非空承诺时） #

如果你确定Java返回的集合里绝对没有null元素，可以直接把平台类型的集合强转为非空元素集合：

val nonNullSet: Set<String> = javaFoo(yourCollection) as Set<String>

要是担心万一有null（比如Java代码没遵守注解约定），可以用安全转换+空处理：

val nonNullSet = (javaFoo(yourCollection) as? Set<String>) ?: emptySet()

2. 优化Java代码的注解（从根源解决） #

如果能修改Java代码，给泛型参数也加上非空注解（注意要用Kotlin能识别的注解），Kotlin就能正确识别元素的非空性。推荐用JetBrains的@NotNull（org.jetbrains.annotations.NotNull），或者Java标准的@Nonnull（javax.annotation.Nonnull）：

import org.jetbrains.annotations.NotNull;

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

这样在Kotlin里调用时，方法签名就会变成foo(bar: Collection<String>): Set<String>，完全没有烦人的!了。

3. 用Kotlin扩展函数封装（无法修改Java代码时） #

写个扩展函数，把平台类型的集合转换成真正的非空元素集合，同时还能做null过滤，安全性拉满：

// 针对Collection<String!>的扩展，转成Set<String>
fun Collection<String!>.toNonNullStringSet(): Set<String> {
    return this.filterNotNull().toSet()
}

// 调用示例
val safeNonNullSet = javaFoo(yourCollection).toNonNullStringSet()

注意事项 #

平台类型T!是Kotlin为Java互操作设计的妥协类型，它既可以被当成T（非空）也可以当成T?（可空）使用，但为了避免潜在的NPE，最好显式转换成确定的非空类型——尤其是当你依赖Java的@NonNull注解承诺时。

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