Zilliqa官方文档（四）- Scilla合约架构

本系列文档翻译版权归FireStack团队所有，转载请注明来源。

Scilla合约架构

Scilla合约的一般结构如下代码所示。开头是引用纯数学函数的library的声明，例如计算两个比特数据的AND 布尔值，或计算某个自然数的阶乘。在库声明代码块后面，是使用contract声明的合约内容。合约有三个部分，第一部分声明合约的不可变参数，第二部分声明可变字段，第三部分为所有transition定义。

(* Scilla contract structure *)


(***************************************************)
(*               Associated library                *)
(***************************************************)

library MyContractLib


(* Library code block follows *)



(***************************************************)
(*             Contract definition                 *)
(***************************************************)

contract MyContract

(* Immutable fields declaration *)

(vname_1 : vtype_1,
 vname_2 : vtype_2)

(* Mutable fields declaration *)

field vname_1 : vtype_1 = init_val_1
field vname_2 : vtype_2 = init_val_2

(* Transitions *)


(* Transition signature *)
transition firstTransition (param_1 : type_1, param_2 : type_2)
  (* Transition body *)

 end

transition secondTransition (param_1: type_1)
  (* Transition body *)

end

不可变变量

不可变变量，或称为合约参数，在创建合约时就定义了值，并且不能被修改。合约中的不可变变量组需在合约开头的合约名称定义之后声明。

不可变变量声明格式如下：

(vname1 : type1,
 vname2 : type2,
  ...  )

每个声明都包含一个变量名（标识符）及其类型，用:分隔。多个变量声明用,分隔。变量的初始值在合约创建时就要指定。

可变变量

可变变量代表着合约的可变状态。它们也被称为字段。它们会在不可变变量之后声明，每个声明都以field为前缀。

field name1 : type1 = expr1
field name2 : type2 = expr2
...

这里的每个表达式都是相应字段的初始值。变量的定义在创建就完成了初始化。随着合约履行transition，这些字段的值会被修改。

转换（Transitions）

Transitions决定了合约状态的变化。这些是使用transition定义的，后面写要传递的名称和参数，以end结尾。

transition foo (name1 : type1, name2 : type2, ...)
  ...
end

name : type指定参数名和类型，多个参数时用,分隔。除了显式声明的参数之外，还可以使用以下transition隐式参数。

_sender : Address ：触发此transition的帐户（消息发送人）。
_amount : Uint128：入库金额（ZILs）。必须使用accept语句明确接收过程。如果transition没有执行，则不会执行accept。

表达式（Expressions）

表达式处理纯操作。Scilla中支持的表达式是：

let x = f in e ：在表达式e中给出名称x。这里e与f的结合是局部的，因此限于e。下面的示例将表达式builitin add one Int32 5中的one绑定为1 ，它将5添加到1，因此计算结果为6。
```
let one = 1 in builtin add one Int32 5
```
let x = f：在合约中注明 f名称x。xto 的绑定 f是全局的，并延伸到合约的末尾。请注意缺失in，这意味着绑定适用于整个合约而不是特定表达式。以下代码片段定义了一个常量，one其值1贯穿整个契约。
```
let one = 1
```
{<entry> _1; <entry> _2 ...}：消息表达式（请参阅下面的Message类型），其中每个条目具有以下形式：b:x。这里b是标识符，x是变量，其值绑定到消息中的标识符。以下代码定义了一个带有四个条目_tag，_recipient，_amount和code的msg。
```
msg = { _tag : "Main"; _recipient : sender; _amount : Uint128 0; code : Uint32 0 };
```
fun (x : T) => e：一个接受x类型输入T并返回表达式e求值的值的函数。
tfun T => e：一种类型函数，它T作为参数类型并返回表达式e求值的值。有关Pair示例，请参阅下面的部分。
@x T：x使用类型实例化变量T。
f x：应用f上x。
builtin f x：应用builtin功能f上x。
matchexpression：将绑定变量与模式匹配并执行该子句中的语句。该match表达式类似于matchOCaml中的表达式。要匹配的模式可以是变量绑定，ADT构造函数（请参阅ADT）或通配符_以匹配任何内容。

match x with
| pattern1 =>
   statements ...
| pattern2 =>
   statements ...
end

声明（Statements）

Scilla中的声明是实际生效的操作，即这些操作不是纯数学意义上的。此类操作包括从可变智能合约变量读取或向其写入。

x <- f：x从可变字段f读取值。
f := x：可变字段f的值更新为 x。

还可以从区块链状态中读取。区块链状态由与区块相关联的某些值组成，如BLOCKNUMBER。

x <- &B：x从区块链状态变量B读取值。

每当通过transition发送ZIL令牌时，转换必须明确接收这笔转账，可通过accept声明完成。

accept ：接收来款。

通信（Communication）

合约可以通过send声明与其他合约（或非合约）账户进行通信：

send ms：发送消息列表ms。