Skip to content
🎉 Welcome to the new Aptos Docs! Click here to submit an issue.

常量

常量是为模块脚本中的共享静态值命名的一种方式。

常量的值必须在编译时确定。常量的值会被存储在编译后的模块或脚本中。每次使用常量时,都会创建该值的一个新副本。

声明

常量声明以const关键字开头,后跟名称、类型和值。它们可以存在于脚本或模块中。

const <名称>: <类型> = <表达式>;

例如

script {
  const MY_ERROR_CODE: u64 = 0;
 
  fun main(input: u64) {
    assert!(input > 0, MY_ERROR_CODE);
  }
}
 
module 0x42::example {
  const MY_ADDRESS: address = @0x42;
 
  public fun permissioned(s: &signer) {
    assert!(std::signer::address_of(s) == MY_ADDRESS, 0);
  }
}

命名规则

常量必须以大写字母AZ开头。首字母之后,常量名称可以包含下划线_、小写字母az、大写字母AZ或数字09

script {
  const FLAG: bool = false;
  const MY_ERROR_CODE: u64 = 0;
  const ADDRESS_42: address = @0x42;
}

虽然常量中可以使用小写字母az,但根据通用风格指南,建议只使用大写字母AZ,单词之间用下划线_分隔。

这种以AZ开头的命名限制是为了给未来的语言特性留出空间,后续可能会也可能不会移除该限制。

可见性

目前不支持public常量。const值只能在声明它的模块中使用。

有效表达式

目前常量仅限于基本类型:boolu8u16u32u64u128u256addressvector<u8>。未来将会支持其他vector值(除了”字符串”风格的字面量)。

通常,const会被赋予其类型的简单值或字面量。例如:

script {
  const MY_BOOL: bool = false;
  const MY_ADDRESS: address = @0x70DD;
  const BYTES: vector<u8> = b"hello world";
  const HEX_BYTES: vector<u8> = x"DEADBEEF";
}

复杂表达式

除了字面量外,只要编译器能够在编译时将表达式简化为值,常量也可以包含更复杂的表达式。

目前可以使用相等运算、所有布尔运算、所有位运算和所有算术运算。

script {
  const RULE: bool = true && false;
  const CAP: u64 = 10 * 100 + 1;
  const SHIFTY: u8 = {
    (1 << 1) * (1 << 2) * (1 << 3) * (1 << 4)
  };
  const HALF_MAX: u128 = 340282366920938463463374607431768211455 / 2;
  const REM: u256 = 57896044618658097711785492504343953926634992332820282019728792003956564819968 % 654321;
  const EQUAL: bool = 1 == 1;
}

如果操作导致运行时异常,编译器会报错表示无法生成常量的值。

script {
  const DIV_BY_ZERO: u64 = 1 / 0; // 错误!
  const SHIFT_BY_A_LOT: u64 = 1 << 100; // 错误!
  const NEGATIVE_U64: u64 = 0 - 1; // 错误!
}

请注意,目前常量不能引用其他常量。该功能以及对其他表达式的支持将在未来版本中添加。