华为仓颉编程语言的表达式的特点
华为仓颉编程语言的表达式的特点
表达式的范围不再局限于传统算术运算，而是扩展到条件表达式、循环表达式等多种类型，每种表达式均有确定的类型和值，编译时严格检查数据类型以避免错误。
仓颉（Cangjie）作为一门融合了现代编程语言设计理念的语言，确实弱化了传统 “语句” 与 “表达式” 的界限：
• 条件分支 → if-else 表达式
• 循环 → while、for 表达式
• 异常处理 → try 表达式
• 控制转移 → break、continue 也是表达式，类型为 Nothing
这体现了该语言将传统控制结构表达式化的设计理念。但需要特别注意在这方面的差异化处置：
【仅就目前（ 2025 年 7 月推出首个长期支持版本（LTS 1.0.0）），华为仓颉编程语言，在传统控制结构表达式化这方面的差异化处置的总结】
if-else 表达式的类型（返回值类型）由分支类型推断（可能是任意类型，包括 Unit 或非 Unit——指的是它们通常用于返回一个有意义的值（如 String、Int 等）。
while、do-while、for 表达式类型（返回值类型）都是 Unit，强调副作用而非返回值。和if-else 表达式不同，仓颉编程语言的while、do-while、for 表达式类型都是 Unit（表示 “无实际值” 的空类型），强调副作用而非返回值。
Unit：表示“有操作但无值”，类型安全且可显式使用。
【唯一值：Unit 类型只有一个实例，即 ()（空元组）。它不携带任何数据，仅表示“操作已完成，但无有意义的结果”。
类型安全：与直接忽略返回值不同，仓颉强制要求显式处理 Unit 类型，避免隐式丢弃值导致的潜在错误。】
异常处理 try 表达式返回值可能为非 Unit 类型。
break 和 continue 表达式的类型（返回值类型）为 Nothing，表示它们不返回任何值且不会改变程序的控制流之外的状态。
Nothing：表示“无可能返回”（如 break/continue/抛出异常），是所有类型的子类型，用于控制流转移。
刚开始不太好懂，先总体了解之，看完下面展开介绍及例子，就会逐渐明了。
如何运行下面代码，可参见
华为仓颉编程语言简介与快速实验上手图解_仓颉1.0.0示例-CSDN博客
华为仓颉编程语言实践体验-CSDN博客
if-else 表达式
基本形式：
if (条件) {
分支 1
} else {
分支 2
}
也可写为：
if (条件) { 分支1 } else { 分支2 }。
例如：
import std.convert.*main() {print("请输入score的值: ")var str: String = readln()var score = Int8.parse(str)// if-else 示例if (score >= 60) {println("及格")} else {println("不及格")}}
测试运行：
特别说明
if-else 表达式的类型由分支类型推断（可能是任意类型，包括 Unit 或非 Unit）。求值规则：
计算“条件”表达式的值，若为 true，则执行“分支1”；若为 false 且存在 else 分支，则执行“分支2”。例如：
import std.convert.*main() {print("请输入a的值: ")var str: String = readln()var a = Int64.parse(str)print("请输入b的值: ")var str2: String = readln()var b = Int64.parse(str2)println("max = ${if (a >= b) { a } else { b }}") //注意这一句，相当于下面两句let max = if (a >= b) { a } else { b } //注意这一句println("max = ${max}")}
测试运行
循环：while、do-while、for 表达式
while、do-while、for 表达式的类型都是 Unit，强调副作用而非返回值。后面以for 表达式为例特别说明。
while 表达式
基本形式
while (条件) {
循环体
}
例如：
main() {var i = 0 var sum = 0 while (i < 10) { // 调整条件，确保累加1~10i += 1sum += i }println("输出: sum = ${sum}") //输出: sum = 55return 0
}
do-while 表达式
基本形式：
do {
循环体
} while (条件)
例如：
main() {var i = 1do {println("Current value: ${i}") i += 1 } while (i <= 3)
}
输出：
Current value: 1
Current value: 2
Current value: 3
for-in 表达式
基本形式：
for (迭代变量 in 序列) {
循环体
}
例如
main() {var sum = 0for (i in 1..=100) {sum += i}println("sum = ${sum}") //sum = 5050
}
前面提到while、do-while、for 表达式类型都是 Unit，强调副作用而非返回值。什么意思？for 循环表达式为例说明，请看下面例子：
main() {var sum = 0println("sum = ${for (i in 1..=100) { sum += i }}")
}
你可能想，预期通过 for 循环表达式计算 1 + 2 + ... + 100 的和（5050），然后通过字符串模板 ${...} 输出 sum = 5050。
但是实际输出sum = ()，而不是sum = 5050 ，问什么？
解释：
for循环作为表达式，其默认返回值类型是Unit（表示 “无实际值” 的空类型），无论循环体内做了什么操作。
代码中for (i in 1..=100) { sum += i }的作用是修改外部变量sum（这是一种 “副作用”），但循环本身的返回值始终是Unit。
当你在字符串模板中使用${for (...) {}}时，实际插入的是Unit类型的默认表示形式()，因此输出sum = ()。
你打印的是循环表达式的返回值（Unit），而不是sum变量的值。要打印sum变量的值，可参见前面的示例。
异常处理：try 表达式
基本形式：
try {
// 可能出现异常的代码
} catch (e: ExceptionType) {
// 处理异常的代码
} finally {
// 资源释放的代码（可选）
}
try 块：执行可能抛出异常的代码。
catch 块：捕获异常并返回一个备用值（确保表达式始终有返回值）。
finally 块（可选）：执行清理操作，但不影响 try 表达式的返回值。
例、判断用户给出的整数的奇偶性，用try异常处理，防止用户输入非数字将出错中断运行，源码如下：
import std.convert.*
import std.io.*main(){print("请输入一个整数：")while (true) {var str: String = readln()if (str.isEmpty()) {print("输入为空，请重新输入一个整数：")continue}// 使用 try-catch 捕获 parse 可能抛出的异常try {var n = Int64.parse(str)if( n % 2 == 0) {println("${n} 是偶数")} else {println("${n} 是奇数")}break} catch(e:IllegalArgumentException){print("输入非法，请输入一个有效的整数：")}}}
控制转移：break、continue 表达式
break 和 continue 表达式的类型为 Nothing，表示它们不返回任何值且不会改变程序的控制流之外的状态。
【Nothing 是一种特殊的类型，它不包含任何值，并且 Nothing 类型是所有类型的子类型（这当中也包括 Unit 类型）
break、continue、return 和 throw 表达式的类型是 Nothing，程序执行到这些表达式时，它们之后的代码将不会被执行。return 只能在函数体中使用，break、continue 只能在循环体中使用。】
例、以下程序使用 for-in 表达式和 break 表达式，在给定的整数数组中，找到第一个能被 5 整除的数字，源码如下：
main() {let numbers = [12, 18, 25, 36, 49, 55]for (number in numbers) {if (number % 5 == 0) {println(number)break}}
}
例、以下程序使用 for-in 表达式和 continue 表达式，将给定整数数组中的奇数打印出来，源码如下：
main() {let numbers = [12, 18, 25, 36, 49, 55]for (number in numbers) {if (number % 2 == 0) {continue}println(number)}
}
输出：
输出：
25
49
55