## 前言 在每一門編程語言中，都有一個特定的類型系統(Type System)。類型系統是一門編程語言最核心也 是最基礎的部分。我們這里說的類型系統，可以簡單理解為以下兩個部分： * 一組基本類型構成的PTS（Primary Type Set，基本類型集合）； * PTS上定義的一系列組合、運算、轉換規則等。 ### 入門 **一切皆是映射** 在計算機中，任何數值都是以一組比特（01）組成的，硬件無法區分內存地址、腳本、字符、整數、以及浮點數。這個時候，我們使用類型賦予一組比特以特定的意義。 類型（Type），本質上就是內存中的數值或變量對象的邏輯映射。 類型系統用于定義如何將編程語言中的數值和表達式歸類為許多不同的類型，如何操作這些類型，這些類型如何互相作用等。 類型系統在各種語言之間有非常大的不同，主要的差異存在于編譯時期的語法，以及運行時期的操作實現方式。 **容器有大小，數據有不同** 在 Kotlin 中，所有東西都是對象，在這個意義上講所以我們可以在任何變量上調用成員函數和屬性。有些類型是內置的，因為他們的實現是優化過的。但是用戶看起來他們就像普通的類。 任何語言都有自己的數據類型，Java語言里面的數據類型包含基本類型和引用類型。在Java里面存儲數值、字符、布爾值可以使用基本數據類型也可以使用引用類型。 **Kotlin則不區分基本類型和引用類型，統一都是引用類型**。為了表示數值、字符、布爾值、數組、集合等，Kotlin幫我們定義了很多類型。我們**也可以稱幫我們定義好的這些類型為“內置類型”**。 * 我們也可以把數值、字符、布爾值這些相對基礎、簡單的類型稱為“基本內置類型”。 * 把數組、集合此類相對復雜的類型稱為“復雜內置類型”。