Tact 语言基础 | 合约

riyad

Tact 中的合约类似于流行的面向对象语言中的类，只是它们的实例部署在区块链上，不能像 结构和信息 那样被传递。
) ~& y( ?8 u4 R. a0 a8 }$ V
自引用
1 _& k2 M- l' m) Q# [合约和trait有一个内置的标识符 self，用于引用它们的字段（持久状态变量和常量）和方法（内部函数）：
+ ~0 S" C+ y8 o: ]) v) H9 w# i

1. contract Example {
   
2.     // persistent state variables
   1 M2 ^  f( W8 M! u/ N6 w
3.     foo: Int;
   2 |( X7 G! u" c* F9 P+ D) s
4. 
   
5.     init() {
   2 c0 e' H" Q1 W( h! ?
6.         self.foo = 42; // <- referencing variable foo through self.
   6 F) f$ U' N5 f6 P* z2 e* l
7.     }
   
8. }

复制代码

结构
4 x% _/ e5 \7 K( n1 r( b, E每份合约可包括:

• 可继承trait
• 支持的接口
• 持久状态变量
• 构造函数 init()
• 合约常量
• Getter 函数
• Receiver 功能
• 内部功能
  

% u) n2 Z# h! X: T" T
继承trait， with
* P! D" Y' t5 V" d
& b2 |/ V; V  X$ |/ `合约可以继承traits的所有声明和定义，并覆盖它们的某些默认行为。 除此之外，每个合约和trait都隐式继承了特殊的BaseTrait trait。
/ B! f7 a; Q) m) {- C) \% E
& e: N0 D8 V& o要继承trait，请在合约声明中的关键字with后指定其名称。 要同时继承多个性状，请在逗号分隔的列表中指定它们的名称，并在后面加上逗号。


/ c0 j+ o3 L3 _' i

1. trait InheritMe {}
   , r+ C8 b$ |" j1 f, ]* n
2. trait InheritMeToo {}
   / H7 j' t# u  g$ n) l  `3 S
3. 
   . h3 L: ], S, x3 u4 f+ e) a
4. // A contract inheriting a single trait
   
5. contract Single with InheritMe {}
   6 `1 T$ t6 A6 _
6. 
   
7. // A contract inheriting multiple traits
   , f; P* {( l% a3 i- a7 \$ t
8. contract Plural with
   0 w  p! t, h2 ?( f. Z4 P
9.     InheritMe,
   1 ~( V! J7 H8 x5 P& H2 J/ F
10.     InheritMeToo, // trailing comma is allowed
    " z) K% \; V- a5 M' }
11. {}

复制代码

3 O# H6 e) q- X. \, Q% ?, \
由于traits不允许有init()函数，因此继承了声明了任何持久状态变量的trait的合约必须通过提供自己的init()函数来初始化这些变量。

1. trait Supe { omelander: Bool }
   2 Y3 x/ M* f+ J2 d+ L; u
2. 
     W+ V1 M% [) u% [" V' H
3. contract Vot with Supe {
   
4.     init() {
   6 W4 h) K& g7 ]. P9 h
5.         self.omelander = true;
   - k! u+ ~# g5 {( f# M" i
6.     }
   1 D  B/ M) ?; C; |& v5 b7 ~
7. }

复制代码

如果在trait中声明或定义了内部函数和常量，则可将其标记为虚拟或抽象，并在从trait继承的合约中重写。
) e4 W: o/ J' p7 h% x

& `1 m+ \3 W5 H9 ~- d7 g支持的接口，@interface(…)
' N/ k7 {! k9 `6 w: g如果不查看源代码，就很难弄清一个合约是做什么的，有哪些receiver和getter。 有时，无法获得或无法访问源代码，剩下的办法就是尝试拆解合约，并以这种方式对其进行回推，这是一种非常混乱且容易出错的方法，其收益会递减，而且没有真正的可重复性。

9 |! w4 V  |9 n! |; |& c为了解决这个问题，创建了 OTP-001：支持的接口。 据此，Tact 合约可以报告 支持的接口列表，作为特殊的 supported_interfaces getter 的返回值。 该getter可以通过任何TON区块链浏览器在链下访问——只需指定supported_interfaces作为执行的方法，返回一个十六进制值的列表。

% X5 U# v1 i% r  ?1 `6 t6 K
+ h$ e7 A& j0 X要声明支持某个接口，可在 contract 和trait声明之前添加一个或多个@interface("…")属性：
( |- Y. I3 P& P9 R0 i

1. @interface("His name is")
   9 Y. d" t" N2 a( }* ^% R
2. @interface("John")
   
3. contract SeeNah with Misc {
   
4.     // ...
   # M: |( ^4 `$ F6 g$ z
5. }
   / r4 i3 }8 F, [% j& l, L' ]
6. 
   
7. @interface("name_of_your_org - miscellaneous")
   
8. trait Misc {
   
9.     // ...
   
10. }

复制代码

9 c* ?' u, b% C; V2 w0 w2 i  l
; J$ z$ I& H  w: d, X) ~5 s

标准库中的一些traits也定义了它们的接口：

* }% i) Q, a) x& G# V3 `0 {7 [

• Ownable trait 指定"org.ton.ownable"
• OwnableTransferable trait 指定"org.ton.ownable.transferable.v2"
• Stoppable trait 指定"org.ton.stoppable"
• Resumable trait 指定"org.ton.resumable"
  2 o4 X( V- e' y1 e

4 P6 D1 @" o5 f! ^' q  N9 z8 ~5 D要启用 supported_interfaces getter 生成并在 Tact 合约中使用 @interface() 属性，请修改项目根目录下的 tact.config.json 文件（如果该文件不存在，则创建该文件），并 将 interfacesGetter 属性设置为 true。

6 U  e/ P2 n" T) a6 m( r. R1 j如果您的项目基于 Blueprint，您可以在合约的编译配置中启用supported_interfaces，这些配置位于名为wrappers/的目录中：
  Y6 P, i2 c9 [: Z
- _( O; U+ M9 W& y( m  n

1. import { CompilerConfig } from '@ton/blueprint';
   . p6 m$ |# e2 z: l# x. M
2. 
   
3. export const compile: CompilerConfig = {
   8 a6 q4 n2 ~1 i
4.   lang: 'tact',
   , w5 g# J# D7 q2 @8 i* C2 {# g  }) i
5.   target: 'contracts/your_contract_name.tact',
   
6.   options: {
   
7.     interfacesGetter: true, // ← that's the stuff!
   $ s; k& i  l7 [2 W/ z- c, p6 q, ?( \
8.   }
   ' S" l, |0 ]7 _$ Q6 o5 R$ ^) c
9. };

复制代码

除此之外，tact.config.json 仍然可以用于 Blueprint 项目。 除此之外，Blueprint 项目中仍可使用 tact.config.json。 在这种情况下，除非在 wrappers/ 中进行修改，否则 tact.config.json中指定的值将作为默认值。
# [/ Z- E, I/ p

注意

如果你有 separateCompilables 选项设置为 true 在 blueprint.config.ts，然后.compile.ts文件将位于compilables/目录中，不位于wrapper/。

警告
2 j0 f3 Z! o( F0 V: A6 ~
0 e' |/ y/ E" [1 m: t请注意，添加接口并不能保证合约实际实现任何特定功能，也不能保证以任何特定方式实现这些功能。 这只是一种可验证的链外承诺，即合约中可能包含某些特定代码。 您应该相信但要核实这些说法。
. t8 v, Q; |! T  Q
此外，不同接口之间也不能保证不会发生名称冲突，尽管这种情况不太可能发生，因为即使是 SHA-256 的前 128 位也能提供足够的抗碰撞性。

4 ]( n# Q( h, U2 }
2 y+ {2 X5 k* b
持久状态变量
" z1 u( O6 t: v5 G  @! N& K+ x- W合约可以定义在合约调用之间持续存在的状态变量。 合约可以定义在合约调用之间持续存在的状态变量。 TON 中的合约支付租金 与它们消耗的持久空间成正比，因此鼓励通过序列化进行紧凑表示。
& Z' V% J3 v3 F0 }( K

+ k0 \9 I1 Q% V- ~

1. contract Example {
   
2.     // persistent state variables
   
3.     val: Int;              // Int
   
4.     val32: Int as uint32;  // Int serialized to an 32-bit unsigned
   
5.     mapVal: map<Int, Int>; // Int keys to Int values
   
6.     optVal: Int?;          // Int or null
   
7. }

复制代码

状态变量必须有默认值或在 init() 函数中初始化，该函数在部署合约时运行。 唯一的例外是 map<K, V> 类型的持久状态变量，因为它们默认初始化为空。

! J) g' ?- x4 x) O
. F( A* `. p/ N注意
2 n1 n- M. a( x
请注意，Tact 也支持非持续状态的局部变量，请参阅：变量声明。
( O2 f3 g& p8 D3 Q% v: n, v