即数组，是由可赋值给数组声明中指定的元素类型的数据组成的对象。如果使用静态类型，那么程序中变量的类型就是确定的。同时，由于所有类型在程序实际运行前都是已知的，编译器可以验证代码的正确性，从而减少运行时的类型检查，有助于性能提升。类型，又称枚举类型，是预先定义的一组命名值的值类型，其中命名值又称为枚举常量。默认情况下，ArkTS中的所有类型都是不可为空的，因此类型的值不能为空。每个模块都有其自己的作