摘要：都支持嵌套写法写法写法有趣的写法常量的写法与交叉数据类型用法获取对象的属性升级版用法这种的联合类型可以使用来循环值只能为用法二和与字符串索引签名进行交互。
interface type 都支持嵌套写法
// interface 写法
interface Ip {
name: string;
child?: Ip;
}
let child: Ip = {
name: "str",
child: {
name: "test"
}
};
// type 写法
type Ip = {
name: string;
child?: Ip;
};
let child: Ip = {
name: "child",
child: {
name: "haha"
}
};
// 有趣的写法
type LinkedList = T & { next: LinkedList }; // people = {name:"",next:{name:"",next:{...}}}
interface Person {
name: string;
}
var people: LinkedList;
var s = people.name;
var s = people.next.name;
var s = people.next.next.name;
var s = people.next.next.next.name;
常量的写法 与 交叉数据类型
interface I {
name: "ccc";
}
interface P {
age: "bbb";
}
var a: I & P = {
name: "ccc",
age: "bbb"
};
keyof 用法
// 获取对象的属性
function pluck(o: T, names: K): T[K] {
return o[names];
}
// 升级版
function pluck1(o: T, names: K[]): T[K][] {
return names.map(item => o[item]);
}
// keyof用法
interface Personal {
name: string;
age: number;
}
//keyof Personal ==> "name" | "age" 这种的联合类型 可以使用in来循环
let ppp: keyof Personal = "name";
let ppp1: keyof Personal = "age";
let ppp2: keyof Personal = "ss"; // error 值只能为 name | age
keyof 用法二
keyof 和 T[K]与字符串索引签名进行交互。 如果你有一个带有字符串索引签名的类型，那么 keyof T 会是 string。 并且 T[string]为索引签名的类型
interface Map1 {
[key: number]: T;
}
let pp: keyof Map1; // pp 类型为number
let pp4: Map1[0]; // 返回的类型是string
interface Map2 {
[key: string]: T;
}
let pp1: keyof Map1; // pp1 类型为string
let pp3: Map2["foo"]; // 返回的类型是number
keyof 用法 3 映射类型
// 通过这个类型生成一个只读版本 in 内部使用了for---in循环
interface PersonPartial {
name?: string;
age?: number;
}
// 使用
type ReadonlyPersonPartial = {
readonly [key in keyof PersonPartial]: PersonPartial[key]
}
let b: ReadonlyPersonPartial = {
name: "string",
age: 123
}
type Map2 = {
[key in keyof PersonPartial]?: T;
}
var a: Map2 = {
name: "123",
}
// 封装一些通用的版本
type BeNull = {
[P in keyof T]:T[P] | null
}
type BeEmpty = {
[P in keyof T]?:T[P]
}
理解 extends in 相关的东西
interface a {
name: string;
age: number;
}
// T 相当于上面有 name | age
// [key in T] 循环 name age ，每一个key就是name age 那么 a[name],a[age] j
type b = { [key in T]: a[key] };
let c: b<"name" | "age"> = {
name: "123",
age: 12
};
内置的 pick record exclude的理解 慢慢来吧
// pick 的作用是传入一个接口，返回接口里面特定的字段类型
type Pick = {
[P in K]: T[P];
};
interface b {
name: string,
age:number
}
let cc: Pick = {
name: "cc",
age:123
}
// 传入属性，生成一个接口 生成一个 name age 都是string的interface
type Record = {
[P in K]: T;
};
let mmm: Record<"name" | "age", string> = {
name: "ccc",
age:"20"
}
// 排除相同的 extends 可以理解为 T 可以赋值给 U 可以赋值返回never 否则 返回 T
type Exclude = T extends U ? never : T;
interface a {
name:string
}
interface b {
name: string,
age:number
}
interface c {
name: string,
age: number,
hobby:any
}
// 这两个东西表示出来了 是分开来搞的 首先 a extends b => a b extends b=>never 所以返回的是 a
let nnn: Exclude // 返回 a
let nnnn: Exclude // 返回 never a extends a => never b extends a b可以赋值给a 返回never
let ccc: Exclude
let b: a extends b ? number : string // a 不能赋值给 b 所以返回了string b的类型就是string
let nnn:Exclude // 排除相同的过后 剩下的就是 ‘age’ "name"|"age" extends "name" 难道是 name extends name ， age extends name 分开来的 先这样理解吧
type mm = "number" | "age";
type nn = "age"
let c: mm extends nn ? never : mm; // mm 不能赋值给 nn 所以返回值是 mm 并不是上面Exclude 返回的 age 这个可以理解为传入泛型变量的时候ts 帮我们去循环 extends(赋值了一下)
// 取出相同的
type Extract = T extends U ? T : never; // T 可以赋值给 U的话 表示的是T中的字段 U中肯定都存在 返回了 U。
文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。
转载请注明本文地址：https://www.ucloud.cn/yun/104445.html
