比如把一个类型的所有属性变成只读。下面来看一个例子。

interface Obj {
    a: String;
    b: number;
    c: boolean
}

type ReadyonlyObj = readonly<Obj>;

这个是如何实现的呢，我们来看一下他的实现方法。

/**
 * Make all properties in T readonly
 */
type Readonly<T> = {
    readonly [P in keyof T]: T[P];
};

首先Readonly是一个泛型接口，而且是一个可索引类型的泛型接口，keyof T 是一个索引类型的查询操作符，这里的P表示索引类型的封闭操作，绑定到T的所有属性上，这里的返回值就是一个索引返回操作符，最后readonly 把所有属性变成只读。

可选映射类型

此外TS还内置了很多隐射类型。我们举一个例子来看一下，比如把一个接口的所有属性变成可选的。

interface Obj {
    a: String;
    b: number;
    c: boolean
}


type PartialObj = Partial<Obj>;

我们来看一下实现原理。

/**
 * Make all properties in T optional
 */
type Partial<T> = {
    [P in keyof T]?: T[P];
};

Pick映射类型

interface Obj {
    a: String;
    b: number;
    c: boolean
}


type PickObj = Pick<Obj, 'a' | 'b'>

我们来看一下它的实现原理。

/**
 * From T, pick a set of properties whose keys are in the union K
 */
 type Pick<T, K extends keyof T> = {
    [P in K]: T[P];
};

他有两个参数，一个是T， 一个是K, K 一个是来自T的所有属性的联合类型。新的类型属性一定是从K中选取。

Record 映射类型

interface Obj {
    a: String;
    b: number;
    c: boolean
}

type RecordObj = Record<'x' | 'y', Obj>

我们来看一下实现原理。

/**
 * Construct a type with a set of properties K of type T
 */
 type Record<K extends keyof any, T> = {
    [P in K]: T;
};