[TOC]
### 前言
**Kotlin 引以為豪的是和Java 的互操作性,而你知道Java 的類型系統是不支持可空性的。那么當你混合使用Kotlin和Java 時會發生什么?會不會失去所有的安全性?或者每個值都必須檢查是否為null ?**
有些時候Java 代碼包含了可空性的信息,這些信息使用注解來表達。當代碼中出現了這樣的信息時,Kotlin 就會使用它。因此Java中的`@Nullable String` 被Kotlin 當作String?,而`@NotNull String` 就是String,如圖所示。
根據Java 類型的注解, Java類型會在Kotlin 中表示為可空類型和非空類型

Kotlin可以識別多種不同風格的可空性注解,包括JSR-305 標準的注解(在javax.annotation 包之中)、Android 的注解( android.support.annotation )和JetBrains 工具支持的注解(org.jetbrains.annotations )。
如果這些注解不存在會發生什么?這種情況下, Java 類型會變成Kotlin 中的平臺類型。
### **平臺類型**
**平臺類型本質上就是Kotlin不知道可空性信息的類型。既可以把它當作可空類型處理, 也可以當作非空類型處理**(如圖所示)。這意味著,你要像在Java中一樣,對你在這個類型上做的操作負有全部責任。編譯器將會允許所有的操作,它不會把對這些值的空安全操作高亮成多余的,但它平時卻是這樣對待非空類型值上的空安全操作的。如果你認為這個值為null,在使用它之前可以用它和null比較。如果你認為它不為null,就直接使用它。就像在Java中一樣,如果你錯誤地理解了這個值,使用的時候就會遇到NullPointerException 。
**Java 類型在Kotlin 中表示為平臺類型,既可以把它當作可空類型也可以當作非空類型來處理**

**示例**
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