在仓颉编程语言中，一个变量由其变量名、数据（值）和若干属性构成，在程序中通过变量名访问变量对应的数据，但访问操作需要遵从相关属性的约束（如数据类型、可变性和可见性等）。

从本质上看，变量代表了一段可操作的内存，也可以认为变量是内存的符号化表示。当程序中需要使用内存时，可以定义某种类型的变量。此时编译器根据变量的数据类型分配一定大小的内存空间。

变量声明

修饰符 变量名: 变量类型 = 初始值

let a: Int64 = 20

变量命名规则

同仓颉标识符的命名规则

如：只能由字母（包括大写和小写）、数字和下划线（ _ ）组成、不能以数字开头、不能使用仓颉关键字等

变量修饰符

可变性：let 与 var，let修饰的变量被初始化后其值不能改变，如果尝试修改，编译时会报错。var修饰的变量被初始化后其值能改变。

可见性：private 与 public，面向对象编程中使用

静态性：static，其特点是：在编译时分配内存空间并进行初始化。在程序运行期间，变量一直存在，直到程序结束，变量对应的内存空间才被释放

变量的分类

1. 变量根据可变性分为不可变变量和可变变量

不可变变量(let修饰)被初始化后其值不能改变，如果尝试修改，编译时会报错。可变变量(var修饰)被初始化后其值能改变.

2. 变量根据作用域范围分为局部变量和全局变量

在定义局部变量时，可以不进行初始化，但一定要在变量被引用前赋予初值

定义全局变量和静态成员变量时必须初始化，否则编译会报错

在程序运行时内存中有三个区域可以保存变量：静态存储区、栈(stack)和堆(heap)

所有的全局变量和静态局部变量(定义时使用关键字static)都保存在静态存储区，其特点是：在编译时分配内存空间并进行初始化。在程序运行期间，变量一直存在，直到程序结束，变量对应的内存空间才被释放。

而所有的非静态局部变量保存在栈(stack)中，其特点是：在变量所在的函数或模块被执行时动态创建，函数或模块执行完时，变量对应的内存空间被释放。也就是说，函数或模块每被执行一次，局部变量就会重新被分配空间。如果变量定义时没有初始化，那么变量中的值是随机数。