Skip to content
On this page

typescript常见问题

参考链接

TypeScript 入门简单进阶难,梳理下要攻克的重难点

Typescript 中的 interface 和 type 到底有什么区别

在网页中使用typescript生成的代码

一份不可多得的 TS 学习指南(1.8W字)

Typescript开发学习总结(附大量代码)

TypeScript趁早学习提高职场竞争力

TypeScript 进阶经验总结

15 张前端高清知识地图,强烈建议收藏

gulp-typescript

Ts高手篇:22个示例深入讲解Ts最晦涩难懂的高级类型工具

这 30 道 TS 练习题,你能答对几道?

目录


tsconfig.json配置样例

使用tsc --init生成

javascript
{
    "include": ["./src/**/*"],               // 定义希望被编译文件所在的目录
    // ** 任意目录
    // * 任意文件
    "exclude": ["./src/hello/**/*"],         // 定义需要排除在外的目录;默认值["node_modules","bower_components","jspm_package"]
    "extends": "./configs/base",             // 定义被继承的配置文件
    "files": ["type.ts","dada.ts"],          // 指定被编译的列表,只有需要编译的文件少时才会用到
    "compilerOptions": {

        /* 基本选项 */
        "target": "es5",                       // 指定 ECMAScript 目标版本: 'ES3' (default), 'ES5', 'ES6'/'ES2015', 'ES2016', 'ES2017', or 'ESNEXT'
        "module": "commonjs",                  // 指定使用模块: 'commonjs', 'amd', 'system', 'umd' or 'es2015'
        "lib": [],                             // 指定要包含在编译中的库文件
        "allowJs": true,                       // 允许编译 javascript 文件
        "checkJs": true,                       // 报告 javascript 文件中的错误
        "jsx": "preserve",                     // 指定 jsx 代码的生成: 'preserve', 'react-native', or 'react'
        "declaration": true,                   // 生成相应的 '.d.ts' 文件
        "sourceMap": true,                     // 生成相应的 '.map' 文件
        "outFile": "./",                       // 将输出文件合并为一个文件
        "outDir": "./",                        // 指定输出目录
        "rootDir": "./",                       // 用来控制输出目录结构 --outDir.
        "removeComments": true,                // 删除编译后的所有的注释
        "noEmit": true,                        // 不生成输出文件
        "importHelpers": true,                 // 从 tslib 导入辅助工具函数
        "isolatedModules": true,               // 将每个文件做为单独的模块 (与 'ts.transpileModule' 类似).

        /* 严格的类型检查选项 */
        "strict": true,                        // 启用所有严格类型检查选项
        "noImplicitAny": true,                 // 在表达式和声明上有隐含的 any类型时报错
        "strictNullChecks": true,              // 启用严格的 null 检查
        "noImplicitThis": true,                // 当 this 表达式值为 any 类型的时候,生成一个错误
        "alwaysStrict": true,                  // 以严格模式检查每个模块,并在每个文件里加入 'use strict'

        /* 额外的检查 */
        "noUnusedLocals": true,                // 有未使用的变量时,抛出错误
        "noUnusedParameters": true,            // 有未使用的参数时,抛出错误
        "noImplicitReturns": true,             // 并不是所有函数里的代码都有返回值时,抛出错误
        "noFallthroughCasesInSwitch": true,    // 报告 switch 语句的 fallthrough 错误。(即,不允许 switch 的 case 语句贯穿)
        "noEmitOnError": true,                 // 当有错误时不生成编译后的文件

        /* 模块解析选项 */
        "moduleResolution": "node",            // 选择模块解析策略: 'node' (Node.js) or 'classic' (TypeScript pre-1.6)
        "baseUrl": "./",                       // 用于解析非相对模块名称的基目录
        "paths": {},                           // 模块名到基于 baseUrl 的路径映射的列表
        "rootDirs": [],                        // 根文件夹列表,其组合内容表示项目运行时的结构内容
        "typeRoots": [],                       // 包含类型声明的文件列表
        "types": [],                           // 需要包含的类型声明文件名列表
        "allowSyntheticDefaultImports": true,  // 允许从没有设置默认导出的模块中默认导入。

        /* Source Map Options */
        "sourceRoot": "./",                    // 指定调试器应该找到 TypeScript 文件而不是源文件的位置
        "mapRoot": "./",                       // 指定调试器应该找到映射文件而不是生成文件的位置
        "inlineSourceMap": true,               // 生成单个 soucemaps 文件,而不是将 sourcemaps 生成不同的文件
        "inlineSources": true,                 // 将代码与 sourcemaps 生成到一个文件中,要求同时设置了 --inlineSourceMap 或 --sourceMap 属性

        /* 其他选项 */
        "experimentalDecorators": true,        // 启用装饰器
        "emitDecoratorMetadata": true          // 为装饰器提供元数据的支持
    }
}

基础类型

typescript
// 字符串类型声明,单引号/双引号不影响类型推断
let str: string = 'Hello World';

// 数字类型声明
let num: number = 120;
// 这些值也是合法的数字类型
let nan: number = NaN;
let max: number = Infinity;
let min: number = -Infinity;

// 布尔类型声明
let not: boolean = false;
// Typescript只对结果进行检查,!0最后得到true,因此不会报错
let yep: boolean = !0;

// symbol类型声明
let key: symbol = Symbol('key');

// never类型不能进行赋值
// 执行console.log(never === undefined),执行结果为true
let never: never;
// 但即使never === undefined,赋值逻辑仍然会报错
never = undefined;

// unknown
let notSure: unknown = 4;
// void
let unusable: void = undefined;

// 除了never,未开启strictNullChecks时,其他类型变量赋值为null/undefined/void 0不报错
let always: boolean = true;
let isNull: null =  null;
// 不会报错
always = null;
isNull = undefined;

// 字面量
let color: 'red' | 'blue' | 'black';

// any
let d: any = 3;
d = 'jeskson';

引用类型

typescript
// 数组类型有Array<T>和T[]两种写法
let arr1: Array<number> = [1]
let arr2: number[] = [2]

// 未开启strictNullChecks时,赋值为null/undefined/void 0不报错
let arr3: number[] = null
// 编译时不会报错,运行时报错
arr3.push(1)

// tuple
let x: [string, number];
x = ["hello", 10];

// 元组类型
// 坐标表示
let coordiate: [ number, number ] = [114.256429,22.724147]

// 其他引用数据类型
let date: Date = new Date()
let pattern: RegExp = /\w/gi

// 类型声明在函数中的简单运用
// 函数表达式的写法
function fullName(firstName: string, lastName: string): string {
return firstName + ' ' + lastName
}
// 函数声明式的写法
const sayHello = (fullName: string): void => alert(`Hello, ${ fullName }`)

// 当你不知道函数的返回值,但又不想用any/unknown的时候可以试试这种类型声明的写法,不过不推荐
const sayHey: Function = (fullName: string) => alert(`Hey, ${ fullName }`)

// 赋值给数字不会报错
let one: Object = 1
// 也赋值给数组,但无法使用数组的push方法
let arr: Object = []
// 会报错
arr.push(1)

// 赋值会报错
let two: object = 2

// object作为类型声明时,赋值给对象时不会报错
let obj1: object = {}
let obj2: object = { name: '王五' } 
let Obj3: Object = {}

// 会报错
obj1.name = '张三'
obj1.toString()
obj2.name

// 不会报错
Obj3.name = '李四'
Obj3.toString()

// {} 等同于匿名形式的type
type UserType = { name: string; }

let user: UserType = { name: '李四' }
let data: { name: string; } = { name: '张三' }

类型断言

变量的类型对于我们来说是很明确的,但是TS编译器却并不清楚,此时,可以通过类型断言来告诉编译器变量的类型

typescript
let someValue: unknown = "jeskson 1024bibi.com";
let strlength: number = (someValue as string).length;
let someValue: unknown = "1024bibi.com";

使用webpack打包代码

使用命令:npm init -y

使用:cnpm i -D webpack webpack-cli typescript ts-loader

javascript
// webpack.config.js
// 引入一个包
const path = require('path');

// webpack中的所有的配置信息都应该写在module.exports中
module.exports = {
    // 指定入口文件
    entry: "./src/index.ts",
    // 指定打包文件所在目录
    output: {
        // 指定打包文件的目录
        path: path.resolve(__dirname, 'dist'),
        // 打包后文件
        filename: "bundle.js"
    },

    // 指定webpack打包时要使用模块
    module: {
        // 指定要加载的规则
        rules: [
            {
                // test指定的是规则生效的文件
                test: /\.ts$/,
                // 要使用的Loader
                use: 'ts-loader',
                // 要排除的文件
                exclude: /node-modules/
            }
        ]
    }
};
javascript
// tsconfig.json
{
    "compilerOptions": {
        "module": "ES2015",
        "target": "ES2015",
        "strict": true
    }
}
javascript
// package.json
"scripts": {
    ...
    "bulid": "webpack"
}

使用gulp打包

npm install --global gulp-cli

npm install gulp@4

npm install gulp-typescript typescript

javascript
var gulp = require('gulp');
var ts = require('gulp-typescript');

gulp.task('default', function () {
    return gulp.src('src/**/*.ts')
        .pipe(ts({
            noImplicitAny: true,
            outFile: 'output.js'
        }))
        .pipe(gulp.dest('built/local'));
});
javascript
var gulp = require('gulp');
var ts = require('gulp-typescript');
var merge = require('merge2');  // Requires separate installation

gulp.task('scripts', function() {
    var tsResult = gulp.src('lib/**/*.ts')
        .pipe(ts({
            declaration: true
        }));

    return merge([
        tsResult.dts.pipe(gulp.dest('release/definitions')),
        tsResult.js.pipe(gulp.dest('release/js'))
    ]);
});
javascript
var gulp = require('gulp');
var ts = require('gulp-typescript');
var merge = require('merge2');

var tsProject = ts.createProject({
    declaration: true
});

gulp.task('scripts', function() {
    return gulp.src('lib/*.ts')
        .pipe(tsProject())
        .pipe(gulp.dest('dist'));
});

gulp.task('watch', [[scripts'], function() {
    gulp.watch('lib/*.ts', [[scripts']);
});
javascript
var gulp = require('gulp')
var ts = require('gulp-typescript');
var sourcemaps = require('gulp-sourcemaps');

gulp.task('scripts', function() {
    return gulp.src('lib/*.ts')
        .pipe(sourcemaps.init()) // This means sourcemaps will be generated
        .pipe(ts({
            // ...
        }))
        .pipe( ... ) // You can use other plugins that also support gulp-sourcemaps
        .pipe(sourcemaps.write()) // Now the sourcemaps are added to the .js file
        .pipe(gulp.dest('dist'));
});

gulp3

javascript
gulp.src(..)
  .pipe(ts(..))
  .on('error', () => { /* Ignore compiler errors */})
  .pipe(gulp.dest(..))

结合构建工具

npm i -D webpack webpack-cli webpack-dev-server typescript ts-loader clean-webpack-plugin

  • webpack:构建工具webpack
  • webpack-cli: webpack的命令行工具
  • webpack-dev-server: webpack 的开发服务器
  • typescript: ts编译器
javascript
// webpack.config.js

// 引入html插件
const HTMLWebpackPlugiin = require('html-webpack-plugin');
const {CleanWebpackPlugin} = require('clean-webpack-plugin');

// 配置webpack插件
plugins: [
    new CleanWebpackPlugin(),
    new HTMLWebpackPlugin({
        title: "这是一个自定义title"
    }), // 自动的生成html文件
]

// 用来设置引用模块
resolve: {
    extensions: [[.ts', '.js']
}
javascript
// package.json
"script": {
    ...
    "start": "webpack serve --open chrome.exe"
},

cnpm i -D @babel/core @babel/preset-env babel-loader core-js

javascript
// 指定webpack打包时要使用模块
module: {
    // 指定要加载的规则
    rules: [
        {
            // test指定的是规则生效的文件
            test: /\.ts$/,
            // 要使用的Loader
            use: [
                {
                    loader: "babel-loader",
                    // 设置babel
                    options: {
                        presets: [
                            [
                                // 指定环境的插件
                                "@babel/preset-env",
                                // 配置信息
                                {
                                    targets: {
                                        "chrome":"88"
                                    }
                                    "corejs": "3",
                                    // 使用corejs的方式 usage表示按需加载
                                    "useBuiltIns":"usage"
                                }
                            ]
                        ]
                    }
                }
                
                'ts-loader'
            ]
            // 要排除的文件
            exclude: /node-modules/
        }
    ]
}

typescript打包

javascript
const path = require("path");
const HtmlWebpackPlugin = require("html-webpack-plugin");
const { CleanWebpackPlugin } = require("clean-webpack-plugin");

module.exports = {
    optimization:{
        minimize: false // 关闭代码压缩,可选
    },

    entry: "./src/index.ts",

    devtool: "inline-source-map",

    devServer: {
        contentBase: './dist'
    },

    output: {
        path: path.resolve(__dirname, "dist"),
        filename: "bundle.js",
        environment: {
            arrowFunction: false // 关闭webpack的箭头函数,可选
        }
    },

    resolve: {
        extensions: [".ts", ".js"]
    },

    module: {
        rules: [
            {
                test: /\.ts$/,
                use: {
                    loader: "ts-loader"     
                },
                exclude: /node_modules/
            }
        ]
    },

    plugins: [
        new CleanWebpackPlugin(),
        new HtmlWebpackPlugin({
            title:'TS测试'
        }),
    ]
}

对象书写

typescript
class Dog {
    name: string;
    age: number;

    // constructor 被称为构造函数
    // 构造函数会在对象创建时调用
    constructor(name: string, age: number) {
        // 在实例方法中,this就表示当前的实例
        // 在构造函数中当前对象就是当前新建的那个对象
        // 可以通过this向新建的对象中添加属性
        this.name = name;
        this.age = age;
    }
    bark() {
        alert('1024bibi.com');
        // 在方法中可以通过this来表示当前调用方法的对象
        console.log(this.name);
    }
}
class Dog extends Animal{
    age: number,
    constructor(name: string, age: number){
        // 如果在子类中写了构造函数,在子类构造函数中必须对父类引用
        super(name); // 调用父类的构造函数
        this.age = age;
    }
    sayHello() {
        // 在类的方法中 super 就表示当前类的父类
        // super.sayHello();
    }
}
abstract class Animal{
    name: string;

    constructor(name: string) {
        this.name = name;
    }

    // 定义一个抽象方法
    // 抽象方法使用abstract开头,没有方法体
    // 抽象方法只能定义在抽象类中,子类必须对抽象方法进行重写
    abstract sayHello():void;
}

接口书写

javascript
interface myInter{
    name: string;
    sayHello(): void;
}
// 定义类时,可以使类去实现一个接口
// 实现接口就是使类满足接口的要求
class MyClass implements myInter {
    name: string;
    constructor(name: string) {
        this.name = name;
    }
    sayHello(){
        // 接口就是就类的限制,定义规范
    }
}

interface与type区别

  • 共同点

    1. 都可以描述一个对象或者函数
    2. 都允许拓展(extends)
  • type 可以而 interface 不行

    type 可以声明基本类型别名,联合类型,元组等类型

  • interface 可以而 type 不行

    interface 能够声明合并

interface

同名的 interface 自动聚合,也可以跟同名的 class 自动聚合

只能表示 object、class、function 类型

typescript
interface StringArray {
    readonly [index: number]: string; //可设置为只读
}

let myArray: StringArray;
myArray = ["Bob", "Fred"];

let myStr: string = myArray[0];

implement 实现接口不可继承

typescript
interface Point {
    x: number;
    y: number;
}

class SomePoint implements Point {
    x: 1;
    y: 2;
}

type Point2 = {
    x: number;
    y: number;
};

class SomePoint2 implements Point2 {
    x: 1;
    y: 2;
}

type PartialPoint = { x: number } | { y: number };

class SomePartialPoint implements PartialPoint {
    x: 1;
    y: 2;
}

给函数挂载属性

typescript
interface FuncWithAttachment {
    (param: string): boolean;
    someProperty: number;
}

const testFunc: FuncWithAttachment = function (param: string) {
    return param.indexOf("Neal") > -1;
};
const result = testFunc("Nealyang"); // 有类型提醒
testFunc.someProperty = 4;

extends继承

typescript
type num = {
    num: number;
};

interface IStrNum extends num {
    str: string;
}

// 与上面等价
type TStrNum = A & {
    str: string;
};

type IsEqualType<A, B> = A extends B
? B extends A
    ? true
    : false
: false;

type NumberEqualsToString = IsEqualType<number, string>; // false
type NumberEqualsToNumber = IsEqualType<number, number>; // true

type

不仅仅能够表示 object、class、function

不能重名(自然不存在同名聚合了),扩展已有的 type 需要创建新 type

支持复杂的类型操作

typescript
interface Point {
    x: number;
    y: number;
}

interface SetPoint {
    (x: number, y: number): void;
}

type Point = {
    x: number;
    y: number;
};

type SetPoint = (x: number, y: number) => void;

type Name = string;

type PartialPointX = { x: number };
type PartialPointY = { y: number };

type PartialPoint = PartialPointX | PartialPointY;

type Data = [number, string, boolean];

interface 和 type 不互斥

typescript
interface PartialPointX {x:number;};
interface Point extends PartialPointX {y:number;};

type PartialPointX = {x:number;};
type Point = PartialPointX & {y:number;};

type PartialPointX = {x:number;};
interface Point extends PartialPointX {y:number;};

interface ParticalPointX = {x:number;};
type Point = ParticalPointX & {y:number};

类型别名

typescript
type Props = TextProps

声明合并

typescript
interface Point {
    x: number;
}
interface Point {
    y: number;
}

const point: Point = { x: 1, y: 2 };

交叉类型

typescript
interface TA {
    a: string;
    b: string;
}

type TB = {
    b: number;
    c: number[];
}

type TC = TA | TB;// TC 的 key,包含 ab 或者 bc 即可,当然,包含 bac 也可以
type TD = TA & TB;// TD 的 可以,必须包含 abc

interface A{
    name:string;
    age:number;
    sayName:(name:string)=>void
}

interface B{
    name:string;
    gender:string;
    sayGender:(gender:string)=>void
}

let a:A&B;
typescript
type Form1Type = { name: string; } & { gender: number; }
// 等于 type Form1Type = { name: string; gender: number; }
type Form2Type = { name: string; } | { gender: number; }
// 等于 type Form2Type = { name?: string; gender?: number; }

let form1: Form1Type = { name: '王五' } // 提示缺少gender参数
let form2: Form2Type = { name: '刘六' } // 验证通过


type Form3Type = { name: string; } & { name?: string; gender: number; }
// 等于 type Form3Type = { name: string; gender: number; }
type Form4Type = { name: string; } | { name?: string; gender: number; }
// 等于 type Form4Type = { name?: string; gender: number; }

let form3: Form3Type = { gender: 1 } // 提示缺少name参数
let form4: Form4Type = { gender: 1 } // 验证通过


type Form5Type = { name: string; } & { name?: number; gender: number; }
// 等于 type Form5Type = { name: never; gender: number; }
type Form6Type = { name: string; } | { name?: number; gender: number; }
// 等于 type Form6Type = { name?: string | number; gender: number; }

let form5: Form5Type = { name: '张三', gender: 1 } // 提示name的类型为never,不能进行赋值
let form6: Form6Type = { name: '张三', gender: 1 } // 验证通过

keyof

是索引类型操作符,用来获取类型

typescript
interface IQZQD {
    cnName: string;
    age: number;
    author: string;
}
type ant = keyof IQZQD;

interface Map<T> {
    [key: string]: T;
}

//T[U]是索引访问操作符;U是一个属性名称。
let keys: keyof Map<number>; //string | number
let value: Map<number>["antzone"]; //number
typescript
interface Person {
    name: string
    age: number
}

type PersonKey = keyof Person // "name" | "age"

泛型

(不能应用于类的静态成员)不预先确定的数据类型,具体的类型在使用的时候再确定的一种类型约束规范

泛型的好处:

  1. 函数和类可以轻松的支持多种类型,增强程序的扩展性
  2. 不必写多条函数重载,冗长的联合类型声明,增强代码的可读性
  3. 灵活控制类型之间的约束
typescript
function log<T>(value: T): T {
    console.log(value);
    return value;
}

// 两种调用方式
log<string[]>(["a", ",b", "c"]);
log(["a", ",b", "c"]);
log("Nealyang");

type Log = <T>(value: T) => T;
let myLog: Log = log;

interface Log<T> {
    (value: T): T;
}
let myLog: Log<number> = log; // 泛型约束了整个接口,实现的时候必须指定类型。如果不指定类型,就在定义的之后指定一个默认的类型
myLog(1);

class Log<T> {
    // 泛型不能应用于类的静态成员
    run(value: T) {
        console.log(value);
        return value;
    }
}

let log1 = new Log<number>(); //实例化的时候可以显示的传入泛型的类型
log1.run(1);
let log2 = new Log();
log2.run({ a: 1 }); //也可以不传入类型参数,当不指定的时候,value 的值就可以是任意的值

//类型约束,需预定义一个接口
interface Length {
    length: number;
}
function logAdvance<T extends Length>(value: T): T {
    console.log(value, value.length);
    return value;
}

// 输入的参数不管是什么类型,都必须具有 length 属性
logAdvance([1]);
logAdvance("123");
logAdvance({ length: 3 });

属性相关

  • typeof 是获取一个对象/实例的类型

  • extends 主要作用是添加泛型约束

  • NonNullable<T> 从T中除去undefined null

  • Parameters 获取函数的参数类型,将每个参数类型放在一个元组中。

typescript
/**
 * @desc 具体实现
 */
type Parameters&lt;T extends (...args: any) => any> = T extends (...args: infer P) => any ? P : never;

/**
 * @example
 * type Eg = [arg1: string, arg2: number];
 */
type Eg = Parameters&lt;(arg1: string, arg2: number) => void>;
  • inter关键词作用是让Ts自己推导类型,并将推导结果存储在其参数绑定的类型上。只能在extends条件类型上使用。
typescript
/**
 * 约束参数T为数组类型,
 * 判断T是否为数组,如果是数组类型则推导数组元素的类型
 */
type FalttenArray&lt;T extends Array&lt;any>> = T extends Array&lt;infer P> ? P : never;

/**
 * type Eg1 = number | string;
 */
type Eg1 = FalttenArray&lt;[number, string]>
/**
 * type Eg2 = 1 | 'asd';
 */
type Eg2 = FalttenArray&lt;[1, 'asd']>
  • ReturnType<T> 获取函数的返回值类型
typescript
/**
 * @desc ReturnType的实现其实和Parameters的基本一样
 * 无非是使用infer R的位置不一样。
 */
type ReturnType&lt;T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;
  • ConstructorParameters 可以获取类的构造函数的参数类型,存在一个元组中。
typescript
/**
 * 核心实现还是利用infer进行推导构造函数的参数类型
 */
type ConstructorParameters&lt;T extends abstract new (...args: any) => any> = T extends abstract new (...args: infer P) => any ? P : never;


/**
 * @example
 * type Eg = string;
 */
interface ErrorConstructor {
  new(message?: string): Error;
  (message?: string): Error;
  readonly prototype: Error;
}
type Eg = ConstructorParameters&lt;ErrorConstructor>;

/**
 * @example
 * type Eg2 = [name: string, sex?: number];
 */
class People {
  constructor(public name: string, sex?: number) {}
}
type Eg2 = ConstructorParameters&lt;typeof People>
  • Partial 将某个类型里的属性全部变为可选项
typescript
// 实现:全部变可选
type Partial&lt;T> = {
    [P in keyof T]?: T[P]
}

interface Animal {
    canFly: boolean
    canSwim: boolean
}

// 变可选,可以只赋值部分属性
let animal: Partial&lt;Animal> = {
    canFly: false,
}
  • Required 传入的属性变为必选项
typescript
// 实现:全部变必选
type Required&lt;T> = {
    [P in keyof T]-?: T[P]
}
interface Person {
    name?: string
    age?: number
}

// Property 'age' is missing in type '{ name: string; }' but required in type 'Required&lt;Person>'.
let person: Required&lt;Person> = {
    name: 'jacky',
    // 没写 age 属性会提示错误
}
  • Readonly 属性变为只读选项
typescript
// 实现:全部变只读
type Readonly&lt;T> = {
    readonly [P in keyof T]: T[P]
}

interface Person {
    name: string
    age: number
}

let person: Readonly&lt;Person> = {
    name: 'jacky',
    age: 24,
}
person.name = 'jack' // Cannot assign to 'name' because it is a read-only property.
  • Record 将 K 中所有的属性的值转化为 T 类型
typescript
// 实现:K 中所有属性值转化为 T 类型
type Record&lt;K extends keyof any, T> = {
    [P in K]: T
}

interface DatabaseInfo {
    id: string
}

type DataSource = 'user' | 'detail' | 'list'

const x: Record&lt;DataSource, DatabaseInfo> = {
    user: { id: '1' },
    detail: { id: '2' },
    list: { id: '3' },
}
  • Pick 从 T 中取出 一系列 K 的属性
typescript
// 实现:通过从Type中选择属性Keys的集合来构造类型
type Pick&lt;T, K extends keyof T> = {
    [P in K]: T[P]
}

interface Animal {
    canFly: boolean
    canSwim: boolean
}

let person: Pick&lt;Animal, 'canSwim'> = {
    canSwim: true,
}
  • Exclude 将某个类型中属于另一个的类型移除掉
typescript
// 实现:如果 T 中的类型在 U 不存在,则返回,否则不返回
type Exclude&lt;T, U> = T extends U ? never : T

interface Programmer {
    name: string
    age: number
    isWork: boolean
    isStudy: boolean
}

interface Student {
    name: string
    age: number
    isStudy: boolean
}

type ExcludeKeys = Exclude&lt;keyof Programmer, keyof Student>
// type ExcludeKeys = "isWork"
  • Extract 从 T 中提取出 U
typescript
/**
* Extract from T those types that are assignable to U
*/
type Extract&lt;T, U> = T extends U ? T : never;
type T01 = Extract&lt;"a" | "b" | "c" | "d", "a" | "c" | "f">; // -> 'a' | 'c'
  • Omit:Pick 和 Exclude 进行组合, 实现忽略对象某些属性功能
typescript
// 实现:去除类型 T 中包含 K 的键值对。
type Omit&lt;T, K extends keyof any> = Pick&lt;T, Exclude&lt;keyof T, K>>

interface Animal {
    canFly: boolean
    canSwim: boolean
}

let person1: Pick&lt;Animal, 'canSwim'> = {
    canSwim: true,
}

let person2: Omit&lt;Animal, 'canFly'> = {
    canSwim: true,
}
  • ReturnType 获取函数返回值类型
typescript
// 实现:获取 T 类型(函数)对应的返回值类型
type ReturnType&lt;T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any

function bar(x: string | number): string | number {
    return 'hello'
}
type FooType = ReturnType&lt;typeof bar> // string | number

类型断言:any大法好

typescript
const nealyang = {};
nealyang.enName = 'Nealyang'; // Error: 'enName' 属性不存在于 ‘{}’
nealyang.cnName = '一凨'; // Error: 'cnName' 属性不存在于 '{}'
interface INealyang = {
    enName:string;
    cnName:string;
}

const nealyang = {} as INealyang; // const nealyang = &lt;INealyang>{};
nealyang.enName = 'Nealyang';
nealyang.cnName = '一凨';

函数重载

tsconfig.json

javascript
{
    "compilerOptions": {
        "target": "ES5",
        "experimentalDecorators": true
    }
}
typescript
declare function test(a: number): number;
declare function test(a: string): string;

const resS = test("Hello World"); // resS 被推断出类型为 string;
const resN = test(1234); // resN 被推断出类型为 number;

装饰器

typescript
function f() {
    console.log("f(): evaluated");
    return function (target:any, propertyKey: string, descriptor: PropertyDescriptor) {
        console.log("f(): called");
    }
}

function g() {
    console.log("g(): evaluated");
    return function (target:any, propertyKey: string, descriptor: PropertyDescriptor) {
        console.log("g(): called");
    }
}

class C {
    @f()
    @g()
    method() {}
}

// f(): evaluated
// g(): evaluated
// g(): called
// f(): called

@sealed
class Greeter {
    greeting: string;
    constructor(message: string) {
        this.greeting = message;
    }
    greet() {
        return "Hello, " + this.greeting;
    }
}

function sealed(constructor: Function) {
    Object.seal(constructor);
    Object.seal(constructor.prototype);
}

function classDecorator&lt;T extends {new(...args:any[]):{}}>(constructor:T) {
    return class extends constructor {
        newProperty = "new property";
        hello = "override";
    }
}

@classDecorator
class Greeter2 {
    property = "property";
    hello: string;
    constructor(m: string) {
        this.hello = m;
    }
}

console.log(new Greeter("world"));

class Greeter3 {
    greeting: string;
    constructor(message: string) {
        this.greeting = message;
    }

    @enumerable(false)
    greet() {
        return "Hello, " + this.greeting;
    }
}

function enumerable(value: boolean) {
    return function (target: any, propertyKey: string, descriptor: PropertyDescriptor) {
        descriptor.enumerable = value;
    };
}

class Point2 {
    private _x: number;
    private _y: number;
    constructor(x: number, y: number) {
        this._x = x;
        this._y = y;
    }

    @configurable(false)
    get x() { return this._x; }

    @configurable(false)
    get y() { return this._y; }
}

function configurable(value: boolean) {
    return function (target: any, propertyKey: string, descriptor: PropertyDescriptor) {
        descriptor.configurable = value;
    };
}

compiler内部实现的类型

  • Uppercase
typescript
/**
 * @desc 构造一个将字符串转大写的类型
 * @example
 * type Eg1 = 'ABCD';
 */
type Eg1 = Uppercase&lt;'abcd'>;
  • Lowercase
typescript
/**
 * @desc 构造一个将字符串转小大写的类型
 * @example
 * type Eg2 = 'abcd';
 */
type Eg2 = Lowercase&lt;'ABCD'>;
  • Capitalize
typescript
/**
 * @desc 构造一个将字符串首字符转大写的类型
 * @example
 * type Eg3 = 'abcd';
 */
type Eg3 = Capitalize&lt;'Abcd'>;
  • Uncapitalize
typescript
/**
 * @desc 构造一个将字符串首字符转小写的类型
 * @example
 * type Eg4 = 'ABCD';
 */
type Eg4 = Uncapitalize&lt;'aBCD'>;

自定义高级类型

  • SymmetricDifference

获取没有同时存在于T和U内的类型。

typescript
/**
 * SetDifference的实现和Exclude一样
 */
type SymmetricDifference&lt;T, U> = Exclude&lt;T | U, T & U>;

/**
 * @example
 * type Eg = '1' | '4';
 */
type Eg = SymmetricDifference&lt;'1' | '2' | '3', '2' | '3' | '4'>
  • FunctionKeys

获取T中所有类型为函数的key组成的联合类型。

typescript
/**
 * @desc NonUndefined判断T是否为undefined
 */
type NonUndefined&lt;T> = T extends undefined ? never : T;

/**
 * @desc 核心实现
 */
type FunctionKeys&lt;T extends object> = {
  [K in keyof T]: NonUndefined&lt;T[K]> extends Function ? K : never;
}[keyof T];

/**
 * @example
 * type Eg = 'key2' | 'key3';
 */
type AType = {
    key1: string,
    key2: () => void,
    key3: Function,
};
type Eg = FunctionKeys&lt;AType>;

工厂实现

typescript
type Primitive =
  | string
  | number
  | bigint
  | boolean
  | symbol
  | null
  | undefined;

/**
 * @desc 用于创建获取指定类型工具的类型工厂
 * @param T 待提取的类型
 * @param P 要创建的类型
 * @param IsCheckNon 是否要进行null和undefined检查
 */
type KeysFactory&lt;T, P extends Primitive | Function | object, IsCheckNon extends boolean> = {
  [K in keyof T]: IsCheckNon extends true
    ? (NonUndefined&lt;T[K]> extends P ? K : never)
    : (T[K] extends P ? K : never);
}[keyof T];

/**
 * @example
 * 例如上述KeysFactory就可以通过工厂类型进行创建了
 */
type FunctionKeys&lt;T> = KeysFactory&lt;T, Function, true>;
type StringKeys&lt;T> = KeysFactory&lt;T, string, true>;
type NumberKeys&lt;T> = KeysFactory&lt;T, string, true>;
  • MutableKeys

查找T所有可选类型的key组成的联合类型。

typescript
/**
 * 核心实现
 */
type MutableKeys&lt;T extends object> = {
  [P in keyof T]-?: IfEquals&lt;
    { [Q in P]: T[P] },
    { -readonly [Q in P]: T[P] },
    P
  >;
}[keyof T];

/**
 * @desc 一个辅助类型,判断X和Y是否类型相同,
 * @returns 是则返回A,否则返回B
 */
type IfEquals&lt;X, Y, A = X, B = never> = (&lt;T>() => T extends X ? 1 : 2) extends (&lt;T>() => T extends Y ? 1 : 2)
  ? A
  : B;
  • OptionalKeys

提取T中所有可选类型的key组成的联合类型。

typescript
type OptionalKeys&lt;T> = {
  [P in keyof T]: {} extends Pick&lt;T, P> ? P : never
}[keyof T];

type Eg = OptionalKeys&lt;{key1?: string, key2: number}>
// Eg2 = false
type Eg2 = {} extends {key1: string} ? true : false;
// Eg3 = true
type Eg3 = {} extends {key1?: string} ? true : false;
  • 增强Pick

PickByValue提取指定值的类型

typescript
// 辅助函数,用于获取T中类型不能never的key组成的联合类型
type TypeKeys&lt;T> = T[keyof T];

/**
 * 核心实现
 */
type PickByValue&lt;T, V> = Pick&lt;T,
  TypeKeys&lt;{[P in keyof T]: T[P] extends V ? P : never}>
>;

/**
 * @example
 *  type Eg = {
 *    key1: number;
 *    key3: number;
 *  }
 */
type Eg = PickByValue&lt;{key1: number, key2: string, key3: number}, number>;

PickByValueExact精准的提取指定值的类型

typescript
/**
 * 核心实现
 */
type PickByValueExact&lt;T, V> = Pick&lt;T,
  TypeKeys&lt;{[P in keyof T]: [T[P]] extends [V]
    ? ([V] extends [T[P]] ? P : never)
    : never;
  }>
>

// type Eg1 = { b: number };
type Eg1 = PickByValueExact&lt;{a: string, b: number}, number>
// type Eg2 = { b: number; c: number | undefined }
type Eg2 = PickByValueExact&lt;{a: string, b: number, c: number | undefined}, number>
  • Intersection

从T中提取存在于U中的key和对应的类型

typescript
/**
 * 核心思路利用Pick提取指定的key组成的类型
 */
type Intersection&lt;T extends object, U extends object> = Pick&lt;T,
  Extract&lt;keyof T, keyof U> & Extract&lt;keyof U, keyof T>
>

type Eg = Intersection&lt;{key1: string}, {key1:string, key2: number}>
  • Diff

从T中排除存在于U中的key和类型

typescript
type Diff&lt;T extends object, U extends object> = Pick&lt;
  T,
  Exclude&lt;keyof T, keyof U>
>;
  • Overwrite

从U中的同名属性的类型覆盖T中的同名属性类型

typescript
/**
 * Overwrite实现
 * 获取前者独有的key和类型,再取两者共有的key和该key在后者中的类型,最后合并。
 */
type Overwrite&lt;
  T extends object,
  U extends object,
  I = Diff&lt;T, U> & Intersection&lt;U, T>
> = Pick&lt;I, keyof I>;

/**
 * @example
 * type Eg1 = { key1: number; }
 */
type Eg1 = Overwrite&lt;{key1: string}, {key1: number, other: boolean}>
  • Assign

类似于Object.assign()合并

typescript
// 实现
type Assign&lt;
  T extends object,
  U extends object,
  I = Diff&lt;T, U> & Intersection&lt;U, T> & Diff&lt;U, T>
> = Pick&lt;I, keyof I>;

/**
 * @example
 * type Eg = {
 *   name: string;
 *   age: string;
 *   other: string;
 * }
 */
type Eg = Assign&lt;
  { name: string; age: number; },
  { age: string; other: string; }
>;
  • DeepRequired

将T的转换成必须属性

typescript
/**
 * DeepRequired实现
 */
type DeepRequired&lt;T> = T extends (...args: any[]) => any
  ? T
  : T extends Array&lt;any>
    ? _DeepRequiredArray&lt;T[number]>
    : T extends object
      ? _DeepRequiredObject&lt;T>
      : T;

// 辅助工具,递归遍历数组将每一项转换成必选
interface _DeepRequiredArray&lt;T> extends Array&lt;DeepRequired&lt;NonUndefined&lt;T>>> {}

// 辅助工具,递归遍历对象将每一项转换成必选
type _DeepRequiredObject&lt;T extends object> = {
  [P in keyof T]-?: DeepRequired&lt;NonUndefined&lt;T[P]>>
}
  • DeepReadonlyArray

将T的转换成只读的

typescript
/**
 * DeepReadonly实现
 */
type DeepReadonly&lt;T> = T extends ((...args: any[]) => any) | Primitive
  ? T
  : T extends _DeepReadonlyArray&lt;infer U>
  ? _DeepReadonlyArray&lt;U>
  : T extends _DeepReadonlyObject&lt;infer V>
  ? _DeepReadonlyObject&lt;V>
  : T;

/**
 * 工具类型,构造一个只读数组
 */
interface _DeepReadonlyArray&lt;T> extends ReadonlyArray&lt;DeepReadonly&lt;T>> {}

/**
 * 工具类型,构造一个只读对象
 */
type _DeepReadonlyObject&lt;T> = {
  readonly [P in keyof T]: DeepReadonly&lt;T[P]>;
};
  • UnionToIntersection

将联合类型转变成交叉类型

typescript
type UnionToIntersection&lt;T> = (T extends any
  ? (arg: T) => void
  : never
) extends (arg: infer U) => void ? U : never
type Eg = UnionToIntersection&lt;{ key1: string } | { key2: number }>

日常应用

  • 写在前面:规律总结

    • type里没循环,循环需要用infer+递归
    • Pick和Omit+Partial和Require组合起来能实现很多功能
    • 重载需要注意顺序
    • 通过拓展运算符把arguments当做数组处理作可以一定程度上对限定参数之间的关系
    • infer可以用来做各种pick,从type中中任意pick,配合递归
    • never可以用来声明对象里必没有xx属性
    • 内置类型PropertyKey
    • 可以借助function的arguments对泛型做进一步处理
  1. 返回值错误
typescript
type User = {
    id: number;
    kind: string;
};

function makeCustomer&lt;T extends User>(u: T): T {
    // Error(TS 编译器版本:v4.4.2)
    // Type '{ id: number; kind: string; }' is not assignable to type 'T'.
    // '{ id: number; kind: string; }' is assignable to the constraint of type 'T', 
    // but 'T' could be instantiated with a different subtype of constraint 'User'.
    return {
        id: u.id,
        kind: 'customer'
    }
}

修复

typescript
//1.T 类型兼容 User类型
function makeCustomer&lt;T extends User>(u: T): T {
	// Error(TS 编译器版本:v4.4.2)
	// Type '{ id: number; kind: string; }' is not assignable to type 'T'.
	// '{ id: number; kind: string; }' is assignable to the constraint of type 'T',
	// but 'T' could be instantiated with a different subtype of constraint 'User'.
	return {
                ...u,
		id: u.id,
		kind: 'customer',
	};
}
//2.返回值限制为User 类型的
function makeCustomer&lt;T extends User>(u: T): ReturnMake&lt;T, User> {
	// Error(TS 编译器版本:v4.4.2)
	// Type '{ id: number; kind: string; }' is not assignable to type 'T'.
	// '{ id: number; kind: string; }' is assignable to the constraint of type 'T',
	// but 'T' could be instantiated with a different subtype of constraint 'User'.
	return {
		id: u.id,
		kind: 'customer',
	};
}
  1. 我们希望参数 a 和 b 的类型都是一致的,即 a 和 b 同时为 number 或 string 类型。当它们的类型不一致的值,TS 类型检查器能自动提示对应的错误信息。
typescript
function f(a: string | number, b: string | number) {
  if (typeof a === 'string') {
    return a + ':' + b; // no error but b can be number!
  } else {
    return a + b; // error as b can be number | string
  }
}

f(2, 3); // Ok
f(1, 'a'); // Error
f('a', 2); // Error
f('a', 'b') // Ok

修复:函数重载

typescript
function f(a: string, b: string): string
function f(a: number, b: number): number
function f(a: string | number, b: string | number ): string | number {
  if (typeof a === 'string') {
    return a + ':' + b;
  } else {
    return ((a as number) + (b as number));
  }
}

f(2, 3); // Ok
f(1, 'a'); // Error
f('a', 2); // Error
f('a', 'b') // Ok
  1. Partial&lt;T>,它的作用是将某个类型里的属性全部变为可选项 ?, 现定义一个 SetOptional/SetRequired 工具类型,支持把给定的 keys 对应的属性变成可选/必填
typescript
type Foo = {
	a: number;
	b?: string;
	c: boolean;
}

type Simplify&lt;T> = {
  [P in keyof T]: T[P]
}

type SetOptional&lt;T, K extends keyof T> = 
  Simplify&lt;Partial&lt;Pick&lt;T, K>> & Pick&lt;T, Exclude&lt;keyof T, K>>>

// 测试用例
type SomeOptional = SetOptional&lt;Foo, 'a' | 'b'>;
// type SomeOptional = {
// 	a?: number; // 该属性已变成可选的
// 	b?: string; // 保持不变
// 	c: boolean;
// }

type SetRequired&lt;T, K extends keyof T> = Simplify&lt;Pick&lt;T, Exclude&lt;keyof T, K>> & Required&lt;Pick&lt;T, K>>>

// 测试用例
type SomeRequired = SetRequired&lt;Foo, 'b' | 'c'>;
// type SomeRequired = {
// 	a?: number;
// 	b: string; // 保持不变
// 	c: boolean; // 该属性已变成必填
// }
  1. Pick的作用是将某个类型中的子属性挑出来,变成包含这个类型部分属性的子类型。定义一个 ConditionalPick 工具类型,支持根据指定的 Condition 条件来生成新的类型
typescript
interface Example {
  a: string;
  e: number;
  b: string | number;
  c: () => void;
  d: {};
  f: string | number | boolean;
}
type ConditionalPick&lt;V, T> = {
  [K in keyof V as V[K] extends T ? K : never]: V[K];
};
type StringKeysOnly = ConditionalPick&lt;Example, string | number>;
  1. 定义一个工具类型 AppendArgument,为已有的函数类型增加指定类型的参数,新增的参数名是 x,将作为新函数类型的第一个参数。

1 使用 Parameters 和 ReturnType 工具类型

typescript
type AppendArgument&lt;F extends (...args: any) => any, A> 
  = (x: A, ...args: Parameters&lt;F>) => ReturnType&lt;F> 

type Fn = (a: number, b: string) => number
type FinalF = AppendArgument&lt;Fn, boolean> 
// (x: boolean, a: number, b: string) => number

2 使用 infer 方式

typescript
type AppendArgument&lt;F, T> = F extends (...args: infer Args) => infer Return ? 
  (x: T, ...args: Args) => Return : never

type Fn = (a: number, b: string) => number
type FinalFn = AppendArgument&lt;Fn, boolean>
// (x: boolean, a: number, b: string) => number
  1. 支持把数组类型扁平化

浅扁平

typescript
type NaiveFlat&lt;T extends any[]> = {
  [P in keyof T]: T[P] extends any[] ? T[P][number] : T[P]
}[number]

type NaiveResult = NaiveFlat&lt;[&lsqb;[a'], &lsqb;[b', 'c'], &lsqb;[d']]>
// NaiveResult的结果: "a" | "b" | "c" | "d"

深扁平

typescript
type Deep = [&lsqb;[a'], &lsqb;[b', 'c'], [&lsqb;[d']], [[[&lsqb;[e']]]]];

type DeepFlat&lt;T extends any[]> = {
  [K in keyof T]: T[K] extends any[] ? DeepFlat&lt;T[K]> : T[K]
}[number]

type DeepTestResult = DeepFlat&lt;Deep>
// DeepTestResult: "a" | "b" | "c" | "d" | "e"
  1. 定义一个 EmptyObject 类型,使得该类型只允许空对象赋值;更改以下 takeSomeTypeOnly 函数的类型定义,让它的参数只允许严格SomeType类型的值
typescript
type EmptyObject = {
  // type PropertyKey = string | number | symbol
  [K in PropertyKey]: never 
}

// 测试用例
const shouldPass: EmptyObject = {}; // 可以正常赋值
const shouldFail: EmptyObject = { // 将出现编译错误
  prop: "TS"
}
typescript
type SomeType =  {
  prop: string
}

type Exclusive&lt;T1, T2 extends T1> = {
  [K in keyof T2]: K extends keyof T1 ? T2[K] : never 
}

// 更改以下函数的类型定义,让它的参数只允许严格SomeType类型的值
function takeSomeTypeOnly&lt;T extends SomeType>(x: Exclusive&lt;SomeType, T>) { return x }

// 测试用例:
const x = { prop: 'a' };
takeSomeTypeOnly(x) // 可以正常调用

const y = { prop: 'a', addditionalProp: 'x' };
takeSomeTypeOnly(y) // 将出现编译错误
  1. 定义 NonEmptyArray 工具类型,用于确保数据非空数组
typescript
type NonEmptyArray&lt;T> = [T, ...T[]]
//或
type NonEmptyArray&lt;T> = T[] & { 0: T };
  1. 定义一个 JoinStrArray 工具类型,用于根据指定的 Separator 分隔符,对字符串数组类型进行拼接。
typescript
type JoinStrArray&lt;Arr extends string[], Separator extends string, Result extends string = ""> = 
    Arr extends [infer El,...infer Rest] ? 
            Rest extends string[] ?
            El extends string ?
            Result extends "" ?
            JoinStrArray&lt;Rest, Separator,`${El}`> :
            JoinStrArray&lt;Rest, Separator,`${Result}${Separator}${El}`> :
            `${Result}` :
            `${Result}` :
            `${Result}`

type Names = ["Sem", "Lolo", "Kaquko"]
type NamesComma = JoinStrArray&lt;Names, ","> // "Sem,Lolo,Kaquko"
type NamesSpace = JoinStrArray&lt;Names, " "> // "Sem Lolo Kaquko"
type NamesStars = JoinStrArray&lt;Names, "⭐️"> // "Sem⭐️Lolo⭐️Kaquko"
  1. 实现一个 Trim 工具类型,用于对字符串字面量类型进行去空格处理
typescript
type TrimLeft&lt;V extends string> = V extends ` ${infer R}` ? TrimLeft&lt;R> : V;
type TrimRight&lt;V extends string> = V extends `${infer R} ` ? TrimRight&lt;R> : V;

type Trim&lt;V extends string> = TrimLeft&lt;TrimRight&lt;V>>;

// 测试用例
Trim&lt;' semlinker '>
//=> 'semlinker'
  1. 实现一个 IsEqual 工具类型,用于比较两个类型是否相等
typescript
type IsEqual&lt;A, B> = A extends B ? (B extends A ? true : false) : false;

// 测试用例
type E0 = IsEqual&lt;1, 2>; // false
type E1 = IsEqual&lt;{ a: 1 }, { a: 1 }>; // true
type E2 = IsEqual&lt;[1], []>; // false
  1. 实现一个 Head 工具类型,用于获取数组类型的第一个类型
typescript
type Head&lt;T extends Array&lt;any>> = T extends [] ? never : T[0];

// 测试用例
type H0 = Head&lt;[]>; // never
type H1 = Head&lt;[1]>; // 1
type H2 = Head&lt;[3, 2]>; // 3
  1. 实现一个 Tail 工具类型,用于获取数组类型除了第一个类型外,剩余的类型
typescript
type Tail&lt;T extends Array&lt;any>> = T extends [infer A, ...infer B] ? B : [];

// 测试用例
type T0 = Tail&lt;[]>; // []
type T1 = Tail&lt;[1, 2]>; // [2]
type T2 = Tail&lt;[1, 2, 3, 4, 5]>; // [2, 3, 4, 5]
  1. 实现一个 Unshift 工具类型,用于把指定类型 E 作为第一个元素添加到 T 数组类型中
typescript
type Unshift&lt;T extends any[], E> = [E, ...T];

// 测试用例
type Arr = Unshift&lt;[1, 2, 3], 0>; // [0, 1, 2, 3]
  1. 实现一个 Shift 工具类型,用于移除 T 数组类型中的第一个类型
typescript
type Shift&lt;T extends any[]> = T extends [infer A, ...infer B] ? B : [];

// 测试用例
type S0 = Shift&lt;[1, 2, 3]>; // [2,3]
type S1 = Shift&lt;[string, number, boolean]>; //[number, boolean]
type S2 = Shift&lt;[]>; // []
type S3 = Shift&lt;[string]>; // []
  1. 实现一个 Push 工具类型,用于把指定类型 E 作为最后一个元素添加到 T 数组类型中
typescript
type Push&lt;T extends any[], V> = T extends [...infer U] ? [...U, V] : never;

// 测试用例
type Arr0 = Push&lt;[], 1> // [1]
type Arr1 = Push&lt;[1, 2, 3], 4> // [1, 2, 3, 4
  1. 实现一个 Includes 工具类型,用于判断指定的类型 E 是否包含在 T 数组类型中
typescript
//利用11编写的isEqual
type Includes&lt;T extends Array&lt;any>, E> = T extends [infer A, ...infer B]
  ? IsEqual&lt;A, E> extends true
    ? true
    : Includes&lt;B, E>
  : false;

type I0 = Includes&lt;[], 1>; // false
type I1 = Includes&lt;[2, 2, 3, 1], 2>; // true
type I2 = Includes&lt;[2, 3, 3, 1], 1>; // true
  1. 实现一个 UnionToIntersection 工具类型,用于把联合类型转换为交叉类型
typescript
/**
 * 将联合类型转为对应的交叉函数类型
 * @template U 联合类型
 */
type UnionToInterFunction&lt;U> = (U extends any ? (k: () => U) => void : never) extends (
  k: infer I,
) => void
  ? I
  : never;

/**
 * 获取联合类型中的最后一个类型
 * @template U 联合类型
 */
type GetUnionLast&lt;U> = UnionToInterFunction&lt;U> extends { (): infer A } ? A : never;

/**
 * 在元组类型中前置插入一个新的类型(元素);
 * @template Tuple 元组类型
 * @template E 新的类型
 */
type Prepend&lt;Tuple extends any[], E> = [E, ...Tuple];

/**
 * 联合类型转元组类型;
 * @template Union 联合类型
 * @template T 初始元组类型
 * @template Last 传入联合类型中的最后一个类型(元素),自动生成,内部使用
 */
type UnionToTuple&lt;Union, T extends any[] = [], Last = GetUnionLast&lt;Union>> = {
  0: T;
  1: UnionToTuple&lt;Exclude&lt;Union, Last>, Prepend&lt;T, Last>>;
}[[Union] extends [never] ? 0 : 1];

type TupleToIntersection&lt;T extends Array&lt;any>> = T extends [infer F, ...infer U]
  ? U extends []
    ? F
    : F & TupleToIntersection&lt;U>
  : never;

type UnionToIntersection&lt;U> = TupleToIntersection&lt;UnionToTuple&lt;U>>;

// 测试用例
type U0 = UnionToIntersection&lt;string | number>; // never
type U1 = UnionToIntersection&lt;{ name: string } | { age: number }>; // { name: string; } & { age: number; }
  1. 实现一个 OptionalKeys 工具类型,用来获取对象类型中声明的可选属性
typescript
type Person = {
  id: string;
  name: string;
  age: number;
  from?: string;
  speak?: string;
};

type OptionalKeys&lt;T> = NonNullable&lt;{
  [P in keyof T]: undefined extends T[P] ? P : never
}[keyof T]>

type PersonOptionalKeys = OptionalKeys&lt;Person> // "from" | "speak"
  1. 实现一个 Curry 工具类型,用来实现函数类型的柯里化处理
typescript
type Curry&lt;
  F extends (...args: any[]) => any,
  P extends any[] = Parameters&lt;F>,
  R = ReturnType&lt;F>
> = P extends [infer A, ...infer B]
  ? B extends []
    ? (...args: [A]) => R
    : (...args: [A]) => Curry&lt;(...args: B) => R>
  : () => R;
//
type F0 = Curry&lt;() => Date>; // () => Date
type F1 = Curry&lt;(a: number) => Date>; // (arg: number) => Date
type F2 = Curry&lt;(a: number, b: string) => Date>; //  (arg_0: number) => (b: string) => Date
  1. 实现一个 Merge 工具类型,用于把两个类型合并成一个新的类型。第二种类型(SecondType)的 Keys 将会覆盖第一种类型(FirstType)的 Keys
typescript
type Foo = {
  a: number;
  b: string;
};

type Bar = {
  b: number;
};

type Merge&lt;FirstType, SecondType> = {
  [K in keyof (FirstType & SecondType)]: K extends keyof SecondType
    ? SecondType[K]
    : K extends keyof FirstType
    ? FirstType[K]
    : never;
};

const ab: Merge&lt;Foo, Bar> = { a: 1, b: 2 };
  1. 实现一个 RequireAtLeastOne 工具类型,它将创建至少含有一个给定 Keys 的类型,其余的 Keys 保持原样
typescript
type Responder = {
  text?: () => string;
  json?: () => string;
  secure?: boolean;
};

type RequireAtLeastOne&lt;
    ObjectType,
    KeysType extends keyof ObjectType = keyof ObjectType,
> = KeysType extends keyof ObjectType ? 
  ObjectType & Required&lt;Pick&lt;ObjectType, KeysType>>: 
  never;


// 表示当前类型至少包含 'text' 或 'json' 键
const responder: RequireAtLeastOne&lt;Responder, 'text' | 'json'> = {
    json: () => '{"message": "ok"}',
    secure: true
};

const responder2: RequireAtLeastOne&lt;Responder, 'text' | 'json'> = {
    secure: true
};

const responder3: RequireAtLeastOne&lt;Responder, 'text' | 'json'> = {
};
  1. 实现一个 RemoveIndexSignature 工具类型,用于移除已有类型中的索引签名
typescript
interface Foo {
  [key: string]: any;
  [key: number]: any;
  bar(): void;
}

type RemoveIndexSignature&lt;T> = {
  [key in keyof T as string extends key ? never : number extends key ? never: key]: T[key] 
}

type FooWithOnlyBar = RemoveIndexSignature&lt;Foo>; //{ bar: () => void; }
  1. 实现一个 Mutable 工具类型,用于移除对象类型上所有属性或部分属性的 readonly 修饰符
typescript
ype Foo = {
  readonly a: number;
  readonly b: string;
  readonly c: boolean;
};

type RemoveReadonly&lt;T, Keys extends keyof T> = {
  -readonly [K in Keys]: T[K];
};

type Mutable&lt;T, Keys extends keyof T = keyof T> = Omit&lt;T, Keys> & RemoveReadonly&lt;T, Keys>;

const mutableFoo: Mutable&lt;Foo, "a"> = { a: 1, b: "2", c: true };

mutableFoo.a = 3; // OK
mutableFoo.b = "6"; // Cannot assign to 'b' because it is a read-only property.
  1. 实现一个 IsUnion 工具类型,判断指定的类型是否为联合类型
typescript
type IsUnion&lt;T, U = T> = T extends U ? ([U] extends [T] ? false : true) : never;

type I0 = IsUnion&lt;string | number>; // true
type I1 = IsUnion&lt;string | never>; // false
type I2 = IsUnion&lt;string | unknown>; // false
  1. 实现一个 IsNever 工具类型,判断指定的类型是否为 never 类型
typescript
type IsNever&lt;T> = [T] extends [never] ? true : false;

type I0 = IsNever&lt;never>; // true
type I1 = IsNever&lt;never | string>; // false
type I2 = IsNever&lt;null>; // false
  1. 实现一个 Reverse 工具类型,用于对元组类型中元素的位置颠倒,并返回该数组
typescript
type Reverse&lt;T extends Array&lt;any>> = T extends [infer First, ...infer Rest]
  ? [...Reverse&lt;Rest>, First]
  : [];

type R0 = Reverse&lt;[]>; // []
type R1 = Reverse&lt;[1, 2, 3]>; // [3, 2, 1]
  1. 实现一个 Split 工具类型,根据给定的分隔符(Delimiter)对包含分隔符的字符串进行切割
typescript
type Item = "semlinker,lolo,kakuqo";

type Split&lt;
  S extends string,
  Delimiter extends string,
> = S extends `${infer First}${Delimiter}${infer Rest}` ? [First, ...Split&lt;Rest, Delimiter>] : [S];

type ElementType = Split&lt;Item, ",">; // ["semlinker", "lolo", "kakuqo"]
  1. 实现一个 ToPath 工具类型,用于把属性访问(. 或 [])路径转换为元组的形式
typescript
type Str2Tuple&lt;S extends string> = S extends `${infer First}[${infer Second}]`
  ? [First, Second]
  : [S];

type ToPath&lt;S extends string> = S extends `${infer First}.${infer Rest}`
  ? [...Str2Tuple&lt;First>, ...ToPath&lt;Rest>]
  : [S];

type T1 = ToPath&lt;"foo.bar.baz">; //=> &lsqb;[foo', 'bar', 'baz']
type T2 = ToPath&lt;"foo[0].bar.baz">; //=> &lsqb;[foo', '0', 'bar', 'baz']
  1. 完善 Chainable 类型的定义,使得 TS 能成功推断出 result 变量的类型
typescript
declare const config: Chainable

type Chainable = {
  option(key: string, value: any): any
  get(): any
}

const result = config
  .option('age', 7)
  .option('name', 'lolo')
  .option('address', { value: 'XiaMen' })
  .get()

type ResultType = typeof result  
// 期望 ResultType 的类型是:
// {
//   age: number
//   name: string
//   address: {
//     value: string
//   }
// }
typescript
declare const config: Chainable

type Simplify&lt;T> = {
    [P in keyof T]: T[P]
}

type Chainable&lt;T = {}> = {
   // S extends string can make S is Template Literal Types
    option&lt;V, S extends string>(key: S, value: V): Chainable&lt;T & {
       // use Key Remapping in Mapped Types generate {  S: V } type  https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-1.html#key-remapping-in-mapped-types
        [P in keyof {
            S: S,
        } as `${S}`]: V
    }>
    get(): Simplify&lt;T>
}

const result = config
    .option('age', 7)
    .option('name', 'lolo')
    .option('address', { value: 'XiaMen' })
    .get()


type ResultType = typeof result