当前位置：首页 > article >正文

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

article 2024/12/26 0:24:41

一、引言

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

二、程序稳定性

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

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

（二）TypeScript的局限性

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

（三）ArkTS的改进

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

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

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

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特性

示例函数及问题

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