Kotlin - 常量与变量

Posted 2022-09-15 GitLqr

常量

Kotlin 中的常量使用 val 修改，一旦定义值后"不可再修改"，常量类型分 2 种：

• 运行时常量(val)：编译期不能确定它的值，代码中会保留变量对它的引用。
• 编译期常量(const val)：编译期就知道值，并且会把代码中所有对它的引用都替换成它的值。

下面我们来举例看看，这两者在代码层面上的区别到底是什么。

运行时常量(val)

这是一段很简单的 Kotlin 代码，先定义一个常量 FINAL_NAME，再定义一个变量 myName 引用常量 FINAL_NAME：

val FINAL_NAME: String = "lqr"
var myName = FINAL_NAME

通过 IDEA 自带的 Show Kotlin Bytecode 工具将 Kotlin 代码转换成二进制，再反编译成 Java 代码：

@NotNull
private static final String FINAL_NAME = "lqr";
@NotNull
private static String myName;
...
static 
    myName = FINAL_NAME;

结论：Kotlin 中变量对 val常量 的引用，会转变成 java 语言在 static 代码块中的赋值语句，即变量在编译期只保留了 val常量 的引用。

Show Kotlin Bytecode 工具所在路径：Tools -> Kotlin -> Show Kotlin Bytecode

编译期常量(const val)

跟上面一样，先定义一个常量 FINAL_CONST_NAME，再定义一个变量 myConstName 引用常量 FINAL_CONST_NAME：

const val FINAL_CONST_NAME: String = "lqr"
var myConstName = FINAL_CONST_NAME

通过 IDEA 自带的 Show Kotlin Bytecode 工具将 Kotlin 代码转换成二进制，再反编译成 Java 代码：

@NotNull
public static final String FINAL_CONST_NAME = "lqr";
@NotNull
private static String myConstName = "lqr";

结论：Kotlin 中变量对 const val常量 的引用，会转变成直接赋值语句，即编译期会把代码中所有对 const val常量 的引用都替换成它的值。

Kotlin 中 val常量 仅仅只是类似 Java 中的 final 常量而已，而 const val 常量，才是真正对应 Java 中的 final 常量。因为 Java 中的 final 常量是编译期常量。

变量

与常量不同，变量是后续可修改的，Kotlin 中使用 var 定义：

var myName: String = "lqr"
myName = "吴彦祖"

那如果对 val常量 再执行赋值操作会怎样呢？

val FINAL_NAME: String = "lqr"
FINAL_NAME = "吴彦祖" // 报错：Val cannot be reassigned

val常量 如此，const val常量 也是一样的，就不多废话了。

类型推导

Kotlin 支持类型推导，当常量或变量在定义并且赋值时，Kotlin 就已经明确了该常量或变量的类型，于是常量或变量的类型可省略：

val string = "Hello" // 推导出 String 类型
val int = 5 // Int 类型
var x = getString() + 5 // String 类型

注意：Kotlin 是支持类型推导的强类型语言，不同于 python、js 中的动态类型，Kotlin 中一旦确定了变量类型，后续将不可修改。