ArkTs基本语法

ArkTs语言

介绍

ArkTS是HarmonyOS生态的应用开发语言。

• ArkTS提供了声明式UI范式、状态管理支持等相应的能力，让开发者可以以更简洁、更自然的方式开发应用
• 同时，它在保持TypeScript（简称TS）基本语法风格的基础上，进一步通过规范强化静态检查和分析，使得在程序运行之前的开发期能检测更多错误，提升代码健壮性，并实现更好的运行性能。
• 针对JS/TS并发能力支持有限的问题，ArkTS对并发编程API和能力进行了增强。
• ArkTS支持与TS/JS高效互操作，兼容TS/JS生态。
• API10/11及其以上逐渐演进，扩展现代语言特性，新增了静态类型、并发增强、空值安全等机制

ArkTS基于TypeScript的增强

​ ArkTS基于TypeScript的增强：规范的代码更好地保证正确性和性能

基本语法

ArkTs通过声明引入变量、常量、函数和类型。

变量声明

let 用于声明在程序运行期间可以具有不同值的变量
const 用于引入只读常量，只能被复制一次。

自动类型推断

由于ArkTS是一种静态类型语言，所有数据的类型都必须在编译时确定。
但是，如果一个变量或常量的声明包含了初始值，那么开发者就不需要显式指定其类型。ArkTS规范中列举了所有允许自动推断类型的场景。

数据类型

number类型

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

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

整数字面量包括以下类别：

• 由数字序列组成的十进制整数。例如：0、117、-345
• 以0x（或0X）开头的十六进制整数，可以包含数字（0-9）和字母a-f或A-F。例如：0x1123、0x00111、-0xF1A7
• 以0o（或0O）开头的八进制整数，只能包含数字（0-7）。例如：0o777
• 以0b（或0B）开头的二进制整数，只能包含数字0和1。例如：0b11、0b0011、-0b11

浮点字面量包括以下：

• 十进制整数，可为有符号数（即，前缀为“+”或“-”）；
• 小数点（“.”）
• 小数部分（由十进制数字字符串表示）
• 以“e”或“E”开头的指数部分，后跟有符号（即，前缀为“+”或“-”）或无符号整数。

let n1 = 3.14;
let n2 = 3.141592;
let n3 = .5;
let n4 = 1e2;

function factorial(n: number): number {
  if (n <= 1) {
    return 1;
  }
  return n * factorial(n - 1);
}

factorial(n1)  //  7.660344000000002 
factorial(n2)  //  7.680640444893748 
factorial(n3)  //  1 
factorial(n4)  //  9.33262154439441e+157 

boolean类型

由false和true两个逻辑值组成。

string类型

表示字符序列，可以使用转义字符表示字符。字符串字面量由单引号（'）或双引号（"）之间括起来的零个或多个字符组成。字符串字面量还有一特殊形式，是用反向单引号（`）括起来的模板字面量。反引号可以用来进行模版变量解析。

void类型

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

Object类型

Object类型是所有引用类型的基类型。任何值，包括基本类型的值（它们会被自动装箱），都可以直接被赋给Object类型的变量。object类型则用于表示除基本类型外的类型。

array类型

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

数组可由数组复合字面量（即用方括号括起来的零个或多个表达式的列表，其中每个表达式为数组中的一个元素）来赋值。数组的长度由数组中元素的个数来确定。数组中第一个元素的索引为0。
也可以用泛型标注类型。

enum类型

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

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

Union类型

union类型，即联合类型，是由多个类型组合成的引用类型。联合类型包含了变量可能 的所有类型。

Aliases 类型

可以为各种类型添加一个别名。

其他基本语法

基本语法像逻辑判断，循环语句，以及算数运算与Ts基本一致。

函数

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

function add(x: string, y: string): string {
  let z: string = `${x} ${y}`;
  return z;
}

可选参数

可选参数的格式可为name?: Type=0。可以用等号赋默认值。如果在函数调用中这个参数被省略了，则会使用此参数的默认值作为实参。

箭头函数(lambda)

函数可以定义为箭头函数表示一个指令序列，内部this指向上层作用域。