kotlin为什么变量声明

Question

如题所述

Answer 1

Kotlin 是强类型的语言，Kotlin 要求所有的变量必须先声明、后使用，声明变量时必须显示或隐式指定变量的类型（隐式的是指，声明的时候同时初始化，这样编译的时候就可以推断出该变量的类型了，Java 新版本也加了 var 关键字）。

声明变量使用 var、val 关键字，如下：

1

var | val 变量名 [:类型] [= 初始值]

和 Java 的不同之处是，变量类型写在变量名后面了，和 go 语言类似。

关键字有两个：
1、var：声明一个可变变量
2、val：声明一个不可变变量（这里的不可变只是指只能赋值一次，这个赋值的过程可以发生在变量声明的时候，或者声明之后，赋值之后就不能再修改其值）

在上面的语法中，要么通过 ":类型" 的形式显示指定该变量的类型，要么为该变量指定初始值 -- Kotlin 编译器将会根据该初始值确定变量的类型，不能声明变量时既不指定变量类型，也不指定初始值。
但是我们也可以同时指定类型和指定初始值，但是这时候的变量类型必须要和初始化类型推断的类型一样。

例子：

12345678910111213141516

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 类。