java - Java for Kotlin 中的包范围非空注释（由 Gradle 构建）

Question

我正在尝试编写一个具有不可为空 API 的 Java 库，我希望 Kotlin 能够正确推断出这种不可为空性。根据Kotlin 的 Java interop reference ，我正在使用JSR-305注释及其@TypeQualifierDefault来实现整个包的效果。

我使用 Gradle 4.10.2 构建它，并按照说明-Xjsr305=strict提供给 Kotlin 编译器。然而，当我仔细检查 Kotlin 的类型时，它们被报告为平台类型，例如：

fun sample.Foo.bar(T!): kotlin.collections.(Mutable)List<T!>!

我做错了什么，我没有得到以下输出？

fun sample.Foo.bar(T): kotlin.collections.(Mutable)List<T>

请注意，Spring Framework 5 有一个类似的注解，名为@NonNullApi.

我正在使用 OpenJDK 11。

PS。我知道我可以用注释每个方法和参数@Nonnull，但我追求全局行为并将 Kotlin 转换List<T!>为List<T>.

这是MCVE：

src/main/java/sampleAnnotation/NonNullPackage.java

package sampleAnnotation;

import javax.annotation.Nonnull;
import javax.annotation.meta.TypeQualifierDefault;
import java.lang.annotation.*;

@Nonnull
@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.PACKAGE)
@TypeQualifierDefault({
        ElementType.FIELD, ElementType.METHOD, ElementType.PARAMETER, ElementType.TYPE_USE
})
public @interface NonNullPackage {
}

src/main/java/foo/package-info.java

@NonNullPackage
package foo;

import sampleAnnotation.NonNullPackage;

src/main/java/foo/Foo.java

package foo;

import java.util.List;

public interface Foo {
    <T> List<T> bar(T t);
}

src/main/kotlin/sampleKotlin/Main.kt

package sampleKotlin

import foo.Foo
import kotlin.reflect.full.memberFunctions

fun main(args : Array<String>) {
    println(Foo::class.memberFunctions.first())
}

构建.gradle

plugins {
    id 'java'
    id 'org.jetbrains.kotlin.jvm' version '1.3.0'
}

wrapper {
    gradleVersion = '4.10.2'
}

repositories {
    mavenCentral()
}

dependencies {
    compileOnly group: 'com.google.code.findbugs', name: 'jsr305', version: '3.0.2'

    compile group: 'org.jetbrains.kotlin', name: 'kotlin-stdlib'
    compile group: 'org.jetbrains.kotlin', name: 'kotlin-reflect'
}

compileKotlin {
    kotlinOptions.freeCompilerArgs = ['-Xjsr305=strict']
}

java - Java for Kotlin 中的包范围非空注释（由 Gradle 构建）

0 回答 0

Related

Reference