附录 A:关键字

下面的列表包含了为当前或未来保留的Cairo 语言的关键字。

有两个关键字类别:

  • 严格(strict)关键字
  • 保留(reserved)关键字

还有第三类,是来自核心库的函数。虽然它们并不是保留关键字,但以遵循惯例不建议将其用作任何项的标识符。


严格关键字

这些关键词只能在其应该被使用的上下文中使用。 因此,这些关键字不能被用作标识符。

  • as - 重命名导入
  • break - 立即退出一个循环
  • const - 定义常量项
  • continue - 继续进行下一个循环迭代
  • else - ifif let控制流结构的 fallback
  • enum - 定义一个枚举项
  • extern - 于编译器层级使用此声明来表示此函数可使用Cairo1等级的hint
  • false - 布尔字面值假
  • fn - 定义一个函数
  • if - 基于条件表达式的结果分支
  • impl - 实现自有或 ‘trait’ 功能
  • implicits - 执行某些动作所需的特殊类型的函数参数
  • let - 绑定一个变量
  • loop -无条件地循环
  • match - 模式匹配
  • mod - 定义一个模块
  • mut - 表示变量的可变性
  • nopanic - 用这个符号标记的函数意味着该函数永远不会panic
  • of - 实现trait
  • ref- 通过引用绑定
  • return - 从函数返回
  • struct - 定义一个结构体
  • trait - 定义一个trait
  • true - 布尔字面值真
  • type - 定义一个类型的别名
  • use - 引入外部空间的符号

保留关键字

这些关键字还没有被使用,但它们被保留下来供将来使用。 它们与严格关键字有同样的限制。 禁止使用这些关键字的原因是为了可以使现在的程序向前兼容新版本的Cairo语言。

  • Self
  • assert
  • do
  • dyn
  • for
  • hint
  • in
  • macro
  • move
  • pub
  • static_assert
  • self
  • static
  • super
  • try
  • typeof
  • unsafe
  • where
  • while
  • with
  • yield

内置函数

Cairo编程语言提供了���个具有特殊用途的函数。我们不会在本书中介绍所有这些函数,但不建议使用这些函数的名称作为任何项的标识符。

-assert - 这个函数检查一个布尔表达式,如果它的值是假的,就会触发panic函数。 -panic - 这个函数终止程序。

Last change: 2023-09-18, commit: e5dde81