Move语言 常量

Move 支持模块或脚本级常量。常量一旦定义，就无法更改，所以可以使用常量为特定模块或脚本定义一些不变量，例如角色、标识符等。

常量可以定义为基本类型（比如整数，布尔值和地址），也可以定义为数组。我们可以通过名称访问常量，但是要注意，常量对于定义它们的脚本或模块来说是本地可见的。

我们无法从模块外部访问模块内部定义的常量

script {
    use 0x1::Debug;

    const RECEIVER : address = 0x999;

    fun main(account: &signer) {
        Debug::print<address>(&RECEIVER);

        // they can also be assigned to a variable

        let _ = RECEIVER;

        // but this code leads to compile error
        // RECEIVER = 0x800;
    }
}

一些用法:

module M {
    const MAX : u64 = 100;

    // however you can pass constant outside using a function
    public fun get_max(): u64 {
        MAX
    }

    // or using
    public fun is_max(num: u64): bool {
        num == MAX
    }
}

使用常量时应该注意:

1. 一旦定义，常量是不可更改的。
2. 常量在模块或脚本中是本地可见的，不能在外部使用。
3. 可以将常量定义为一个表达式（带有花括号），但是此表达式的语法非常有限。

模块是发布在特定地址下的打包在一起的一组函数和结构体。前几章里，我们已经使用了脚本，脚本需要与已发布的模块或标准库一起运行，而标准库本身就是在 0x1 地址下发布的一组模块。模块在发布者的地址下发布。标准库在 0x1 地 ...