Tact 语言基础 | 类型系统概述

riyad

Tact 程序中的每个变量、项目和值都有一个类型。 它们可以是

• 原始类型 之一
• 或 复合类型
  + Z. R) o" \9 s& B' k) I5 f- p

此外，这些类型中的许多类型可以变为空值。
) @; T2 h. l5 Y' T/ t$ T( |# H
原始类型
Tact 支持许多专为智能合约定制的原始数据类型：
( s5 z% z4 m- m4 M! n& B

• Int — Tact 中的所有数字都是 257 位有符号整数，但可以使用较小的表示方法来减少存储成本。
• Bool — 经典布尔类型，具有 true 和 false 值。
• Address — TON 区块链中的标准智能合约地址。
• Cell、Builder、Slice — TVM 的底层基元。
• String — 不可变的文本字符串。
• StringBuilder — 辅助类型，允许以节省 gas 的方式连接字符串。
  2 i6 ]0 a- O' `- B- x, N: w' y

1 a: L0 w/ _& K8 i. g/ I
# l; I. |' l& h0 W$ V; u
布尔值
: n- Y+ w2 m+ p2 @
原始类型 Bool 是经典的布尔类型，只能容纳两个值：true 和 false。它便于布尔和逻辑运算，也便于存储标志。 它便于布尔和逻辑运算，也便于存储标志。
$ T) I. G( {% Q0 o/ Y* ]/ W
6 B# E! G2 ?& e, aTact 中没有隐式类型转换，因此两个布尔值的加法（+）是不可能的。这里有许多比较运算符，例如： 这里有许多比较运算符，例如：

• && 为 logical AND
• || 为 logical OR
• ! 为 logical inversion
• == 和 != 用于检查相等
• ! 表示非空断言
  

5 S4 G/ \- F# b9 q* H, }将布尔值持久化到状态中非常节省空间，因为它们只占用1位。 在状态中存储 1000 个布尔值每年大约花费
0.00072
: o7 c: K& L: H0.00072 TON。


+ S0 a8 u$ J# M4 B0 p
复合类型
使用单独的存储手段往往会变得繁琐，因此有办法将多个原始类型组合在一起，创建复合类型：

4 @. x0 y/ M% B5 N
$ e" c5 _8 j: b8 {  k0 Y3 Z

• Maps - 键与值的关联。
• 复合类型，如结构体和消息
• 可选项 - 结构体和消息变量或字段的null值。
  . v* B% y9 f  o

& C, E! W0 m' o  Y

! d  y' `: J4 |  @, P8 k
/ R5 N# ^3 P/ b  X5 i除上述复合类型外，Tact 还提供了一种特殊的类型构造函数bounced<T>，它只能在回退消息接收器(bounced message receivers)中指定。
* ]: n; D7 o: D
请注意，虽然合约和trait也被视为Tact类型系统的一部分，但我们不能像结构体和消息那样传递它们。 相反，我们可以使用 initOf表达式来获取给定合约的初始状态。

2 N% J/ p2 q; j. ?8 b
Maps
类型map<K, V>用于将类型K的键与类型V的相应值关联起来。
6 o$ z' ?6 L% l" @7 t
示例map<K, V>

1. let mapExample: map<Int, Int> = emptyMap(); // empty map with Int keys and values

复制代码

! F4 ~  s( S5 v* a! E8 k
( C0 S4 K& o& v8 E9 H) }结构和消息
& p2 V' N7 I0 h  _# X( Z2 T# J7 p6 H结构和消息是将多个原始类型组合成复合类型的两种主要方式。

Struct 示例：
6 A& Q" B4 {4 u% }1 h

1. struct Point {
   
2.     x: Int;
   . i; ]- P- h$ j0 v" w
3.     y: Int;
   
4. }

复制代码

Message 示例：

1. // Custom numeric id of the Message
   : \" X# m$ d, w( C) L
2. message(0x11111111) SetValue {
   / M8 U9 a7 O3 S# _
3.     key: Int;
   
4.     value: Int?; // Optional, Int or null
   
5.     coins: Int as coins; // Serialization into TL-B types
   % p7 T2 h5 o% h
6. }

复制代码

1. let opt: Int? = null; // Int or null, with explicitly assigned null

复制代码

在专门页面了解更多信息：可选项。
, j% F2 r- l. L3 D/ s
, i, F, G  h$ j( N5 }/ u7 v# M8 p
* T- R" s1 T& V合约
2 }( Y0 `2 O3 ~" ~TON区块链上的合约在Tact中作为智能合约的主要入口。 它包含了一个TON合约的所有functions、getters和receivers等多种内容。

3 o; O4 ^# u' z. _$ M! o合约示例：

; F4 i' {; U" K1 [2 u  k4 K% b' B

1. contract HelloWorld {
   
2.     // Persistent state variable
   6 i' D5 ], j2 w1 x: X' x# j1 h( s
3.     counter: Int;
   1 z+ x& ?5 S3 M. y8 g5 m
4. 
   
5.     // Constructor function init(), where all the variables are initialized
     k1 q7 R; B/ ], O9 s$ R- m
6.     init() {
   1 v& K1 |* \; O, i# u
7.         self.counter = 0;
   - N+ q/ u5 C5 H* R
8.     }
   
9. 
   
10.     // Internal message receiver, which responds to a string message "increment"
    
11.     receive("increment") {
    
12.         self.counter += 1;
    
13.     }
    
14. 
    
15.     // Getter function with return type Int
    
16.     get fun counter(): Int {
    - x7 N4 K/ Y8 i+ T
17.         return self.counter;
    
18.     }
    
19. }

复制代码

1. trait Ownable {
   1 j$ N* A- z6 W' i# h
2.     // Persistent state variable, which cannot be initialized in the trait
   
3.     owner: Address;
   
4. 
   
5.     // Internal function
   
6.     fun requireOwner() {
   
7.         throwUnless(132, context().sender == self.owner);
   
8.     }
   + b6 l( r0 n/ P
9. 
   
10.     // Getter function with return type Address
    . Q. L& m. X4 ^
11.     get fun owner(): Address {
    
12.         return self.owner;
    
13.     }
    
14. }

复制代码

' \! u& U* Y3 W# w
3 `8 w: @. s" t0 c1 d: N( p& `