[TOC]
### 前言
**Kotlin 引以为豪的是和Java 的互操作性,而你知道Java 的类型系统是不支持可空性的。那么当你混合使用Kotlin和Java 时会发生什么?会不会失去所有的安全性?或者每个值都必须检查是否为null ?**
有些时候Java 代码包含了可空性的信息,这些信息使用注解来表达。当代码中出现了这样的信息时,Kotlin 就会使用它。因此Java中的`@Nullable String` 被Kotlin 当作String?,而`@NotNull String` 就是String,如图所示。
根据Java 类型的注解, Java类型会在Kotlin 中表示为可空类型和非空类型
![](https://box.kancloud.cn/f9aa0d226628c044cab51a52fb79684e_391x169.png)
Kotlin可以识别多种不同风格的可空性注解,包括JSR-305 标准的注解(在javax.annotation 包之中)、Android 的注解( android.support.annotation )和JetBrains 工具支持的注解(org.jetbrains.annotations )。
如果这些注解不存在会发生什么?这种情况下, Java 类型会变成Kotlin 中的平台类型。
### **平台类型**
**平台类型本质上就是Kotlin不知道可空性信息的类型。既可以把它当作可空类型处理, 也可以当作非空类型处理**(如图所示)。这意味着,你要像在Java中一样,对你在这个类型上做的操作负有全部责任。编译器将会允许所有的操作,它不会把对这些值的空安全操作高亮成多余的,但它平时却是这样对待非空类型值上的空安全操作的。如果你认为这个值为null,在使用它之前可以用它和null比较。如果你认为它不为null,就直接使用它。就像在Java中一样,如果你错误地理解了这个值,使用的时候就会遇到NullPointerException 。
**Java 类型在Kotlin 中表示为平台类型,既可以把它当作可空类型也可以当作非空类型来处理**
![](https://box.kancloud.cn/a2623fb1961d8b4e5c6f9c6ae4a05ebd_356x130.png)
**示例**
Java代码
~~~
public class Phone {
private final String name;
public Phone(String name){
this.name=name;
}
public String getName(){
return name;
}
}
~~~
kotlin代码
~~~
fun main(args: Array<String>) {
yellAt(Phone(null))
}
fun yellAt(phone: Phone){
println(phone.name.toUpperCase()+"!!!")
//toUpperCase()调用的接收者phone.name为null , 所以这里会抛出异常
}
~~~
运行结果
```
Exception in thread "main" java.lang.IllegalStateException: phone.name must not be null
at A基础.可空性和JavaKt.yellAt(可空性和Java.kt:8)
at A基础.可空性和JavaKt.main(可空性和Java.kt:4)
```
>[info]【注意】:这里你看到的不是一个干巴巴的NullPointerException ,而是一条更详细的错误消息,告诉你方法toUppercase 不能在null 的接收者上调用。
事实上,对于公有的Kotlin函数,编译器会生成对每个非空类型的参数(和接收者)的检查,所以,使用不正确的参数的调用尝试都会立即被报告为异常。注意,这种值检查在函数调用的时候就执行了,而不是等到这些参数被使用的时候。这确保了不正确的调用会被尽早发现,那些由于null值被传给代码不同层次的多个函数之后,并被这些函数访问时而产生难以理解的异常就能被避免。
另外一个选择是把`getName()`的返回类型解释为可空的并安全地访问它。
修改如下
~~~
fun yellAtSafe(phone: Phone){
println((phone.name?:"Anyone").toUpperCase()+"!!!")
}
~~~
运行结果
```
ANYONE!!!
Process finished with exit code 0
```
>[info]【**注意**】使用Java API 时要特别小心。大部分的库都没有(可空性)注解,所以可以把所有类型都解释为非空,但那样会导致错误。为了避免错误,你应该阅读要用到的Java 方法的文档( 必要时还要查看它的实现〉, 搞清楚它们什么时候会返回null,并给那些方法加上检查。
在Katlin 中不能声明一个平台类型的变量,这些类型只能来自Java 代码,如下面的代码就会报错
~~~
val i:Int=phone.name
~~~
会报错如下:`错误: 类型不匹配: 推断类型为字符串但是给的是Int整型`
`ERROR: Type mismatch : inferred type is String! but Int was expected`
String ! 表示法被Kotlin 编译器用来表示来自Java 代码的平台类型。你不能在自己的代码中使用这种语法。而且感叹号通常与问题的来源无关,所以通常可以忽略它。它只是强调类型的可空性是未知的。
**创建混合的Kotlin和Java 类层级关系时会遇到的一些陷阱**
**继承**
当在Kotlin 中重写Java 的方法时, 可以选择把参数和返回类型定义成可空的,也可以选择把它们定义成非空的。例如,我们来看一个Java 中的StringProcessor 接口。
```
interface StringProcessor
{
void process(String value);
}
```
Kotlin中下面的两种实现编译器都可以接收
~~~
class StringPrinter:StringProcesser{
override fun process(value:String){
println(value)
}
}
class NullableStringPrinter:StringProcesser{
override fun process(value: String?){
if(value !=null){
println(value)
}
}
}
~~~
>[info]【**注意**】,在实现Java 类或者接口的方法时一定要搞清楚它的可空性。因为方法的实现可以在非Kotlin的代码中被调用, Kotlin 编译器会为你声明的每一个非空的参数生成非空断言。如果Java 代码传给这个方法一个null 值,断言将会触发,你会得到一个异常,即便你从没有在你的实现中访问过这个参数的值。
- 前言
- Kotlin简介
- IntelliJ IDEA技巧总结
- idea设置类注释和方法注释模板
- 像Android Studion一样创建工程
- Gradle
- Gradle入门
- Gradle进阶
- 使用Gradle创建一个Kotlin工程
- 环境搭建
- Androidstudio平台搭建
- Eclipse的Kotlin环境配置
- 使用IntelliJ IDEA
- Kotlin学习路线
- Kotlin官方中文版文档教程
- 概述
- kotlin用于服务器端开发
- kotlin用于Android开发
- kotlin用于JavaScript开发
- kotlin用于原生开发
- Kotlin 用于数据科学
- 协程
- 多平台
- 新特性
- 1.1的新特性
- 1.2的新特性
- 1.3的新特性
- 开始
- 基本语法
- 习惯用法
- 编码规范
- 基础
- 基本类型
- 包与导入
- 控制流
- 返回与跳转
- 类与对象
- 类与继承
- 属性与字段
- 接口
- 可见性修饰符
- 扩展
- 数据类
- 密封类
- 泛型
- 嵌套类
- 枚举类
- 对象
- 类型别名
- 内嵌类
- 委托
- 委托属性
- 函数与Lambda表达式
- 函数
- Lambda表达式
- 内联函数
- 集合
- 集合概述
- 构造集合
- 迭代器
- 区间与数列
- 序列
- 操作概述
- 转换
- 过滤
- 加减操作符
- 分组
- 取集合的一部分
- 取单个元素
- 排序
- 聚合操作
- 集合写操作
- List相关操作
- Set相关操作
- Map相关操作
- 多平台程序设计
- 平台相关声明
- 以Gradle创建
- 更多语言结构
- 解构声明
- 类型检测与转换
- This表达式
- 相等性
- 操作符重载
- 空安全
- 异常
- 注解
- 反射
- 作用域函数
- 类型安全的构造器
- Opt-in Requirements
- 核心库
- 标准库
- kotlin.test
- 参考
- 关键字与操作符
- 语法
- 编码风格约定
- Java互操作
- Kotlin中调用Java
- Java中调用Kotlin
- JavaScript
- 动态类型
- kotlin中调用JavaScript
- JavaScript中调用kotlin
- JavaScript模块
- JavaScript反射
- JavaScript DCE
- 原生
- 并发
- 不可变性
- kotlin库
- 平台库
- 与C语言互操作
- 与Object-C及Swift互操作
- CocoaPods集成
- Gradle插件
- 调试
- FAQ
- 协程
- 协程指南
- 基础
- 取消与超时
- 组合挂起函数
- 协程上下文与调度器
- 异步流
- 通道
- 异常处理与监督
- 共享的可变状态与并发
- Select表达式(实验性)
- 工具
- 编写kotlin代码文档
- 使用Kapt
- 使用Gradle
- 使用Maven
- 使用Ant
- Kotlin与OSGI
- 编译器插件
- 编码规范
- 演进
- kotlin语言演进
- 不同组件的稳定性
- kotlin1.3的兼容性指南
- 常见问题
- FAQ
- 与Java比较
- 与Scala比较(官方已删除)
- Google开发者官网简介
- Kotlin and Android
- Get Started with Kotlin on Android
- Kotlin on Android FAQ
- Android KTX
- Resources to Learn Kotlin
- Kotlin样品
- Kotlin零基础到进阶
- 第一阶段兴趣入门
- kotlin简介和学习方法
- 数据类型和类型系统
- 入门
- 分类
- val和var
- 二进制基础
- 基础
- 基本语法
- 包
- 示例
- 编码规范
- 代码注释
- 异常
- 根类型“Any”
- Any? 可空类型
- 可空性的实现原理
- kotlin.Unit类型
- kotlin.Nothing类型
- 基本数据类型
- 数值类型
- 布尔类型
- 字符型
- 位运算符
- 变量和常量
- 语法和运算符
- 关键字
- 硬关键字
- 软关键字
- 修饰符关键字
- 特殊标识符
- 操作符和特殊符号
- 算术运算符
- 赋值运算符
- 比较运算符
- 逻辑运算符
- this关键字
- super关键字
- 操作符重载
- 一元操作符
- 二元操作符
- 字符串
- 字符串介绍和属性
- 字符串常见方法操作
- 字符串模板
- 数组
- 数组介绍创建及遍历
- 数组常见方法和属性
- 数组变化以及下标越界问题
- 原生数组类型
- 区间
- 正向区间
- 逆向区间
- 步长
- 类型检测与类型转换
- is、!is、as、as-运算符
- 空安全
- 可空类型变量
- 安全调用符
- 非空断言
- Elvis操作符
- 可空性深入
- 可空性和Java
- 函数
- 函数式编程概述
- OOP和FOP
- 函数式编程基本特性
- 组合与范畴
- 在Kotlin中使用函数式编程
- 函数入门
- 函数作用域
- 函数加强
- 命名参数
- 默认参数
- 可变参数
- 表达式函数体
- 顶层、嵌套、中缀函数
- 尾递归函数优化
- 函数重载
- 控制流
- if表达式
- when表达式
- for循环
- while循环
- 循环中的 Break 与 continue
- return返回
- 标签处返回
- 集合
- list集合
- list集合介绍和操作
- list常见方法和属性
- list集合变化和下标越界
- set集合
- set集合介绍和常见操作
- set集合常见方法和属性
- set集合变换和下标越界
- map集合
- map集合介绍和常见操作
- map集合常见方法和属性
- map集合变换
- 集合的函数式API
- map函数
- filter函数
- “ all ”“ any ”“ count ”和“ find ”:对集合应用判断式
- 别样的求和方式:sumBy、sum、fold、reduce
- 根据人的性别进行分组:groupBy
- 扁平化——处理嵌套集合:flatMap、flatten
- 惰性集合操作:序列
- 区间、数组、集合之间转换
- 面向对象
- 面向对象-封装
- 类的创建及属性方法访问
- 类属性和字段
- 构造器
- 嵌套类(内部类)
- 枚举类
- 枚举类遍历&枚举常量常用属性
- 数据类
- 密封类
- 印章类(密封类)
- 面向对象-继承
- 类的继承
- 面向对象-多态
- 抽象类
- 接口
- 接口和抽象类的区别
- 面向对象-深入
- 扩展
- 扩展:为别的类添加方法、属性
- Android中的扩展应用
- 优化Snackbar
- 用扩展函数封装Utils
- 解决烦人的findViewById
- 扩展不是万能的
- 调度方式对扩展函数的影响
- 被滥用的扩展函数
- 委托
- 委托类
- 委托属性
- Kotlin5大内置委托
- Kotlin-Object关键字
- 单例模式
- 匿名类对象
- 伴生对象
- 作用域函数
- let函数
- run函数
- with函数
- apply函数
- also函数
- 标准库函数
- takeIf 与 takeUnless
- 第二阶段重点深入
- Lambda编程
- Lambda成员引用高阶函数
- 高阶函数
- 内联函数
- 泛型
- 泛型的分类
- 泛型约束
- 子类和子类型
- 协变与逆变
- 泛型擦除与实化类型
- 泛型类型参数
- 泛型的背后:类型擦除
- Java为什么无法声明一个泛型数组
- 向后兼容的罪
- 类型擦除的矛盾
- 使用内联函数获取泛型
- 打破泛型不变
- 一个支持协变的List
- 一个支持逆变的Comparator
- 协变和逆变
- 第三阶段难点突破
- 注解和反射
- 声明并应用注解
- DSL
- 协程
- 协程简介
- 协程的基本操作
- 协程取消
- 管道
- 慕课霍丙乾协程笔记
- Kotlin与Java互操作
- 在Kotlin中调用Java
- 在Java中调用Kotlin
- Kotlin与Java中的操作对比
- 第四阶段专题练习
- 朱凯Kotlin知识点总结
- Kotlin 基础
- Kotlin 的变量、函数和类型
- Kotlin 里那些「不是那么写的」
- Kotlin 里那些「更方便的」
- Kotlin 进阶
- Kotlin 的泛型
- Kotlin 的高阶函数、匿名函数和 Lambda 表达式
- Kotlin协程
- 初识
- 进阶
- 深入
- Kotlin 扩展
- 会写「18.dp」只是个入门——Kotlin 的扩展函数和扩展属性(Extension Functions / Properties)
- Kotlin实战-开发Android