basic_programming_concepts
SKILL.md
仓颉编程语言基本概念和规则
0. 关键字
以下标识符是仓颉语言的关键字，不要用作程序元素命名（如有特殊情况需要，请用反引号 ` 转义为原始标识符）：
- 类型关键字：
Bool、Rune、Float16、Float32、Float64、Int8、Int16、Int32、Int64、IntNative、UInt8、UInt16、UInt32、UInt64、UIntNative、Array、VArray、String、Nothing、Unit - 控制流关键字：
break、case、catch、continue、do、else、finally、for、if、match、return、spawn、try、throw、while - 声明关键字：
as、abstract、class、const、enum、extend、func、foreign、import、init、interface、let、macro、main、mut、open、operator、override、package、private、prop、protected、public、redef、static、struct、super、synchronized、this、This、type、unsafe、where - 布尔关键字：
false、true - 其他：
quote
1. 标识符
1.1 普通标识符
- 以
XID_Start字符（包括中英文字母）开头，后跟XID_Continue字符；或以_开头后跟至少一个XID_Continue字符 - 不能是仓颉关键字
- 使用 Unicode 15.0.0 标准，NFC 规范化
- 示例：
abc、_abc、仓颉
1.2 原始标识符
- 用反引号包裹普通标识符或关键字：
`while`、`if` - 用于将关键字作为标识符使用
2. 程序结构
2.1 顶层作用域
- 允许声明：全局变量、全局函数、自定义类型（
struct、class、enum、interface）、main入口函数 - 非顶层作用域允许局部变量和局部函数
enum/interface仅支持成员函数（不支持成员变量）
2.2 变量定义
- 语法：
修饰符 名称: 类型 = 值 - 修饰符：
let：不可变，只能赋值一次var：可变，可多次赋值const：编译时常量
- 类型标注可省略（当可推断时）
- 全局/静态变量须初始化
- 局部变量可延迟初始化，但使用前必须赋值
2.3 const 变量
- 语法：
const G = 6.674e-11 - 不能省略初始化器
- 可用于全局、局部或静态成员
- 支持
const init和const func
2.4 值类型与引用类型
- 值类型（基础类型，
struct，VArray...）：赋值拷贝数据，let阻止所有修改。一般存放在栈空间。 - 引用类型（
class，String，Array...）：赋值共享引用，let阻止重新赋值但不阻止修改引用对象的数据。存放在托管内存，涉及 GC。
注意：
Array是用struct定义的，但把数组数据存放在托管内存中（结构体中一个引用类型成员），赋值后两个变量共享底层存储，修改互相可见
2.5 作用域规则
{}创建作用域- 内层作用域可遮蔽外层同名变量
- 顶层作用域为最外层
3. 表达式
3.1 基本规则
- 仓颉中所有可求值的程序元素都是表达式，包括算术表达式和 if/match 等复合表达式
- 每个表达式建议写在不同行，特殊情况下可以在同一行用分号分隔多个表达式（如简单的 lambda 定义）
- 如无特殊说明，文档中使用 exprs 表示一组表达式（0~N 个）
- 代码块
{exprs}：代码块只是便于文档描述而提出的概念，仓颉不允许独立的{exprs}块作为表达式（如let r = { let x = 2; x ** 3 }不合法）。代码块只能依附于 if/while/for-in/match/函数等表达式使用（构造这些复合表达式），一般情况下，含有代码块结构的表达式，其值/类型为所执行代码块（分支）中最后一个表达式的值/类型（空块类型为Unit，值为()）
3.2 if 条件判断
- 语法：
if (cond) { exprs1 } else { exprs2 }，cond是Bool类型表达式 - 支持
else if链式使用 - 用作值时：有
else时类型由上下文或各分支最小公共父类型决定，值为所执行分支最后一个表达式的值，无else时类型始终为Unit - 条件表达式可以用
let pattern <- expr做模式匹配，详见cangjie-pattern-matchSkill
3.3 while / do-while 循环
- 语法：
while (cond) { exprs }和do { exprs } while (cond)，cond是Bool类型表达式 - 返回类型始终为
Unit - 条件表达式可以用
let pattern <- expr做模式匹配
3.4 for-in 循环
- 语法：
for (item in sequence) { exprs }，其中sequence类型须实现Iterable<T> - 迭代变量 item 不可变，如果循环体中不引用迭代变量，可用通配符
_占位 - 支持元组解构：
for ((x, y) in arr) where子句过滤迭代：for (i in 0..8 where i % 2 == 1)- String，Range（1..=100），Array/HashMap 等集合类型都已实现
Iterable<T>，可直接用 for-in 遍历 - 详见
cangjie-forSkill
3.5 break / continue
break退出循环，continue跳至下一次迭代- 二者的类型均为
Nothing
3.6 match 模式匹配
- 语法：
match(expr) { case pattern => exprs ... }，expr是待匹配值，pattern是候选模式 =>左侧模式被匹配后，将执行右侧的exprs并跳过后续case分支- 注意，exprs 不需要被大括号包裹，多个表达式各占一行
- 详见
cangjie-pattern-matchSkill
4. 函数（基本概念）
- 使用
func name(params): ReturnType { exprs }定义 - 参数以逗号分隔，格式为
name: Type - 函数体 exprs 最后一个表达式默认作为返回值（可以省略 return），但一般情况下建议写 return
- 详见
cangjie-functionSkill