用于约束类、对象、函数的契约(标准)
契约的形式
- API 文档,弱标准
- 代码约束,强标准
类型别名跟接口的区别是,接口可以用来约束类
接口约束对象
interface User {
name: string
age: number
}
let u:User = {
name: string,
age: number
}
接口约束函数
// 约束对象中的函数
interface User {
name: string
age: number
sayHello: () => void 或者 sayHello(): void
}
let u:User = {
name: string,
age: number,
sayHello: () => console.log('hello')
}
// 约束单独的函数
// 首先使用类型别名来约束
type Condition = (n:number) => boolean
function sum(numbers: number[],callBack: Condition)) {}
// 使用接口来约束
interface Condition {
(n: number): boolean
}
function sum(numbers: number[],callBack: Condition)) {}
接口可以继承
interface A {
T1: string
}
interface B extends A {
T2: number
}
interface C extends A, B{
T3: boolean
}
let u:C = {
T2:33,
T1: "fdsfdsf",
T3: true
}
// 或者用 类型别名来实现
type A {
T1: string
}
type B {
T2: number
} & A
// 区别是前者不能覆盖父类型,后者可以
readonly 修饰符
interface User {
readonly id: string,
name: string,
age: number
}
let u:User {
id: "123" // 只能在最开始的时候给 id 复制,后面不可更改
}
let arr:readonly number[] = [3, 4, 6] // 表示这个数组是一个只读的数组, 但是仍然可以给数组赋值。