因可空性问题无法在Kotlin中实现Java接口

我在Kotlin中实现Spring的Converter接口时遇到了问题，代码如下：

import org.springframework.core.convert.converter.Converter
import org.springframework.stereotype.Component

@Component
class FeatureFlagConverter : Converter<String?, FeatureFlags> {
    override fun convert(source: String?): FeatureFlags = FeatureFlags(source ?: "")
}

编译器报错：

Class 'FeatureFlagConverter' is not abstract and does not implement abstract member public abstract fun convert(source: String): FeatureFlags? defined in org.springframework.core.convert.converter.Converter

疑问点 #

这个Converter是纯Java接口，它的convert方法参数没有非空注解，理论上允许传入null，但现在按照可空参数实现却报错。如果把String?改成String能解决问题，但我不想这么做——毕竟Java调用者可能会传入null值。

解决方案 #

这是Kotlin与Java泛型类型映射规则导致的：Java泛型中的String在Kotlin中默认是平台类型（String!），可同时兼容可空与非空场景。但显式声明Converter<String?, FeatureFlags>时，Kotlin会严格匹配泛型参数，而Java接口的convert方法在Kotlin中会被解析为fun convert(source: S): T?（Java方法默认允许返回null），因此出现签名不匹配。

有两种可靠的解决方式：

1. 使用平台类型兼容声明
   不手动指定泛型参数为可空，让Kotlin自动推断平台类型，同时在方法内部处理null输入：

   import org.springframework.core.convert.converter.Converter
   import org.springframework.stereotype.Component
   
   @Component
   class FeatureFlagConverter : Converter<String, FeatureFlags> {
       override fun convert(source: String!): FeatureFlags = FeatureFlags(source ?: "")
   }
   

   String!作为平台类型，既能接收Java传入的null，也符合Kotlin的类型检查，是最简洁的适配方式。

2. 添加@JvmSuppressWildcards注解消除泛型差异
   若要显式声明可空泛型参数，通过@JvmSuppressWildcards让Kotlin生成与Java兼容的泛型签名：

   import org.springframework.core.convert.converter.Converter
   import org.springframework.stereotype.Component
   import kotlin.jvm.JvmSuppressWildcards
   
   @Component
   class FeatureFlagConverter : Converter<@JvmSuppressWildcards String?, @JvmSuppressWildcards FeatureFlags> {
       override fun convert(source: String?): FeatureFlags = FeatureFlags(source ?: "")
   }
   

   该注解会屏蔽Kotlin对Java泛型的通配符处理，确保接口实现的签名与Java定义完全匹配。

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