Tact 语言基础 | 合约

riyad

Tact 中的合约类似于流行的面向对象语言中的类，只是它们的实例部署在区块链上，不能像 结构和信息 那样被传递。
, J7 y' q! V, |
6 G! G/ X  L5 Y2 \+ v自引用
& ]$ {* N2 ]- z4 L& B0 O# s9 b& B8 q合约和trait有一个内置的标识符 self，用于引用它们的字段（持久状态变量和常量）和方法（内部函数）：
' f4 N* h& P* J' [7 Q

1. contract Example {
   # I8 |/ ^. E; l! F. F0 h" q
2.     // persistent state variables
   
3.     foo: Int;
   
4. 
   
5.     init() {
   
6.         self.foo = 42; // <- referencing variable foo through self.
   * h! |+ V! `/ R3 x$ S# A9 B3 l" y
7.     }
   5 e7 x' Z1 V& W
8. }

复制代码

结构
2 Q2 N& ^, [/ B3 @每份合约可包括:

• 可继承trait
• 支持的接口
• 持久状态变量
• 构造函数 init()
• 合约常量
• Getter 函数
• Receiver 功能
• 内部功能
  , n) s; H3 t! B/ z) A$ _5 [6 P

继承trait， with

, E# O# u  h  Q2 R8 i& Y合约可以继承traits的所有声明和定义，并覆盖它们的某些默认行为。 除此之外，每个合约和trait都隐式继承了特殊的BaseTrait trait。
' u5 j* L+ q) \( C" K4 v- f
- p6 y' X6 m& ^: n. _要继承trait，请在合约声明中的关键字with后指定其名称。 要同时继承多个性状，请在逗号分隔的列表中指定它们的名称，并在后面加上逗号。
) E3 @' [0 @/ \

7 Z& i1 g1 h( I( u8 g0 U1 U4 Q- r# a

1. trait InheritMe {}
   " c, d3 }9 T# h/ e
2. trait InheritMeToo {}
   
3. 
   ( N; i7 Z$ K" N" L1 T/ e* r- S
4. // A contract inheriting a single trait
   0 W2 n$ L2 z4 }' m' c5 U9 g7 U
5. contract Single with InheritMe {}
   
6. 
   
7. // A contract inheriting multiple traits
   
8. contract Plural with
   + S, F, v4 P" _1 q$ O
9.     InheritMe,
   1 ?' [' J1 u) K3 T/ t8 |" P
10.     InheritMeToo, // trailing comma is allowed
    # T1 l7 O/ N9 P) t" S! ]+ d1 \" V
11. {}

复制代码

由于traits不允许有init()函数，因此继承了声明了任何持久状态变量的trait的合约必须通过提供自己的init()函数来初始化这些变量。

9 V; R1 }, ?# O  e5 `- l

1. trait Supe { omelander: Bool }
   
2. 
   
3. contract Vot with Supe {
   
4.     init() {
   1 j9 H4 N. d* l/ K5 r6 u
5.         self.omelander = true;
   ( f+ Y2 Z2 e" r% N* @! F' Q: z
6.     }
   
7. }

复制代码

如果在trait中声明或定义了内部函数和常量，则可将其标记为虚拟或抽象，并在从trait继承的合约中重写。
8 \. L7 d9 F! o- d
1 t* R* k9 R, ]' k8 B
& J: d6 h4 Q1 E7 X- Y4 ?支持的接口，@interface(…)
, I8 v* w+ C( K) p* G如果不查看源代码，就很难弄清一个合约是做什么的，有哪些receiver和getter。 有时，无法获得或无法访问源代码，剩下的办法就是尝试拆解合约，并以这种方式对其进行回推，这是一种非常混乱且容易出错的方法，其收益会递减，而且没有真正的可重复性。

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


4 e! A' {8 _8 ]2 z5 Q要声明支持某个接口，可在 contract 和trait声明之前添加一个或多个@interface("…")属性：

1. @interface("His name is")
   
2. @interface("John")
   
3. contract SeeNah with Misc {
   
4.     // ...
   
5. }
   
6. 
   
7. @interface("name_of_your_org - miscellaneous")
   ' v2 F% E5 D1 s
8. trait Misc {
   ) \" y; o2 T* J: s  e% n
9.     // ...
   
10. }

复制代码

# V+ J% W* c( S6 R! a2 D
6 X  A: z- m8 V$ W9 d; `0 [

0 h6 `! K' Y& V5 n. Q标准库中的一些traits也定义了它们的接口：
2 ~6 H0 ^. `1 ?2 Y* L8 B
4 ~/ L  q0 H* e6 Z; e

• Ownable trait 指定"org.ton.ownable"
• OwnableTransferable trait 指定"org.ton.ownable.transferable.v2"
• Stoppable trait 指定"org.ton.stoppable"
• Resumable trait 指定"org.ton.resumable"
  

要启用 supported_interfaces getter 生成并在 Tact 合约中使用 @interface() 属性，请修改项目根目录下的 tact.config.json 文件（如果该文件不存在，则创建该文件），并 将 interfacesGetter 属性设置为 true。

如果您的项目基于 Blueprint，您可以在合约的编译配置中启用supported_interfaces，这些配置位于名为wrappers/的目录中：

5 R( c! z' E# I- u' L

1. import { CompilerConfig } from '@ton/blueprint';
   
2. 
   
3. export const compile: CompilerConfig = {
   
4.   lang: 'tact',
   
5.   target: 'contracts/your_contract_name.tact',
   
6.   options: {
   3 E. s7 T: P3 ^; R- m) H
7.     interfacesGetter: true, // ← that's the stuff!
   
8.   }
   $ A- Q3 N- K9 [  e6 T# r
9. };

复制代码

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

: @3 ~" C. f) x
$ L  }3 i6 J4 Q注意

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

警告

8 c' Z$ n3 |* j5 S6 c& u请注意，添加接口并不能保证合约实际实现任何特定功能，也不能保证以任何特定方式实现这些功能。 这只是一种可验证的链外承诺，即合约中可能包含某些特定代码。 您应该相信但要核实这些说法。

! `5 A8 X. E1 X% Q* u1 x0 c8 ~此外，不同接口之间也不能保证不会发生名称冲突，尽管这种情况不太可能发生，因为即使是 SHA-256 的前 128 位也能提供足够的抗碰撞性。


; |- m5 N+ I" q; h
持久状态变量
8 N: J( j. r! b% w5 }* ]合约可以定义在合约调用之间持续存在的状态变量。 合约可以定义在合约调用之间持续存在的状态变量。 TON 中的合约支付租金 与它们消耗的持久空间成正比，因此鼓励通过序列化进行紧凑表示。

8 H! W6 i$ Z  d) b

1. contract Example {
   
2.     // persistent state variables
   
3.     val: Int;              // Int
   
4.     val32: Int as uint32;  // Int serialized to an 32-bit unsigned
   9 b% g6 `% z! B6 Y
5.     mapVal: map<Int, Int>; // Int keys to Int values
   
6.     optVal: Int?;          // Int or null
   6 F# T2 ~, h6 F1 X$ t& h
7. }

复制代码

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

注意

请注意，Tact 也支持非持续状态的局部变量，请参阅：变量声明。
+ h" S1 j+ Y9 u5 v3 n" ^, K