You don't have javascript enabled. Good luck! :(

欢迎页

Welcome to Ganace's Blog

欢迎您来到Ganace 的个人博客。

在茫茫互联网的海洋里能够遇见您，实在是一份不小的幸运。

诚挚地向您问候一声:您好，朋友！

这里是属于Ganace个人的隐秘小空间，记录了工作学习中遇到的知识点与灵感，以及生活中的碎碎念与吐槽、突如其来的中二病、尬尬的文艺时间、锻炼腹肌的时刻、惊喜的小发现等等。

想要在自己的平淡无奇的人生长河中留下些什么，

或者只是为了拯救老人家岌岌可危的记忆力，

仅此而已。

来到此地，分享与你。

也期待与您的再次相遇！

Share with Me

有任何的分享或者建议与吐槽，都可以Email我：ganace@foxmail.com

欢迎您的来信！

【TypeScript】TypeScript类型体操(四) 中等挑战

  Mar 19, 2024     Ganace     Front-end-Foundation

TypeScript

TypeScript 的类型体操笔记，温故知新。

最后一个元素 Last 、 排除最后一项 Pop 、Promise.all

查找类型、去除左侧空白、字符串首字母大写 Capitalize

中等挑战

一、最后一个元素 Last<T>

实现一个Last<T>泛型，它接受一个数组 T 并返回其最后一个元素的类型。
type Last<T extends any[]> = [any, ...T][T["length"]];

type Last<T extends unknown[]> = [unknown, ...T][T["length"]];

type Last<T extends any[]> = T extends [...any, infer L] ? L : T;

二、排除最后一项 Pop<T>

实现一个泛型Pop<T>，它接受一个数组T，并返回一个由数组T的前 N-1 项（N 为数组T的长度）以相同的顺序组成的数组。
type Pop<T extends unknown[]> = T extends [...infer P, infer _] ? P : T;

// 额外 Push
type Push<T extends unknown[], U> = [...T, U];
// 额外 Shift
type Shift<T extends unknown[]> = T extends [unknown, ...infer U] ? U : never;
// 额外 Unshift
type Unshift<T extends unknown[], U> = [U, ...T];

三、Promise.all

给函数PromiseAll指定类型，它接受元素为 Promise 或者类似 Promise 的对象的数组，返回值应为Promise<T>，其中 T 是这些 Promise 的结果组成的数组。
type Awaited<T> = T extends Promise<infer R> ? Awaited<R> : T;

declare function PromiseAll<T extends any[]>(
    values: readonly [...T]
): Promise<{
    [P in keyof T]: Awaited<T[P]>;
}>;

declare function PromiseAll<T extends readonly unknown[] | []>(
    values: T
): Promise<{
    -readonly [K in keyof T]: Awaited<T[K]>;
}>;

declare function PromiseAll<T extends unknown[]>(
    values: readonly [...T]
): Promise<{
    [K in keyof T]: Awaited<T[K]>;
}>;
TypeScript提供的工具类型：

Awaited<Type> 用来获取 Promise 返回的类型

四、查找类型

有时，您可能希望根据某个属性在联合类型中查找类型。

在此挑战中，我们想通过在联合类型Cat | Dog中通过指定公共属性type的值来获取相应的类型。换句话说，在以下示例中，LookUp<Dog | Cat, 'dog'>的结果应该是Dog，LookUp<Dog | Cat, 'cat'>的结果应该是Cat。

type LookUp<U, T extends string> = {
    [K in T]: U extends { type: T } ? U : never;
}[T];

五、去除左侧空白

实现 TrimLeft<T> ，它接收确定的字符串类型并返回一个新的字符串，其中新返回的字符串删除了原字符串开头的空白字符串。
type Space = " " | "\n" | "\t";
type TrimLeft<S extends string> = S extends `${Space}${infer R}` ? TrimLeft<R> : S;

六、字符串首字母大写 Capitalize

实现 Capitalize<T> 它将字符串的第一个字母转换为大写，其余字母保持原样。
type MyCapitalize<S extends string> = S extends `${infer F}${infer L}` ? `${Uppercase<F>}${L}` : S;
TypeScript提供的工具类型：

Capitalize<StringType> 将字符串中的第一个字符转换为等效的大写字母。