前言
通过HarmonyOS NEXT(Developer Preview2) 官方文档《从TypeScript到ArkTS的适配规则》（更新时间：2024-05-22 17:12）罗列出ArkTS对TypeScript约束的规范点，详细约束说明请参考 《从TypeScript到ArkTS的适配规则》
概述
ArkTS不支持或部分支持的TypeScript特性。
强制使用静态类型
禁止使用any类型
禁止在运行时变更对象布局
禁止以下行为：
- 向对象中添加新的属性或方法。
- 从对象中删除已有的属性或方法。
- 将任意类型的值赋值给对象属性。
限制运算符的语义
// 一元运算符`+`只能作用于数值类型：
let t = +42; // 合法运算
let s = +'42'; // 编译时错误
不支持 structural typing
约束说明
对象的属性名必须是合法的标识符
不支持Symbol()API
TypeScript中的Symbol()API用于在运行时生成唯一的属性名称。
由于该API的常见使用场景在静态类型语言中没有意义，因此，ArkTS不支持Symbol()API。在ArkTS中，对象布局在编译时就确定了，且不能在运行时被更改。
不支持以#开头的私有字段
改用private关键字。
类型、命名空间的命名必须唯一
let X: string
type T = number[] // 为避免名称冲突，此处不允许使用X
使用let而非var
使用具体的类型而非any或unknown
使用class而非具有call signature的类型
使用class而非具有构造签名的类型
仅支持一个静态块
不支持index signature
使用继承而非intersection type
不支持this类型
不支持条件类型
不支持在constructor中声明字段
接口中不支持构造签名
不支持索引访问类型
不支持通过索引访问字段
不支持structural typing
需要显式标注泛型函数类型实参
需要显式标注对象字面量的类型
对象字面量不能用于类型声明
数组字面量必须仅包含可推断类型的元素
使用箭头函数而非函数表达式
使用泛型函数而非泛型箭头函数
不支持使用类表达式
类不允许implements
不支持修改对象的方法
类型转换仅支持as T语法
不支持JSX表达式
一元运算符+、-和~仅适用于数值类型
不支持delete运算符
仅允许在表达式中使用typeof运算符
部分支持instanceof运算符
不支持in运算符
不支持解构赋值
逗号运算符,仅用在for循环语句中
不支持解构变量声明
不支持在catch语句标注类型
不支持for .. in
不支持映射类型
不支持with语句
限制throw语句中表达式的类型
限制省略函数返回类型标注
不支持参数解构的函数声明
不支持在函数内声明函数
不支持在函数和类的静态方法中使用this
不支持生成器函数
使用instanceof和as进行类型保护
部分支持展开运算符
接口不能继承具有相同方法的两个接口
不支持声明合并
接口不能继承类
不支持构造函数类型
只能使用类型相同的编译时表达式初始化枚举成员
不支持enum声明合并
命名空间不能被用作对象
不支持命名空间中的非声明语句
不支持import default as ...
不支持require和import赋值表达式
不支持export = ...语法
不支持ambient module声明
不支持在模块名中使用通配符
不支持通用模块定义(UMD)
不支持new.target
不支持确定赋值断言
不支持在原型上赋值
不支持globalThis
不支持一些utility类型
不支持对函数声明属性
不支持Function.apply和Function.call
不支持Function.bind
不支持as const断言
不支持导入断言
限制使用标准库
强制进行严格类型检查
不允许通过注释关闭类型检查
允许.ets文件import.ets/.ts/.js文件源码, 不允许.ts/.js文件import.ets文件源码
class不能被用作对象
不支持在import语句前使用其他语句
限制使用ESObject类型
