前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >Kotlin的互操作——Kotlin与Java互相调用

Kotlin的互操作——Kotlin与Java互相调用

作者头像
博文视点Broadview
发布2020-06-11 14:56:07
3.8K0
发布2020-06-11 14:56:07
举报
文章被收录于专栏:博文视点Broadview

小编说:互操作就是在Kotlin中可以调用其他编程语言的接口,只要它们开放了接口,Kotlin就可以调用其成员属性和成员方法,这是其他编程语言所无法比拟的。同时,在进行Java编程时也可以调用Kotlin中的API接口。

本文选自《Kotlin开发快速入门与实战》

  • Kotlin与Java互操作

1 . Kotlin调用Java

Kotlin在设计时就考虑了与Java的互操作性。可以从Kotlin中自然地调用现有的Java代码,在Java代码中也可以很顺利地调用Kotlin代码。

【例1】在Kotlin中调用Java的Util的list库。

代码语言:javascript
复制
packagejqiang.Mutual.Kotlin
importjava.util.*
fundemo(source:List<Int>){
 vallist=ArrayList<Int>()
  for(iteminlist){
    list.add(item)          
 }
  for(iin0..source.size-1){
    list[i]=source[i]
 }
}

基本的互操作行为如下:

① 属性读写

Kotlin可以自动识别Java中的getter/setter;在Java中可以过getter/setter操作Kotlin属性。

【例2】自动识别Java中的getter/setter。

代码语言:javascript
复制
packagejqiang.Mutual.Kotlin
importjava.util.*
funmain(args:Array<String>){
 valcalendar=Calendar.getInstance()
  println(calendar.firstDayOfWeek)
  if(calendar.firstDayOfWeek==1){// 调用getFirstDayOfWeek()方法
   calendar.firstDayOfWeek=2// 调用setFirstDayOfWeek()方法
 }
  println(calendar.firstDayOfWeek)
}

遵循Java约定的getter和setter方法(名称以get开头的无参数方法和以set开头的单参数方法)在Kotlin中表示为属性。如果Java类只有一个setter,那么它在Kotlin中不会作为属性可见,因为Kotlin目前不支持只写(set-only)属性。

② 空安全类型

Kotlin的空安全类型的原理是,Kotlin在编译过程中会增加一个函数调用,对参数类型或者返回类型进行控制,开发者可以在开发时通过注解@Nullable和@NotNull方式来弥补Java中空值异常。

Java中的任何引用都可能是null,这使得Kotlin对来自Java的对象进行严格的空安全检查是不现实的。Java声明的类型在Kotlin中称为平台类型,并会被特别对待。对这种类型的空检查要求会放宽,因此对它们的安全保证与在Java中相同。

【例3】空值实例。

代码语言:javascript
复制
vallist=ArrayList<String>()//非空(构造函数结果)list.add("Item")
val size=list.size()//非空(原生Int)
Val item=list[0]//推断为平台类型(普通Java对象)

当调用平台类型变量的方法时,Kotlin不会在编译时报告可空性错误,但是在运行时调用可能会失败,因为空指针异常。

代码语言:javascript
复制
item.substring(1)//允许,如果item==null可能会抛出异常

平台类型是不可标识的,这意味着不能在代码中明确地写下它们。当把一个平台值赋给一个Kotlin变量时,可以依赖类型推断(该变量会具有所推断出的平台类型,如上例中item所具有的类型),或者选择我们所期望的类型(可空的或非空类型均可)。

代码语言:javascript
复制
val nullable:String?=item//允许,没有问题
Val notNull:String=item//允许,运行时可能失败

如果选择非空类型,编译器会在赋值时触发一个断言,这样可以防止Kotlin的非空变量保存空值。当把平台值传递给期待非空值等的Kotlin函数时,也会触发一个断言。总的来说,编译器尽力阻止空值通过程序向远传播(由于泛型的原因,有时这不可能完全消除)。

③ 返回void的方法

如果在Java中返回void,那么Kotlin返回的就是Unit。如果在调用时返回void,那么Kotlin会事先识别该返回值为void。

④ 注解的使用

@JvmField是Kotlin和Java互相操作属性经常遇到的注解;@JvmStatic是将对象方法编译成Java静态方法;@JvmOverloads主要是Kotlin定义默认参数生成重载方法;@file:JvmName指定Kotlin文件编译之后生成的类名。

⑤ NoArg和AllOpen

数据类本身属性没有默认的无参数的构造方法,因此Kotlin提供一个NoArg插件,支持JPA注解,如@Entity。AllOpen是为所标注的类去掉final,目的是为了使该类允许被继承,且支持Spring注解,如@Componet;支持自定义注解类型,如@Poko。

泛型

Kotlin中的通配符“*”代替Java中的“?”;协变和逆变由Java中的extends和super变成了out和in,如ArrayList<outString>;在Kotlin中没有Raw类型,如Java中的List对应于Kotlin就是List<*>。

与Java一样,Kotlin在运行时不保留泛型,也就是对象不携带传递到它们的构造器中的类型参数的实际类型,即ArrayList<Integer>()和ArrayList<Character>()是不能区分的。这使得执行is检查不可能照顾到泛型,Kotlin只允许is检查星投影的泛型类型。

代码语言:javascript
复制
if(aisList<Int>)//错误:无法检查它是否真的是一个Int列表
if(aisList<*>)//OK:不保证列表的内容

⑦ SAM转换

就像Java 8一样,Kotlin支持SAM转换,这意味着Kotlin函数字面值可以被自动转换成只有一个非默认方法的Java接口的实现,只要这个方法的参数类型能够与这个Kotlin函数的参数类型相匹配就行。

【例4】首先使用Java创建一个SAMInJava类,然后通过Kotlin调用Java中的接口。

Java代码:

代码语言:javascript
复制
packagejqiang.Mutual.Java;
import java.util.ArrayList;
public class SAMInJava{
  private ArrayList<Runnable>runnables=newArrayList<Runnable>();
  public void addTask(Runnablerunnable){
   runnables.add(runnable);
System.out.println("add:"+runnable+",size"+runnables.size());
 }
  Public void removeTask(Runnablerunnable){
   runnables.remove(runnable);
System.out.println("remove:"+runnable+"size"+runnables.size());
   }
}

Kotlin代码:

代码语言:javascript
复制
packagejqiang.Mutual.Kotlin
importjqiang.Mutual.Java.SAMInJava
funmain(args:Array<String>){
 varsamJava=SAMInJava()
 vallamba={
   print("hello")
 }
 samJava.addTask(lamba)
 samJava.removeTask(lamba)
}

运行结果如下:

代码语言:javascript
复制
add:jqiang.Mutual.Kotlin.SamKt$sam$Runnable$bef91c64@63947c6bsize1
remove:jqiang.Mutual.Kotlin.SamKt$sam$Runnable$bef91c64@2b193f2dsize1

如果Java类有多个接受函数式接口的方法,那么可以通过使用将Lambda表达式转换为特定的SAM类型的适配器函数来选择需要调用的方法。这些适配器函数也会按需由编译器生成。

代码语言:javascript
复制
vallamba={
 print("hello")
}
samJava.addTask(lamba)

SAM转换只适用于接口,而不适用于抽象类,即使这些抽象类只有一个抽象方法。此功能只适用于Java互操作;因为Kotlin具有合适的函数类型,所以不需要将函数自动转换为Kotlin接口的实现,因此不受支持。

2 . Java调用Kotlin

在Java中可以轻松地调用Kotlin代码。

① 属性

Kotlin属性会被编译成以下Java元素:

  • getter方法,其名称通过加前缀get得到;
  • setter方法,其名称通过加前缀set得到(只适用于var属性);
  • 私有字段,与属性名称相同(仅适用于具有幕后字段的属性)。

【例5】将Kotlin变量编译成Java中的变量声明。

Kotlin部分代码:

代码语言:javascript
复制
varfirstName:String

Java部分代码:

代码语言:javascript
复制
privateStringfirstName;
publicStringgetFirstName(){
 returnfirstName;}
publicvoidsetFirstName(StringfirstName){
 this.firstName=firstName;
}

如果属性名称是以is开头的,则使用不同的名称映射规则:getter的名称与属性名称相同,并且setter的名称是通过将is替换成set获得的。例如,对于属性isOpen,其getter会称作isOpen(),而其setter会称作setOpen()。这一规则适用于任何类型的属性,并不仅限于Boolean。

② 包级函数

在jqiang.Mutual.Kotlin包内的example.kt文件中声明的所有函数和属性,包括扩展函数,都被编译成一个名为jqiang.Mutual.Kotlin.ExampleKt的Java类的静态方法。

【例6】包级函数调用。

Kotlin部分代码:

代码语言:javascript
复制
packagejqiang.Mutual.Kotlinfunbar(){
 println("这只是一个bar方法")
}

Java部分代码:

代码语言:javascript
复制
packagejqiang.Mutual.Java;
publicclassexample{
 publicstaticvoidmain(String[]args){
   jqiang.Mutual.Kotlin.ExampleKt.bar();
 }
}

可以使用@JvmName注解修改所生成的Java类的类名:

代码语言:javascript
复制
  @file:JvmName("example")
packagejqiang.Mutual.Kotlin

那么Java调用时就需要修改类名:

代码语言:javascript
复制
jqiang.Mutual.Kotlin.example.bar();

在多个文件中生成相同的Java类名(包名相同并且类名相同或者有相同的@JvmName注解)通常是错误的。然而,编译器能够生成一个单一的Java外观类,它具有指定的名称且包含来自于所有文件中具有该名称的所有声明。要生成这样的外观,请在所有的相关文件中使用@JvmMultifileClass注解。

代码语言:javascript
复制
@file:JvmName("example")
@file:JvmMultifileClass
packagejqiang.Mutual.Kotlin

③ 实例字段

如果需要在Java中将Kotlin属性作为字段暴露,那么就需要使用@JvmField注解对其进行标注。该字段将具有与底层属性相同的可见性。如果一个属性有幕后字段(Backing Field)、非私有的、没有open/override或者const修饰符,并且不是被委托的属性,那么可以使用@JvmField注解该属性。

④ 静态方法

Kotlin将包级函数表示为静态方法。如果对这些函数使用@JvmStatic进行标注,那么Kotlin还可以为在命名对象或伴生对象中定义的函数生成静态方法。如果使用该注解,那么编译器既会在相应对象的类中生成静态方法,也会在对象自身中生成实例方法。例如:

代码语言:javascript
复制
classC{  companionobject{
    @JvmStaticfunfoo(){}
   funbar(){}
 }
}

现在,foo()在Java中是静态的,而bar()不是静态的。

代码语言:javascript
复制
C.foo();//没问题
C.bar();//错误:不是一个静态方法
C.Companion.foo();//保留实例方法
C.Companion.bar();//唯一的工作方式

对于命名对象也同样:

代码语言:javascript
复制
objectObj{
  @JvmStaticfunfoo(){}
 funbar(){}
}

在Java中:

代码语言:javascript
复制
Obj.foo();//没问题
Obj.bar();//错误
Obj.INSTANCE.bar();//没问题,通过单例实例调用
Obj.INSTANCE.foo();// 也没问题

@JvmStatic注解也可以被应用于对象或伴生对象的属性上,使其getter和setter方法在该对象或包含该伴生对象的类中是静态成员。

⑤ 可见性

Kotlin的可见性以下列方式映射到Java。

  • private成员被编译成private成员。
  • private的顶层声明被编译成包级局部声明。
  • protected依然保持protected(注意,Java允许访问同一个包中其他类的受保护成员,而Kotlin则不允许,所以Java类会访问更广泛的代码)。
  • internal声明会成为Java中的public。internal类的成员会通过名字修饰,使其更难以在Java中被意外使用到,并且根据Kotlin规则使其允许重载相同签名的成员而互不可见。
  • public依然保持public。

⑥ 空安全性

当从Java中调用Kotlin函数时,没有任何方法可以阻止Kotlin中的空值传入。Kotlin在JVM虚拟机中运行时会检查所有的公共函数,可以检查非空值,这时候就可以通过NullPointerException得到Java中的非空值代码。

⑦ 型变的泛型

当Kotlin使用了声明处型变时,可以通过两种方式从Java代码中看到它们的用法。假设有以下类和两个使用它的函数:

代码语言:javascript
复制
class Box<out T>(val value: T)
interface Base
class Derived : Base
fun boxDerived(value: Derived): Box<Derived> = Box(value)
fun unboxBase(box: Box<Base>): Base = box.value

将这两个函数转换成Java代码:

代码语言:javascript
复制
Box<Derived> boxDerived(Derived value) { … }
Base unboxBase(Box<Base> box) { … }

在Kotlin中可以这样写:unboxBase(boxDerived("s")),但是在Java中是行不通的,因为在Java中Box类在其泛型参数T上是不型变的,于是Box<Derived>并不是Box<Base>的子类。要使其在Java中工作,需要按以下方式定义unboxBase:

代码语言:javascript
复制
Base unboxBase(Box<? extends Base> box) { … }

这里使用Java的通配符类型(? extends Base)通过使用处型变来模拟声明处型变,因为在Java中只能这样。

当它作为参数出现时,为了让Kotlin的API在Java中工作,对于协变定义的Box生成Box<Super>作为Box<?extendsSuper>(或者对于逆变定义的Foo生成Foo<?superBar>)。当它是一个返回值时,则不生成通配符;否则,Java客户端必须处理它们(并且它违反了常用的Java编码风格)。因此,将示例中的对应函数实际上翻译如下:

代码语言:javascript
复制
// 作为返回类型——没有通配符
Box<Derived> boxDerived(Derived value) { … }
// 作为参数——有通配符
Base unboxBase(Box<? extends Base> box) { … }

当参数类型是final时,生成通配符通常没有意义,所以无论在什么地方Box<String>始终转换为Box<String>。

如果在默认不生成通配符的地方需要通配符,则可以使用@JvmWildcard注解。

代码语言:javascript
复制
fun boxDerived(value: Derived): Box<@JvmWildcard Derived> = Box(value) // 将被转换成 
// Box<? extends Derived> boxDerived(Derived value) { … }

另外,如果根本不需要默认的通配符转换,则可以使用@JvmSuppressWildcards注解。

代码语言:javascript
复制
fun unboxBase(box: Box<@JvmSuppressWildcards Base>):
Base = box.value
// 会翻译成 
// Base unboxBase(Box<Base> box) { … }

@JvmSuppressWildcards不仅可应用于单个类型参数,还可应用于整个声明(如函数或类),从而抑制其中的所有通配符。

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2017-10-09,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 博文视点Broadview 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档