仓颉编程语言基础-基本数据类型—Unit 类型
Unit 类型是仓颉语言类型系统的重要组成部分，它帮助开发者明确区分有副作用的操作和纯计算操作，增强代码的可读性和安全性。
核心概念
- 定位：专门用于处理只关心副作用、不关心返回值的表达式
- 字面量：只有一个值 ()
- 典型场景：打印操作（如 print()）、赋值表达式（a = 5）、复合赋值（a += 1）、自增/自减（i++）、循环语句（while/for）
关键特性
- 有限操作支持：仅支持判等（==）和判不等（!=）、不支持其他算术或逻辑运算
- 类型系统意义：明确区分有返回值和无返回值的操作、避免误用无返回值表达式、作为函数默认返回类型（当函数无显式返回时）
与其他类型对比
特性 | Unit 类型 | Nothing 类型 | 常规类型（如 Int） |
值域 | 单值 () | 无值（永不返回） | 多个可能值 |
使用场景 | 副作用操作 | 程序终止/异常 | 正常数据处理 |
操作支持 | 仅判等操作 | 无操作支持 | 完整操作集 |
典型代码示例
// 函数返回 Unit
func logMessage(msg: String) -> Unit {
print("[LOG] " + msg)
// 隐式返回 ()
}
// 赋值表达式返回 Unit
let result = (count = 10) // result 的类型是 Unit
// Unit 值比较
if result == () {
print("赋值成功") // 会执行此处
}