鸿蒙Next ArkTS语法适配背景概述

一、引言

ArkTS在保持TypeScript（TS）基本语法风格的基础上，通过规范强化静态检查和分析，在程序开发期检测更多错误，提升程序稳定性与运行性能。本文将阐述为何建议将TS代码适配为ArkTS代码。

二、程序稳定性

（一）动态类型语言的问题

以JavaScript（JS）为代表的动态类型语言，虽能让开发者快速编写代码，但容易在运行时产生非预期错误。如未检查值是否为undefined，可能导致程序崩溃。

（二）TypeScript的局限性

TS通过标注类型检查错误，多数错误在编译时可被检测，但不强制变量类型标注，限制了编译时检查。

（三）ArkTS的改进

ArkTS强制使用静态类型，要求类的属性在声明或构造函数中显式初始化，减少运行时错误。例如：

1. TS非严格模式下的类定义（存在问题）

class Person {name: string; // undefinedsetName(n: string): void {this.name = n;}getName(): string {return this.name;}
}
let buddy = new Person();
buddy.getName().length; // 运行时异常: name is undefined

2. ArkTS改进后的类定义（更安全）

class Person {name: string = '';setName(n: string): void {this.name = n;}getName(): string {return this.name;}
}
let buddy = new Person();
buddy.getName().length; // 0, 没有运行时异常

三、程序性能

（一）动态类型语言的运行时检查

动态类型语言为保证正确性，在运行时检查对象类型，如JS访问undefined属性时会检查类型，这虽可优化但仍影响性能。TS编译成JS后也有同样问题。

（二）ArkTS的解决方案

ArkTS使能静态类型检查，编译成方舟字节码文件而非JS代码，运行速度更快且更易优化。

（三）Null Safety特性

1. 示例函数及问题

function notify(who: string, what: string) {console.log(`Dear ${who}, a message for you: ${what}`);
}
notify('Jack', 'You look great today');
notify(null, undefined); // 程序仍运行，但引擎做了额外类型检查

2. ArkTS的严格检查
   ArkTS强制严格null检查，保证null不是合法string类型变量的值，不符合类型的代码无法编译，有助于优化性能。如上述notify(null, undefined)在ArkTS中会编译报错。

四、.ets代码兼容性

（一）语法规则变化

API version 10之前，ArkTS（.ets文件）采用标准TS语法。从API version 10 Release起，ArkTS语法规则明确定义，SDK增加编译时语法检查。

（二）编译策略

1. 标准模式（compatibleSdkVersion >= 10）：违反ArkTS语法规则的.ets文件代码会导致工程编译失败，需完全适配。
2. 兼容模式（compatibleSdkVersion < 10）：以warning提示违反规则代码，工程可编译成功，但需适配才能在标准模式下编译。

五、方舟运行时与TS/JS的关系

（一）应用环境限制

1. 强制使用严格模式（use strict）。
2. 禁止使用eval()。
3. 禁止使用with() {}。
4. 禁止以字符串为代码创建函数。

（二）语法差异

标准TS/JS中JSON数字格式要求小数点后必须有数字，方舟运行时允许2.e3这类科学计数法。

综上所述，ArkTS在多方面的改进和特性使其相比TS更具优势，在鸿蒙Next开发中进行ArkTS语法适配有助于提升程序质量和开发效率。