什么是ArkTS？
ArkTS是HarmonyOS优选的主力应用开发语言。

ArkTS围绕应用开发在TypeScript（简称TS）生态基础上做了进一步扩展，保持了TS的基本风格，同时通过规范定义强化开发期静态检查和分析，提升程序执行稳定性和性能。

cript深受开发者的喜爱，因为它提供了一种更结构化的JavaScript编码方法。

ArkTS旨在保持TypeScript的大部分语法，为现有的TypeScript开发者实现无缝过渡，让移动开发者快速上手ArkTS

目前流行的编程语言TypeScript是在JavaScript基础上通过添加类型定义扩展而来的，而ArkTS则是TypeScript的进一步扩展

ArkTS相比TS特性差异：
ArkTS通过规范约束了TS中过于灵活而影响开发正确性或者给运行时带来不必要额外开销的特性，下面通过代码片段说明部分约束特性。

基本知识
声明
ArkTS通过声明引入变量、常量、函数和类型。

变量声明
以关键字let开头的声明引入变量，该变量在程序执行期间可以具有不同的值。

常量声明
以关键字const开头的声明引入只读常量，该常量只能被赋值一次。 对常量重新赋值会造成编译时错误。

自动类型推断

由于ArkTS是一种静态类型语言，所有数据的类型都必须在编译时确定。

但是，如果一个变量或常量的声明包含了初始值，那么开发者就不需要显式指定其类型。

类型
Number类型
ArkTS提供number和Number类型，任何整数和浮点数都可以被赋给此类型的变量。

数字字面量包括整数字面量和十进制浮点数字面量。

整数字面量包括以下类别：
由数字序列组成的十进制整数。例如：0、117、-345

// 十进制
let num1:number=123

以0x（或0X）开头的十六进制整数，可以包含数字（0-9）和字母a-f或A-F。例如：0x1123、0x00111、-0xF1A7

let num4:number=0xfac; // 十六进制

以0o（或0O）开头的八进制整数，只能包含数字（0-7）。例如：0o777

let num3:number=0o17161; // 八进制

以0b（或0B）开头的二进制整数，只能包含数字0和1。例如：0b11、0b0011、-0b11

let num2:number=0b10101; // 二进制

浮点字面量包括以下：
十进制整数，可为有符号数（即，前缀为“+”或“-”）；

小数点（“.”）
let num1:number=+1;
let num2:number=-1;
let num3:number=1.1;

小数部分（由十进制数字字符串表示）

以“e”或“E”开头的指数部分，后跟有符号（即，前缀为“+”或“-”）或无符号整数。

Boolean类型
boolean类型由true和false两个逻辑值组成。

通常在条件语句中使用boolean类型的变量

String类型
string代表字符序列；可以使用转义字符来表示字符。

字符串字面量由单引号（'）或双引号（"）之间括起来的零个或多个字符组成。

字符串字面量还有一特殊形式，是用反向单引号（`）括起来的模板字面量。

Void类型
void类型用于指定函数没有返回值。

此类型只有一个值，同样是void。由于void是引用类型，因此它可以用于泛型类型参数。

Object类型
Object类型是所有引用类型的基类型。

任何值，包括基本类型的值（它们会被自动装箱），都可以直接被赋给Object类型的变量。

Array类型
array，即数组，是由可赋值给数组声明中指定的元素类型的数据组成的对象。

数组可由数组复合字面量（即用方括号括起来的零个或多个表达式的列表，其中每个表达式为数组中的一个元素）来赋值。

数组的长度由数组中元素的个数来确定。数组中第一个元素的索引为0。

以下示例将创建包含三个元素的数组：

Enum类型
enum类型，又称枚举类型，是预先定义的一组命名值的值类型，其中命名值又称为枚举常量。

使用枚举常量时必须以枚举类型名称为前缀

Union类型
union类型，即联合类型，是由多个类型组合成的引用类型。

联合类型包含了变量可能的所有类型。 可以用不同的机制获取联合类型中特定类型的值。

Aliases类型
Aliases类型为匿名类型（数组、函数、对象字面量或联合类型）提供名称，或为已有类型提供替代名称。

null类型
let a:null=null

undefined类型

运算符
赋值运算符
赋值运算符=，使用方式如x=y。

复合赋值运算符将赋值与运算符组合在一起，其中x op = y等于x = x op y。

复合赋值运算符列举如下：+=、-=、*=、/=、%=、<<=、>>=、>>>=、&=、|=、^=。

比较运算符

算术运算符
一元运算符为-、+、--、++。

    ++：自增   -- ：自减

二元运算符列举如下：

位运算符

逻辑运算符

复合赋值运算符
复合赋值运算符列举如下：+=、-=、*=、/=、%=、<<=、>>=、>>>=、&=、|=、^=。

语句
If语句
if语句用于需要根据逻辑条件执行不同语句的场景。

当逻辑条件为真时，执行对应的一组语句，否则执行另一组语句（如果有的话）。

else部分也可能包含if语句。 条件表达式可以是任何类型。但是对于boolean以外的类型，会进行隐式类型转换：

Switch语句
使用switch语句来执行与switch表达式值匹配的代码块。

如果switch表达式的值等于某个label的值，则执行相应的语句。

如果没有任何一个label值与表达式值相匹配，并且switch具有default子句，那么程序会执行default子句对应的代码块。

break语句（可选的）允许跳出switch语句并继续执行switch语句之后的语句。

如果没有break语句，则执行switch中的下一个label对应的代码块。

三元表达式
条件表达式由第一个表达式的布尔值来决定返回其它两个表达式中的哪一个

console.log(a>b?'a>b':'a<b')

判断a>b,如果a>b 执行第一条语句，否则执行第二条语句

条件表达式
条件表达式由第一个表达式的布尔值来决定返回其它两个表达式中的哪一个。

condition ? expression1 : expression2
如果condition的为真值（转换后为true的值），则使用expression1作为该表达式的结果；否则，使用expression2。

For语句
for语句会被重复执行，直到循环退出语句值为false。

for语句的执行流程如下：

1、 执行init表达式（如有）。此表达式通常初始化一个或多个循环计数器。

2、 计算condition。如果它为真值（转换后为true的值），则执行循环主体的语句。如果它为假值（转换后为false的值），则for循环终止。

3、 执行循环主体的语句。

4、 如果有update表达式，则执行该表达式。

5、 回到步骤2。

For-of语句
使用for-of语句可遍历数组或字符串。
示例如下： for (forVar of expression) {      statements }
While语句
只要condition为真值（转换后为true的值），while语句就会执行statements语句。

Do-while语句
如果condition的值为真值（转换后为true的值），那么statements语句会重复执行。

Break语句
使用break语句可以终止循环语句或switch。

如果break语句后带有标识符，则将控制流转移到该标识符所包含的语句块之外。

Continue语句
continue语句会停止当前循环迭代的执行，并将控制传递给下一个迭代。

Throw和Try语句
throw语句用于抛出异常或错误

try语句用于捕获和处理异常或错误

支持finally语句

try语句用于捕获和处理异常或错误

finally 异常的最终处理方案

函数
函数声明引入一个函数，包含其名称、参数列表、返回类型和函数体。 

可选参数

可选参数的另一种形式为设置的参数默认值。如果在函数调用中这个参数被省略了，则会使用此参数的默认值作为实参。