Kotlin 是強類型的語言，Kotlin 要求所有的變量必須先聲明、後使用，聲明變量時必須顯示或隱式指定變量的類型（隱式的是指，聲明的時候同時初始化，這樣編譯的時候就可以推斷出該變量的類型了，Java 新版本也加了 var 關鍵字）。

聲明變量使用 var、val 關鍵字，如下：

var | val 變量名 [:類型] [= 初始值]

　和 Java 的不同之處是，變量類型寫在變量名後面了，和 go 語言類似。

關鍵字有兩個：

1、var：聲明一個可變變量

2、val：聲明一個不可變變量（這裏的不可變只是指只能賦值一次，這個賦值的過程可以發生在變量聲明的時候，或者聲明之後，賦值之後就不能再修改其值）

在上面的語法中，要麽通過 ":類型" 的形式顯示指定該變量的類型，要麽為該變量指定初始值 -- Kotlin 編譯器將會根據該初始值確定變量的類型，不能聲明變量時既不指定變量類型，也不指定初始值。

但是我們也可以同時指定類型和指定初始值，但是這時候的變量類型必須要和初始化類型推斷的類型一樣。

例子：

fun main(args: Array<String>) {
    // 聲明變量時同時指定類型和初始值
    var a :Int = 5
    val a1 :Int = 5
    
    // 聲明變量指定類型，不指定初始值
    var b :Int
    b = 6
    val b1: Int
    b1 = 6
    // b1 = 8 // 錯誤，val 變量不能重復賦值
    
    // 聲明類型不指定類型，類型由類型推斷得出
    var c = 7
    val c1 = 7
}

使用 val 聲明的不可變變量其實相當於常量，這意味著它的值一旦被初始化之後，將不可以被重新賦值。根據產量所在的位置不同，Kotlin 的常量分為兩種。

1、局部範圍的常量：這種常量允許在聲明時不指定初始值，只要在第一次使用之前指定初始值即可。

2、類的常量屬性：這種常量屬性既可以在聲明時指定初始值，也可以在類或結構體的構造器中指定初始值。

需要指出的是，由於 Kotlin 程序編譯的字節碼必須遵守 JVM 規範，因此，如果直接在 Kotlin 程序中定義變量、函數，kotlinc 將會自動生成一個名為 “文件名首字母大寫+Kt” 的類，並將變量轉換為該類的靜態的 getter、setter 方法（其中 val 聲明的只有 getter 方法），函數則轉換為該類的靜態方法。

還有一點需要說明的是，由於 kotlinc 會為包含函數、變量的 Kotlin 程序生成額外的類，這就要求不能在該包下重復定義同名的類。例如，我們定義了一個名為 liang.kt 的Kotlin 程序，且該程序中包含了函數或變量，那麽 kotlinc 會自動生成 LiangKt 類，因此就不能在該包下重復定義 LiangKt 類。

整型

與 Java 類似，Kotlin 也提供了 4 種整型。

Byte：占 8 位內存，範圍 -128~127。兼容 Java 的 byte 和 Byte 類型。

Short：占 16 位內存，範圍 -32768~32767。兼容 Java 的 short 和 Short 類型。

Int：占 32 位內存，範圍 -2147483648~2147483647。兼容 Java 的 int 和 Integer 類型。

Long：占 64 位內存，範圍 -2⁶³~2⁶³-1。兼容 Java 的 long 和 Long 類型。

由於 Int 型是 Kotlin 最常用的整數類型，因此，如果聲明一個常量或變量時沒有指定數據類型，只是簡單地指定了其初始值為整型，那麽 Kotlin 會自動判斷該變量的類型為 Int。

Kotlin 的整型與 Java 不同，Kotlin 的整型不是基本類型，而是引用類型（大致相當於 Java 的包裝類），Byte、Short、Int、Long 都繼承了 Number 類型，因此它們都可調用方法、訪問屬性。

有一點需要提前說明的是，Kotlin 是 null 安全的語言，因此 Byte、Short、Int、Long 類型變量都不能接受 null 值，如果要存儲 null 值，則應該使用 Byte?、Short?、Int?、Long? 類型。如：

// Int 類型變量不支持 null 值，所以下面的代碼是錯誤的
var notNull: Int = null
// Int? 相當於支持 null 值的 Int 型，所以下面代碼是正確的
var nullable: Int? = null

由此可見，Kotlin 語言允許在已有數據類型後面添加“?”，添加 “?” 後的數據類型相當於對原有類型進行了擴展，帶 “?” 的數據類型可支持被賦予 null 值。

此外，整數類型添加 “?” 後綴與不添加還有一個區別 -- 普通類型的整型變量將會被映射成 Java 的基本類型；帶 “?” 後綴的整型變量將會映射成基本類型的包裝類。如；

var pm1: Int = 200 // pm1 的類型是 Java 的 int 類型
var pm2: Int = 200 // pm2 的類型是 Java 的 int 類型
println(pm1 === pm2) // 基本類型比較，輸出 true

var obj1: Int? = 200 // pm1 的類型是 Java 的 Integer 類型
var obj2: Int? = 200 // pm2 的類型是 Java 的 Integer 類型
println(obj1 === obj2) // 引用類型比較，輸出 false

Kotlin 整數數值三種表示方式：

1、十進制

2、二進制：以 0b 或 0B 開頭的整數數值就是二進制的整數

3、十六進制：以 0x 或 0X 開頭的整數數值就是十六進制的整數

浮點型

Kotlin 的浮點型有兩種

1、Float：表示 32 位的浮點型，當精度要求不高時可以使用此種類型

2、Double：表示 64 位的雙精度浮點型，當程序要求存儲很大或者精度很高的浮點數時使用這種類型。

Kotlin 的浮點數有兩種表示形式。

十進制數形式：這種形式就是簡單的浮點數，例如 5.12、3.2 等。浮點數必須包含一個小數點，否則會被當成整型類型處理

科學計數形式：例如 5.12e2、5.12E2 等。

需要指出的是，只有浮點型的數值才可以使用科學計數形式表示。

如果聲明一個常量或變量沒有指定數據類型，只是指定其初始值為浮點數，那麽 Kotlin 會自動判斷該變量的類型為 Double。

除此之外，Kotlin 還提供了 3 個特殊的浮點型數值：正無窮大、負無窮大 和 非數。例如，使用一個正數除以 0.0 將得到正無窮大數值，使用一個負數除以 0.0 將得到負無窮大數值， 0.0 除以 0.0 或 對負數開方將得到一個非數。

需要指出的是，所有的正無窮大數值都相等，所有的負無窮大數值都相等；而非數不與任何數值相等，甚至和非數自己都不相等。

kotlin 變量聲明