ArkCompiler子系统Changelog

cl.ArkCompiler.1 TS语法检查变更

访问级别
其它

变更原因
OpenHarmony SDK中TypeScript版本从4.2.3升级至4.9.5版本，支持TS语言的新语法特性以及提供更强的类型检查能力，但存在少数与之前版本不兼容的语法特性。

变更发生版本
OpenHarmony SDK 4.1.3.1

变更影响
TypeScript版本升级之后，TS类语法检查更加严格，有10类与现有语法不兼容的语法特性，下面进行具体介绍并给出简单的示例

变更语法特性与适配指导

不能将联合枚举类型的值与恒不等于的数字进行比较
联合枚举类型：枚举的成员自动填充或简单写入，则视为联合枚举类型，这种情况下可以调用枚举可能表示的每个值
下面为错误示例：
```
enum E {
  A = 0,
  B = 1,
}
function doSomething(x: E) {
  // Error! This condition will always return 'false' since the types 'E' and '-1' have no overlap.
  if (x === -1) {
    // ...
  }
}
```
适配建议：通过toString()方法将数字转换为字符串进行比较

对导入函数的更合规的间接调用
非esmodule(如FA模型下为commonjs模块)模块import场景下会丢弃this值，与esmodule模块的import行为一致
下面示例为调用行为的变化：

 // 假设这是我们导入的模块，它有一个'foo'以及'feature'的导出
 let fooModule = {
   foo() {
     console.log(this);
   },
   feature: 'oh'
 };

 // 以前的调用方式如下：
 fooModule.foo();  // 输出结果： { "feature": "oh" } 

 // 现在的调用方式如下(实际上是在调用 '(0, fooModule.foo), 与上面有细微的不同)：
 (0, fooModule.foo)();  // 输出结果： undefined

抽象属性不允许初始化
抽象属性不允许初始化，以下代码现在是错误的

abstract class C {
  abstract prop = 1;
  //       ~~~~
  // Property 'prop' cannot have an initializer because it is marked abstract.
}

适配建议：删除初始化值

Rest参数语法会删除来自泛型对象中不可展开的成员
从泛型对象中解构属性时，以前会假定所有属性都是可解构的，现在会严格分析属性是否可以被解构。不应该被解构的属性如：私有属性、私有方法、静态属性等。下面为报错示例：
```
class Thing {
  someProperty = 42;
  someMethod() {
    // ...
  }
}
function foo<T extends Thing>(x: T) {
  let { someProperty, ...rest } = x;
  // Used to work, is now an error!
  // Property 'someMethod' does not exist on type 'Omit<T, "someProperty" | "someMethod">'.
  rest.someMethod();
}
```
适配建议：从泛型对象中解构属性时，确保属性属于可结构类型
对模板字符串表达式进行更严格的检查
当在模板字符串中使用Symbol时，在JavaScript会报运行时错误，现在TS语法检查阶段会报错，与之同时也会检查模板字符串中是否使用了某种方式来约束符号的泛型值。
```
function logKey<S extends string | symbol>(key: S): S {
    // Implicit conversion of a 'symbol' to a 'string' will fail at runtime. Consider wrapping this expression in 'String(...)'.
    console.log(`${key} is the key`);
    return key;
}
```
适配建议：通过String包装表达式

Tuple元组有readonly属性时长度属性视为只读
只读Tuple元组现在将其长度属性（length）视为只读。

function overwriteLength(tuple: readonly [string, string, string]) {
    // Now errors.
    tuple.length = 7;
}

对象与Array Literal不允许比较
JavaScript中对象（以及数组）之间的'==' 和 '===' 检查两个引用是否指向相同的值，现在会禁止下面的代码：

if (peopleAtHome === []) {
//  ~~~~~~~~~~~~~~~~~~~
// This condition will always return 'false' since JavaScript compares objects by reference, not value.
    console.log("here's where I lie, broken inside. </3")
    adoptAnimals();
}

不允许在类型签名中写未使用的重命名
下面示例，开发者一般会认为makePerson有一个对象，其有name和age两个属性，string与number为两个属性的类型。然而实际是一个析构语法，string与number是name与age的重命名。
```
declare function makePerson({ name: string, age: number }): Person;
```
正确的写法如下：
```
declare function makePerson(options: { name: string, age: number }): Person;
// or
declare function makePerson({ name, age }: { name: string, age: number }): Person;
```

检查NaN相等
现在直接与NaN进行比较时会出错

function validate(someValue: number) {
    return someValue !== NaN;
    //     ~~~~~~~~~~~~~~~~~
    // error: This condition will always return 'true'. Did you mean '!Number.isNaN(someValue)'?
}

适配建议：建议使用Number.isNaN来代替

类型推导与检查能力增强引发的报错
TypeScript升级至4.9.5版本，其类型推导与检查能力增强，可能会检查出除上文介绍之外的语法错误。语法错误修正以后是有益处的，可提前发现运行时错误并帮助提高运行时性能。

cl.arkcompiler.1 sdk中ark_asm下线

访问级别

其他

变更原因

ark_asm工具最初设计是为了配合ts2abc编译生成abc文件。但随着技术演进，一方面该方案由于效率原因已经被其他方案替代；另一方面，ts2abc也已经被es2abc替代下线，因此ark_asm工具一直没有参与到应用编译或开发流程中。ark_asm工具下线后，开发者可以在sdk的toolchains目录下发现如下图所示的变更。

stack

变更影响

该变更为兼容性变更。由于ark_asm并不参与应用编译或开发流程，升级该版本的sdk后，对开发者不会有任何影响。

API Level

变更发生版本

从Openharmony SDK 4.1.5.5 开始

变更的接口/组件

arkcompiler前端编译器中的ark_asm工具下线。

适配指导

不会造成任何影响，不需要做适配。