类型兼容性

由于 UTS 语言最终会转换为 kotlin、swift 等语言，UTS 语言中的接口也更接近 kotlin 中的接口或 swift 中的协议，在类型兼容性判断时与 TS 语言的结构类型系统有着明显的区别：

• TS：如果两个类型的内部结构相似（具有相同的属性和方法），那么它们被认为是兼容的，即使它们的名称不同。
• UTS：依赖于类型的显式声明，必需是同一个类型或者存在显式的继承/实现关系。

interface IPerson {
    name: string
    printName(): void
}

class Person implements IPerson {
    constructor(public name: string) {}
    printName(): void {
        console.log(this.name)
    }
}

class Person1 {
    constructor(public name: string) {}
    printName(): void {
        console.log(this.name)
    }
}

type PersonObject = {
    name: string
    printName(): void
}

class Person2 extends Person {}

const person: IPerson = new Person('Tom') // 正确，Person 实现自 IPerson

const person1: Person = new Person1('Tom') // 错误，Person 与 Person1 无关只是结构相同

const person2: Person = new Person2('Tom') // 正确，Person2 继承自 Person

const person3: IPerson = {
    name: 'Tom',
    printName: function () {
        console.log(this.name)
    }
} as PersonObject // 错误，PersonObject 类型与 IPerson 无关只是结构相同

运行时类型保留

不同于ts编译后完全抹除类型，uts在运行时保留了部分类型信息。通常是定义type后，创建此type对应的实例时，会保留此实例的类型信息。

例如：

type Obj = {
  a: number
}
const obj = {
  a: 1
} as Obj 
// 此时obj的类型为Obj，运行时可以使用 obj instanceof Obj
console.log(obj instanceof Obj) // true

const result = JSON.parse<Obj>(`{"a": 1}`) // 此时返回的对象类型为Obj
console.log(result instanceof Obj) // true

注意

• 目前 web端uni.request传入泛型时不会创建对应类型的实例，会直接抹除类型信息，后续可能会调整为创建泛型类型对应的实例，请勿利用此特性。
• web端仅项目内定义的类型可以被实例化，uni-app-x内部定义的类型无法被实例化，例如const options = { url: 'xxx' } as RequestOptions，并不会将此对象转化为RequestOptions的实例，运行时也没有RequestOptions对应的类型信息。

any类型

不同于ts，uts中any类型不包含null类型。

例如定义可选参数时应使用下面的写法：

function test(anything?: any | null) { // 注意带上问号
  console.log(anything)
}

可选属性

如果属性在类型中是可选值需要使用下面的写法，不要省略问号和| null

type Options = {
  num?: number | null
}

void/undefined类型

为保证多端统一应尽量避免使用undefined、void类型，可以使用null代替。如果需要判断是否为null建议使用两个等号，不要使用三个等号（此处使用了js的特性undefined == null结果为true）。

String、Number、Boolean类型

ts内string、number、boolean类型与String、Number、Boolean类型并不相同。

let str1: String = '1'
let str2: string = '2'

str1 = str2 // 不报错
str2 = str1 // 报错 Type 'String' is not assignable to type 'string'

尽量使用string、number、boolean类型替代String、Number、Boolean类型。

import type

由于uts会为as为某些类型的对象字面量创建这个类型对应的实例，所以经常会存在一些类型引入后是作为值使用而不是作为类型使用。应尽量不要使用import type用法，避免编译结果出错。

import type { TypeA } from './type' // 避免使用
import { TypeA } from './type' // 推荐用法