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> = T & { next: LinkedList<T> }; // people = {name:'',next:{name:'',next:{...}}}
interface Person {
  name: string;
}
var people: LinkedList<Person>;
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<T, K extends keyof T>(o: T, names: K): T[K] {
  return o[names];
}

// 升级版
function pluck1<T, K extends keyof T>(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<T> {
  [key: number]: T;
}
let pp: keyof Map1<string>; // pp 类型为number
let pp4: Map1<string>[0]; // 返回的类型是string

interface Map2<T> {
  [key: string]: T;
}
let pp1: keyof Map1<string>; // pp1 类型为string
let pp3: Map2<number>["foo"]; // 返回的类型是number

• keyof 用法 3 映射类型

// 通过这个类型生成一个只读版本 in 内部使用了for---in循环
interface PersonPartial {
    name?: string;
    age?: number;
}
// 使用
type ReadonlyPersonPartial<T> = {
    readonly [key in keyof PersonPartial]: PersonPartial[key]
}
let b: ReadonlyPersonPartial<string> = {
    name: 'string',
    age: 123
}

type Map2<T> = {
    [key in keyof PersonPartial]?: T;
}
var a: Map2<string> = {
    name: '123',
}

// 封装一些通用的版本
type BeNull<T> = {
    [P in keyof T]:T[P] | null
}

type BeEmpty<T> = {
    [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<T extends keyof a> = { [key in T]: a[key] };
let c: b<"name" | "age"> = {
  name: "123",
  age: 12
};

• 内置的 pick record exclude的理解 慢慢来吧

// pick  的作用是传入一个接口，返回接口里面特定的字段类型
type Pick<T, K extends keyof T> = {
    [P in K]: T[P];
};
interface b { 
    name: string,
    age:number
}
let cc: Pick<b, 'name' | 'age'> = {
    name: 'cc',
    age:123
}

// 传入属性，生成一个接口 生成一个 name age 都是string的interface
type Record<K extends keyof any, T> = {
    [P in K]: T;
};
let mmm: Record<'name' | 'age', string> = {
    name: 'ccc',
    age:'20'
}

// 排除相同的 extends 可以理解为 T 可以赋值给 U 可以赋值返回never 否则 返回 T
type Exclude<T, U> = 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 | b, b> // 返回 a 
let nnnn: Exclude<a | b, a> // 返回 never  a extends a => never  b extends a b可以赋值给a 返回never
let ccc: Exclude<a | b | c, c> 

let b: a extends b ? number : string  // a 不能赋值给 b 所以返回了string b的类型就是string
let nnn:Exclude<keyof b,keyof a> // 排除相同的过后 剩下的就是 ‘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, U> = T extends U ? T : never; // T 可以赋值给 U的话 表示的是T中的字段 U中肯定都存在 返回了 U。