https://zhuanlan.zhihu.com/p/136254808

    1. // 这里定义一个工具类型，简化代码
    2. type ReplaceValByOwnKey<T, S extends any> = { [P in keyof T]: S[P] };
    4. // shift action
    5. type ShiftAction<T extends any[]> = ((...args: T) => any) extends ((arg1: any, ...rest: infer R) => any) ? R : never;
    7. // unshift action
    8. type UnshiftAction<T extends any[], A> = ((args1: A, ...rest: T) => any) extends ((...args: infer R) => any) ? R : never;
    10. // pop action
    11. type PopAction<T extends any[]> = ReplaceValByOwnKey<ShiftAction<T>, T>;
    13. // push action
    14. type PushAction<T extends any[], E> = ReplaceValByOwnKey<UnshiftAction<T, any>, T & { [k: string]: E }>;
    16. // test ...
    17. type tuple = ['vue', 'react', 'angular'];
    19. type resultWithShiftAction = ShiftAction<tuple>; // ["react", "angular"]
    20. type resultWithUnshiftAction = UnshiftAction<tuple, 'jquery'>; // ["jquery", "vue", "react", "angular"]
    21. type resultWithPopAction = PopAction<tuple>; // ["vue", "react"]
    22. type resultWithPushAction = PushAction<tuple, 'jquery'>; // ["vue", "react", "angular", "jquery"]