从 Kotlin 调用 Java
Kotlin 的设计考虑了与 Java 的互操作性。现有的 Java 代码可以很自然地从 Kotlin 中调用,Kotlin 代码也可以相当流畅地从 Java 中使用。 在本节中,我们将详细介绍从 Kotlin 调用 Java 代码的一些细节。
几乎所有 Java 代码都可以毫无问题地使用:
import java.util.*
fun demo(source: List<Int>) {
val list = ArrayList<Int>()
// 'for'-loops work for Java collections:
for (item in source) {
list.add(item)
}
// Operator conventions work as well:
for (i in 0..source.size - 1) {
list[i] = source[i] // get and set are called
}
}
Getters 和 Setters
遵循 Java getter 和 setter 约定的方法(名称以 get
开头的无参数方法和名称以 set
开头的单参数方法)在 Kotlin 中表示为属性。此类属性也称为 合成属性 (synthetic properties)。 Boolean
访问器方法(getter 名称以 is
开头,setter 名称以 set
开头)表示为与 getter 方法同名的属性。
import java.util.Calendar
fun calendarDemo() {
val calendar = Calendar.getInstance()
if (calendar.firstDayOfWeek == Calendar.SUNDAY) { // call getFirstDayOfWeek()
calendar.firstDayOfWeek = Calendar.MONDAY // call setFirstDayOfWeek()
}
if (!calendar.isLenient) { // call isLenient()
calendar.isLenient = true // call setLenient()
}
}
上面的 calendar.firstDayOfWeek
就是一个合成属性的例子。
请注意,如果 Java 类只有 setter,它在 Kotlin 中不会作为属性可见,因为 Kotlin 不支持仅有 setter 的属性。
Java 合成属性引用
DANGER
此功能为 实验性 (Experimental)。它可能随时被移除或更改。我们建议您仅将其用于评估目的。
从 Kotlin 1.8.20 开始,你可以创建对 Java 合成属性的引用。考虑以下 Java 代码:
public class Person {
private String name;
private int age;
public Person(String name, int age) {
this.name = name;
this.age = age;
}
public String getName() {
return name;
}
public int getAge() {
return age;
}
}
Kotlin 始终允许你编写 person.age
,其中 age
是一个合成属性。现在,你还可以创建对 Person::age
和 person::age
的引用。name
也同样适用。
val persons = listOf(Person("Jack", 11), Person("Sofie", 12), Person("Peter", 11))
persons
// Call a reference to Java synthetic property:
.sortedBy(Person::age)
// Call Java getter via the Kotlin property syntax:
.forEach { person -> println(person.name) }
如何启用 Java 合成属性引用
要启用此功能,请设置 -language-version 2.1
编译器选项。在 Gradle 项目中,你可以通过将以下内容添加到 build.gradle(.kts)
来实现:
tasks
.withType<org.jetbrains.kotlin.gradle.tasks.KotlinCompilationTask<*>>()
.configureEach {
compilerOptions
.languageVersion
.set(
org.jetbrains.kotlin.gradle.dsl.KotlinVersion.KOTLIN_2_1
)
}
tasks
.withType(org.jetbrains.kotlin.gradle.tasks.KotlinCompilationTask.class)
.configureEach {
compilerOptions.languageVersion
= org.jetbrains.kotlin.gradle.dsl.KotlinVersion.KOTLIN_2_1
}
NOTE
在 Kotlin 1.9.0 之前,要启用此功能,你需要设置 -language-version 1.9
编译器选项。
返回 void
的方法
如果 Java 方法返回 void
,则从 Kotlin 调用时它将返回 Unit
。 如果有人偶然使用了该返回值,Kotlin 编译器将在调用处为其赋值,因为该值本身是预先已知的(即 Unit
)。
转义 Kotlin 关键字的 Java 标识符
一些 Kotlin 关键字在 Java 中是有效的标识符:in
、object
、is
等。 如果 Java 库使用 Kotlin 关键字作为方法名,你仍然可以通过使用反引号 (`
) 字符来调用该方法:
foo.`is`(bar)
空安全和平台类型
Java 中的任何引用都可能为 null
,这使得 Kotlin 对严格空安全 (null-safety) 的要求对于来自 Java 的对象来说不切实际。 Java 声明的类型在 Kotlin 中以特定方式处理,并称为 平台类型 (platform types)。对于此类类型,空检查会放宽,因此它们的安全性保证与 Java 相同(详见下文)。
考虑以下示例:
val list = ArrayList<String>() // non-null (constructor result)
list.add("Item")
val size = list.size // non-null (primitive int)
val item = list[0] // platform type inferred (ordinary Java object)
当你对平台类型变量调用方法时,Kotlin 不会在编译时发出空安全性错误,但调用可能会在运行时失败,原因可能是空指针异常,或者 Kotlin 为防止 null 值传播而生成的断言:
item.substring(1) // allowed, throws an exception if item == null
平台类型是_不可表示的 (non-denotable)_,这意味着你无法在语言中显式地写下它们。 当平台值被赋值给 Kotlin 变量时,你可以依赖类型推断(变量将具有推断的平台类型,如上例中的 item
),或者你可以选择你期望的类型(允许可空和不可空类型):
val nullable: String? = item // allowed, always works
val notNull: String = item // allowed, may fail at runtime
如果你选择不可空类型,编译器将在赋值时发出断言。这可以防止 Kotlin 的不可空变量持有 null 值。当你将平台值传递给期望非 null 值的 Kotlin 函数以及在其他情况下,也会发出断言。 总的来说,编译器会尽力阻止 null 值在程序中传播太远,尽管有时由于泛型 (generics) 的原因,这无法完全消除。
平台类型表示法
如前所述,平台类型不能在程序中显式提及,因此语言中没有它们的语法。 然而,编译器和 IDE 有时需要显示它们(例如,在错误消息或参数信息中),因此存在一种助记符表示法:
T!
表示“T
或T?
”,(Mutable)Collection<T>!
表示“Java 的T
集合可能可变,也可能不可变,可能可空,也可能不可空”,Array<(out) T>!
表示“Java 的T
数组(或T
的子类型),可空或不可空”
空安全注解
具有空安全注解 (nullability annotations) 的 Java 类型不表示为平台类型,而是表示为实际可空或不可空的 Kotlin 类型。编译器支持多种空安全注解,包括:
- JetBrains (来自
org.jetbrains.annotations
包的@Nullable
和@NotNull
) - JSpecify (
org.jspecify.annotations
) - Android (
com.android.annotations
和android.support.annotations
) - JSR-305 (
javax.annotation
,详见下文) - FindBugs (
edu.umd.cs.findbugs.annotations
) - Eclipse (
org.eclipse.jdt.annotation
) - Lombok (
lombok.NonNull
) - RxJava 3 (
io.reactivex.rxjava3.annotations
)
你可以指定编译器是否根据特定类型的空安全注解信息来报告空安全不匹配 (nullability mismatch)。使用编译器选项 -Xnullability-annotations=@<package-name>:<report-level>
。在参数中,指定完全限定的空安全注解包和以下报告级别之一:
ignore
忽略空安全不匹配warn
报告警告strict
报告错误。
请在 Kotlin 编译器源代码中查看支持的空安全注解的完整列表。
注解类型实参和类型形参
你也可以注解泛型类型的类型实参 (type arguments) 和类型形参 (type parameters),为它们提供空安全信息。
NOTE
本节中的所有示例都使用 org.jetbrains.annotations
包中的 JetBrains 空安全注解。
类型实参
考虑 Java 声明上的这些注解:
@NotNull
Set<@NotNull String> toSet(@NotNull Collection<@NotNull String> elements) { ... }
它们在 Kotlin 中产生以下签名:
fun toSet(elements: (Mutable)Collection<String>) : (Mutable)Set<String> { ... }
当类型实参中缺少 @NotNull
注解时,你将获得一个平台类型:
fun toSet(elements: (Mutable)Collection<String!>) : (Mutable)Set<String!> { ... }
Kotlin 还会考虑基类和接口的类型实参上的空安全注解。例如,有两个 Java 类,其签名如下:
public class Base<T> {}
public class Derived extends Base<@Nullable String> {}
在 Kotlin 代码中,在假定 Base<String>
的地方传递 Derived
实例会产生警告。
fun takeBaseOfNotNullStrings(x: Base<String>) {}
fun main() {
takeBaseOfNotNullStrings(Derived()) // warning: nullability mismatch
}
Derived
的上界 (upper bound) 设置为 Base<String?>
,这与 Base<String>
不同。
了解更多关于 Kotlin 中的 Java 泛型 (Java generics)。
类型形参
默认情况下,Kotlin 和 Java 中普通类型形参的空安全是未定义的。在 Java 中,你可以使用空安全注解来指定它。让我们注解 Base
类的类型形参:
public class Base<@NotNull T> {}
从 Base
继承时,Kotlin 期望一个不可空的类型实参或类型形参。因此,以下 Kotlin 代码会产生警告:
class Derived<K> : Base<K> {} // warning: K has undefined nullability
你可以通过指定上界 K : Any
来修复它。
Kotlin 还支持 Java 类型形参界限上的空安全注解。让我们为 Base
添加界限:
public class BaseWithBound<T extends @NotNull Number> {}
Kotlin 将此转换为如下:
class BaseWithBound<T : Number> {}
因此,将可空类型作为类型实参或类型形参传递会产生警告。
注解类型实参和类型形参适用于 Java 8 或更高版本。此功能要求空安全注解支持 TYPE_USE
目标(org.jetbrains.annotations
在版本 15 及更高版本中支持此功能)。
NOTE
如果空安全注解除了 TYPE_USE
目标之外还支持适用于类型的其他目标,则 TYPE_USE
具有优先级。例如,如果 @Nullable
同时具有 TYPE_USE
和 METHOD
目标,则 Java 方法签名 @Nullable String[] f()
在 Kotlin 中变为 fun f(): Array<String?>!
。
JSR-305 支持
JSR-305 中定义的 @Nonnull
注解支持表示 Java 类型的空安全。
如果 @Nonnull(when = ...)
值为 When.ALWAYS
,则被注解的类型被视为不可空;When.MAYBE
和 When.NEVER
表示可空类型;When.UNKNOWN
强制类型为平台类型。
库可以针对 JSR-305 注解进行编译,但无需将注解 artifact(例如 jsr305.jar
)作为库消费者的编译依赖项。Kotlin 编译器可以从库中读取 JSR-305 注解,即使类路径中不存在这些注解。
还支持 自定义空安全限定符 (Custom nullability qualifiers) (KEEP-79)(详见下文)。
类型限定符别名
如果注解类型同时被 @TypeQualifierNickname
和 JSR-305 @Nonnull
(或其另一个别名,例如 @CheckForNull
)注解,则该注解类型本身用于检索精确的空安全,并且与该空安全注解具有相同的含义:
@TypeQualifierNickname
@Nonnull(when = When.ALWAYS)
@Retention(RetentionPolicy.RUNTIME)
public @interface MyNonnull {
}
@TypeQualifierNickname
@CheckForNull // a nickname to another type qualifier nickname
@Retention(RetentionPolicy.RUNTIME)
public @interface MyNullable {
}
interface A {
@MyNullable String foo(@MyNonnull String x);
// in Kotlin (strict mode): `fun foo(x: String): String?`
String bar(List<@MyNonnull String> x);
// in Kotlin (strict mode): `fun bar(x: List<String>!): String!`
}
类型限定符默认值
@TypeQualifierDefault
允许引入注解,当应用时,这些注解定义了被注解元素范围内的默认空安全。
此类注解类型本身应同时被 @Nonnull
(或其别名)和 @TypeQualifierDefault(...)
注解,并带有一个或多个 ElementType
值:
ElementType.METHOD
用于方法的返回类型ElementType.PARAMETER
用于值参数ElementType.FIELD
用于字段ElementType.TYPE_USE
用于任何类型,包括类型实参、类型形参的上界和通配符类型
当类型本身没有被空安全注解注解时,将使用默认空安全;默认空安全由与类型用法匹配的 ElementType
的、带有类型限定符默认注解的最内层封闭元素决定。
@Nonnull
@TypeQualifierDefault({ElementType.METHOD, ElementType.PARAMETER})
public @interface NonNullApi {
}
@Nonnull(when = When.MAYBE)
@TypeQualifierDefault({ElementType.METHOD, ElementType.PARAMETER, ElementType.TYPE_USE})
public @interface NullableApi {
}
@NullableApi
interface A {
String foo(String x); // fun foo(x: String?): String?
@NotNullApi // overriding default from the interface
String bar(String x, @Nullable String y); // fun bar(x: String, y: String?): String
// The List<String> type argument is seen as nullable because of `@NullableApi`
// having the `TYPE_USE` element type:
String baz(List<String> x); // fun baz(List<String?>?): String?
// The type of `x` parameter remains platform because there's an explicit
// UNKNOWN-marked nullability annotation:
String qux(@Nonnull(when = When.UNKNOWN) String x); // fun baz(x: String!): String?
}
也支持包级默认空安全:
// FILE: test/package-info.java
@NonNullApi // declaring all types in package 'test' as non-nullable by default
package test;
@UnderMigration 注解
@UnderMigration
注解(在单独的 artifact kotlin-annotations-jvm
中提供)可供库维护者用于定义空安全类型限定符的迁移状态。
@UnderMigration(status = ...)
中的状态值指定了编译器如何处理 Kotlin 中被注解类型的不当使用(例如,将 @MyNullable
注解的类型值用作非 null):
MigrationStatus.STRICT
使注解像任何普通空安全注解一样工作,即对不当使用报告错误,并影响 Kotlin 中被注解声明的类型MigrationStatus.WARN
:不当使用被报告为编译警告而不是错误,但被注解声明中的类型仍保留平台类型MigrationStatus.IGNORE
使编译器完全忽略空安全注解
库维护者可以将 @UnderMigration
状态添加到类型限定符别名和类型限定符默认值中:
@Nonnull(when = When.ALWAYS)
@TypeQualifierDefault({ElementType.METHOD, ElementType.PARAMETER})
@UnderMigration(status = MigrationStatus.WARN)
public @interface NonNullApi {
}
// The types in the class are non-nullable, but only warnings are reported
// because `@NonNullApi` is annotated `@UnderMigration(status = MigrationStatus.WARN)`
@NonNullApi
public class Test {}
NOTE
空安全注解的迁移状态不会被其类型限定符别名继承,但会应用于其在默认类型限定符中的用法。
如果默认类型限定符使用类型限定符别名并且它们都带有 @UnderMigration
,则使用默认类型限定符的状态。
编译器配置
可以通过添加带有以下选项(及其组合)的 -Xjsr305
编译器标志来配置 JSR-305 检查:
-Xjsr305={strict|warn|ignore}
配置非@UnderMigration
注解的行为。自定义空安全限定符,尤其是@TypeQualifierDefault
,已广泛应用于许多知名库中,用户在更新到包含 JSR-305 支持的 Kotlin 版本时可能需要平滑迁移。从 Kotlin 1.1.60 开始,此标志仅影响非@UnderMigration
注解。-Xjsr305=under-migration:{strict|warn|ignore}
覆盖@UnderMigration
注解的行为。用户可能对库的迁移状态有不同的看法:他们可能希望在官方迁移状态为WARN
时出现错误,反之亦然,他们可能希望推迟报告某些错误,直到完成迁移。-Xjsr305=@<fq.name>:{strict|warn|ignore}
覆盖单个注解的行为,其中<fq.name>
是注解的完全限定类名。可以针对不同的注解多次出现。这对于管理特定库的迁移状态很有用。
strict
、warn
和 ignore
值与 MigrationStatus
的含义相同,并且只有 strict
模式会影响 Kotlin 中被注解声明的类型。
NOTE
注意:内置的 JSR-305 注解 @Nonnull
、@Nullable
和 @CheckForNull
始终启用,并影响 Kotlin 中被注解声明的类型,无论使用 -Xjsr305
标志的编译器配置如何。
例如,将 -Xjsr305=ignore -Xjsr305=under-migration:ignore [email protected]:warn
添加到编译器参数中,将使编译器对被 @org.library.MyNullable
注解的类型的不当使用生成警告,并忽略所有其他 JSR-305 注解。
默认行为与 -Xjsr305=warn
相同。strict
值应被视为实验性的(未来可能会添加更多检查)。
映射类型
Kotlin 对某些 Java 类型进行了特殊处理。此类类型不会“原样”从 Java 加载,而是被_映射_到相应的 Kotlin 类型。 此映射仅在编译时重要,运行时表示保持不变。 Java 的基本类型映射到相应的 Kotlin 类型(请记住平台类型):
Java 类型 | Kotlin 类型 |
---|---|
byte | kotlin.Byte |
short | kotlin.Short |
int | kotlin.Int |
long | kotlin.Long |
char | kotlin.Char |
float | kotlin.Float |
double | kotlin.Double |
boolean | kotlin.Boolean |
一些非基本内置类也已映射:
Java 类型 | Kotlin 类型 |
---|---|
java.lang.Object | kotlin.Any! |
java.lang.Cloneable | kotlin.Cloneable! |
java.lang.Comparable | kotlin.Comparable! |
java.lang.Enum | kotlin.Enum! |
java.lang.annotation.Annotation | kotlin.Annotation! |
java.lang.CharSequence | kotlin.CharSequence! |
java.lang.String | kotlin.String! |
java.lang.Number | kotlin.Number! |
java.lang.Throwable | kotlin.Throwable! |
Java 的包装基本类型映射到可空 Kotlin 类型:
Java 类型 | Kotlin 类型 |
---|---|
java.lang.Byte | kotlin.Byte? |
java.lang.Short | kotlin.Short? |
java.lang.Integer | kotlin.Int? |
java.lang.Long | kotlin.Long? |
java.lang.Character | kotlin.Char? |
java.lang.Float | kotlin.Float? |
java.lang.Double | kotlin.Double? |
java.lang.Boolean | kotlin.Boolean? |
请注意,用作类型形参的包装基本类型会映射到平台类型:例如,List<java.lang.Integer>
在 Kotlin 中变为 List<Int!>
。
集合类型在 Kotlin 中可以是只读或可变的,因此 Java 的集合映射如下(此表中的所有 Kotlin 类型都位于 kotlin.collections
包中):
Java 类型 | Kotlin 只读类型 | Kotlin 可变类型 | 加载的平台类型 |
---|---|---|---|
Iterator<T> | Iterator<T> | MutableIterator<T> | (Mutable)Iterator<T>! |
Iterable<T> | Iterable<T> | MutableIterable<T> | (Mutable)Iterable<T>! |
Collection<T> | Collection<T> | MutableCollection<T> | (Mutable)Collection<T>! |
Set<T> | Set<T> | MutableSet<T> | (Mutable)Set<T>! |
List<T> | List<T> | MutableList<T> | (Mutable)List<T>! |
ListIterator<T> | ListIterator<T> | MutableListIterator<T> | (Mutable)ListIterator<T>! |
Map<K, V> | Map<K, V> | MutableMap<K, V> | (Mutable)Map<K, V>! |
Map.Entry<K, V> | Map.Entry<K, V> | MutableMap.MutableEntry<K,V> | (Mutable)Map.(Mutable)Entry<K, V>! |
Java 数组的映射方式如下文所述:
Java 类型 | Kotlin 类型 |
---|---|
int[] | kotlin.IntArray! |
String[] | kotlin.Array<(out) String!>! |
NOTE
这些 Java 类型的静态成员无法直接通过 Kotlin 类型的伴生对象 (companion objects) 访问。要调用它们,请使用 Java 类型的完全限定名称,例如 java.lang.Integer.toHexString(foo)
。
Kotlin 中的 Java 泛型
Kotlin 的泛型与 Java 的略有不同(详见泛型 (Generics))。 将 Java 类型导入 Kotlin 时,会进行以下转换:
Java 的通配符 (wildcards) 转换为类型投影 (type projections):
Foo<? extends Bar>
变为Foo<out Bar!>!
Foo<? super Bar>
变为Foo<in Bar!>!
Java 的原始类型 (raw types) 转换为星投影 (star projections):
List
变为List<*>!
即List<out Any?>!
与 Java 类似,Kotlin 的泛型在运行时不会保留:对象不携带关于传递给其构造函数的实际类型实参的信息。例如,ArrayList<Integer>()
与 ArrayList<Character>()
无法区分。 这使得无法执行考虑泛型的 is
-检查。 Kotlin 只允许对星投影泛型类型执行 is
-检查:
if (a is List<Int>) // Error: cannot check if it is really a List of Ints
// but
if (a is List<*>) // OK: no guarantees about the contents of the list
Java 数组
与 Java 不同,Kotlin 中的数组是不可变的 (invariant)。这意味着 Kotlin 不允许你将 Array<String>
赋值给 Array<Any>
,这可以防止潜在的运行时失败。将子类数组作为超类数组传递给 Kotlin 方法也是禁止的,但对于 Java 方法,这可以通过形式为 Array<(out) String>!
的平台类型来允许。
在 Java 平台上,数组与基本数据类型一起使用,以避免装箱/拆箱操作的开销。 由于 Kotlin 隐藏了这些实现细节,因此需要一个变通方法来与 Java 代码进行接口交互。 对于每种基本类型数组(IntArray
、DoubleArray
、CharArray
等),都有专门的类来处理这种情况。 它们与 Array
类无关,并被编译为 Java 的基本类型数组以实现最大性能。
假设有一个 Java 方法接受一个 int 类型的索引数组:
public class JavaArrayExample {
public void removeIndices(int[] indices) {
// code here...
}
}
要传递基本类型值的数组,你可以在 Kotlin 中执行以下操作:
val javaObj = JavaArrayExample()
val array = intArrayOf(0, 1, 2, 3)
javaObj.removeIndices(array) // passes int[] to method
当编译为 JVM 字节码时,编译器会优化对数组的访问,因此不会引入任何开销:
val array = arrayOf(1, 2, 3, 4)
array[1] = array[1] * 2 // no actual calls to get() and set() generated
for (x in array) { // no iterator created
print(x)
}
即使你使用索引进行导航,也不会引入任何开销:
for (i in array.indices) { // no iterator created
array[i] += 2
}
最后,in
-检查也没有任何开销:
if (i in array.indices) { // same as (i >= 0 && i < array.size)
print(array[i])
}
Java 可变参数 (varargs)
Java 类有时会使用带有可变数量参数 (varargs) 的索引方法声明:
public class JavaArrayExample {
public void removeIndicesVarArg(int... indices) {
// code here...
}
}
在这种情况下,你需要使用展开运算符 *
来传递 IntArray
:
val javaObj = JavaArrayExample()
val array = intArrayOf(0, 1, 2, 3)
javaObj.removeIndicesVarArg(*array)
运算符
由于 Java 无法标记那些适合使用运算符语法的方法,Kotlin 允许将任何具有正确名称和签名的 Java 方法用作运算符重载 (operator overloads) 和其他约定(例如 invoke()
等)。 不允许使用中缀调用语法 (infix call syntax) 调用 Java 方法。
受检异常
在 Kotlin 中,所有异常都是非受检的 (unchecked),这意味着编译器不会强制你捕获其中任何一个。 因此,当你调用一个声明了受检异常的 Java 方法时,Kotlin 不会强制你做任何事情:
fun render(list: List<*>, to: Appendable) {
for (item in list) {
to.append(item.toString()) // Java would require us to catch IOException here
}
}
对象方法
当 Java 类型导入到 Kotlin 中时,所有 java.lang.Object
类型的引用都转换为 Any
。 由于 Any
不是平台特定的,它只声明 toString()
、hashCode()
和 equals()
作为其成员,因此为了使 java.lang.Object
的其他成员可用,Kotlin 使用了扩展函数 (extension functions)。
wait()/notify()
wait()
和 notify()
方法在 Any
类型的引用上不可用。通常不鼓励使用它们,而推荐使用 java.util.concurrent
。如果你确实需要调用这些方法,可以将其强制转换为 java.lang.Object
:
(foo as java.lang.Object).wait()
getClass()
要检索对象的 Java 类,请在类引用 (class reference) 上使用 java
扩展属性:
val fooClass = foo::class.java
上面的代码使用了绑定类引用 (bound class reference)。你也可以使用 javaClass
扩展属性:
val fooClass = foo.javaClass
不要为此目的使用 ClassName.javaClass
,因为它引用的是 ClassName
的伴生对象类,这与 ClassName.Companion::class.java
相同,而不是 ClassName::class.java
。
对于每种基本类型,都有两个不同的 Java 类,Kotlin 提供了获取这两种类的方法。例如,Int::class.java
将返回表示基本类型本身的类实例,对应于 Java 中的 Integer.TYPE
。要获取相应包装器类型的类,请使用 Int::class.javaObjectType
,它等效于 Java 的 Integer.class
。
其他支持的情况包括获取 Kotlin 属性的 Java getter/setter 方法或支持字段 (backing field),获取 Java 字段的 KProperty
,获取 Java 方法或构造函数的 KFunction
,反之亦然。
SAM 转换
Kotlin 支持 Java 和 Kotlin 接口 的 SAM 转换。对 Java 的这种支持意味着 Kotlin 函数字面量 (function literals) 可以自动转换为仅包含一个非默认方法的 Java 接口实现,只要接口方法的参数类型与 Kotlin 函数的参数类型匹配。
你可以使用它来创建 SAM 接口的实例:
val runnable = Runnable { println("This runs in a runnable") }
……以及在方法调用中:
val executor = ThreadPoolExecutor()
// Java signature: void execute(Runnable command)
executor.execute { println("This runs in a thread pool") }
如果 Java 类有多个接受函数式接口的方法,你可以通过使用将 lambda 转换为特定 SAM 类型的适配器函数来选择你需要调用的方法。当需要时,编译器也会生成这些适配器函数:
executor.execute(Runnable { println("This runs in a thread pool") })
NOTE
SAM 转换仅适用于接口,而不适用于抽象类,即使这些抽象类也只有一个抽象方法。
在 Kotlin 中使用 JNI
要声明一个在原生 (C 或 C++) 代码中实现的函数,你需要用 external
修饰符标记它:
external fun foo(x: Int): Double
其余步骤与 Java 中的工作方式完全相同。
你也可以将属性的 getter 和 setter 标记为 external
:
var myProperty: String
external get
external set
在幕后,这将创建两个函数 getMyProperty
和 setMyProperty
,两者都被标记为 external
。
在 Kotlin 中使用 Lombok 生成的声明
你可以在 Kotlin 代码中使用 Java 的 Lombok 生成的声明。 如果你需要在同一个混合 Java/Kotlin 模块中生成和使用这些声明,你可以通过 Lombok 编译器插件页面 了解如何操作。 如果你从另一个模块调用这些声明,则无需使用此插件来编译该模块。