登录TypeScript 类型体操练习笔记（二）
进度（90 /188）
其中标记 ※ 的是我认为比较难或者涉及新知识点的题目
刷题也许没有什么意义，但是喜欢一个人思考一整天的灵光一现，也喜欢看到新奇的答案时的恍然大悟，仅此而已。
42. Medium - 1130 - ReplaceKeys ※
实现一个类型 ReplaceKeys，用于替换联合类型中的键，如果某个类型不包含该键则跳过替换。该类型接受三个参数。
一开始我只是想这么写，我想分布式条件类型 + Pick + Omit 来实现。
type ReplaceKeys<U, T, Y> = U extends any
? Omit<U, T & keyof U> & Pick<Y, T & keyof U & keyof Y>
: any
理论上 case1 是能通过的，但是一直报错。然后我又试了一下，看来判断的 Equal 不认为这两种是相等的：
type T1 = { a: number }
type T2 = { b: number }
type E = Equal<T1 & T2, { a: number, b: number }> // false
不过还是有办法的，我们可以通过一层映射把交叉类型拍平：
type IntersectionToObj<T> = {
[K in keyof T]: T[K]
}
type E1 = Equal<IntersectionToObj<T1 & T2>, { a: number, b: number }> // true
不过我试了下第二个 case 还是不太好实现，那就直接用映射类型来解决。
利用分布式特性处理联合元素，然后遍历 U 的属性然后按要求进行处理即可。
type ReplaceKeys<U, T, Y> = U extends any
? {
[K in keyof U]: K extends T ? (K extends keyof Y ? Y[K] : never) : U[K]
}
: never // 不会进入这个分支
但是看到别人的答案我又开始困惑了：
type ReplaceKeys<U, T, Y> = {
[K in keyof U]: K extends T ? (K extends keyof Y ? Y[K] : never) : U[K]
}
形如
{ [P in keyof T]: X }的映射类型（其中T是类型参数）被称为 isomorphic mapped type（同构映射类型），因为它会产生一个与T具有相同结构的类型。通过此 PR，我们使同构映射类型的实例化在联合类型上具有分布性。
43. Medium - 1367 - Remove Index Signature 移除索引签名 ※
实现 RemoveIndexSignature<T>，移除一个对象类型的索引签名。
索引签名（Index Signature） 是 TypeScript 中用于描述对象中未明确声明的属性的类型。它允许你定义一个对象可以有任意数量的属性，只要这些属性的键和值符合指定的类型。
interface StringDictionary {
[key: string]: string; // 索引签名
// 表示该对象可以有任意多个属性，键必须是 string 类型，值也必须是 string 类型。
}
和索引签名对应的是具体属性，这两种也可以混合使用，但是具体属性的类型必须是索引签名类型的子类型：
interface MixedType {
// 具体属性
name: string;
age: number;
// 索引签名
[key: string]: string | number; // 必须包含具体属性的类型
}
要处理这个问题，就要针对索引签名的特点，他是一个宽泛的类型（string/number/symbol），而具体属性是一个字面量类型，比如 "name" ，我们依次判断它是否为 string，number 或 symbol 都不是则证明是具体属性，否则为索引签名。
type RemoveIndexSignature<T> = {
[K in keyof T as
string extends K
? never
: number extends K
? never
: symbol extends K
? never
: K
]: T[K]
}`
在评论区看到一个很天才的解法
type RemoveIndexSignature<T, P = PropertyKey> = {
[K in keyof T as P extends K? never : K extends P ? K : never]: T[K]
}
其中 PropertyKey 上是 TypeScript 的内置类型 type PropertyKey = string | number | symbol;。它的判断过程如下：
P extends K ? never : (K extends P ? K : never) /* P = string | number | symbol */
// becomes
(string | number | symbol) extends K ? never : (K extends P ? K : never)
// becomes
| string extends K ? never : (K extends string ? K : never)
| number extends K ? never : (K extends number ? K : never)
| symbol extends K ? never : (K extends symbol ? K : never)
本质上和我们上面的写法是一样的，但是利用条件类型的分布性，一下子判断了三种类型。୧(๑•̀◡•́๑)૭
44. Medium - 1978 - Percentage Parser 百分比解析器
实现类型 PercentageParser。根据规则 /^(\+|\-)?(\d*)?(\%)?$/ 匹配类型 T。
匹配的结果由三部分组成，分别是：[正负号, 数字, 单位]，如果没有匹配，则默认是空字符串。
type Sign = '+' | '-'
type PercentageParser<A extends string> =
A extends `${infer F}%`
/** 存在 % */
? F extends `${infer S extends Sign}${infer N}`
? [S, N, '%']
: ['', F, '%']
/** 不存在 % */
: A extends `${infer S extends Sign}${infer N}`
? [S, N, '']
: ['', A, '']
题目不难，加几个分支判断就可以了。或者这样写优雅一点（大概）：
type SignParser<A extends string> = A extends `${infer S extends '+' | '-'}${infer N}` ? [S, N] : ['', A]
type PercentageParser<A extends string> = A extends `${infer F}%` ? [...SignParser<F>, '%'] : [...SignParser<A>, '']
45. Medium - 2070 - Drop Char 删除字符
从字符串中剔除指定字符。
type DropChar<S, C> = S extends `${infer F}${infer R}`
? F extends C
? DropChar<R, C>
: `${F}${DropChar<R, C>}`
: ''
没有新的知识点，简单题。
46. Medium - 2257 - MinusOne 减一 ※
给定一个正整数作为类型的参数，要求返回的类型是该数字减 1。
有点意思的一道题目，没有新的知识点，但是类似于算法中的模拟题。需要递归加不同情况的判断，复杂度较高。
我先想到了一个比较搞的办法，生成长度为 T 的数组，然后移除一个元素，再获取数组长度。
type MakeArray<T extends number, R extends any[] = []> =
R['length'] extends T ? R : MakeArray<T, [...R, any]>
type MinusOne<T extends number> =
MakeArray<T> extends [infer _F, ...infer R] ? R['length'] : never
1000 以内是可行的，但是再大就会出现错误：
type A = MakeArray<1101> // error: 类型实例化过深，且可能无限。ts(2589)
那么只能换一种方法，通过模拟减法的方式实现，枚举最后一位即可，如果最后一位大于 0 则只需要操作最后一位，否则需要递归处理：
type MinusOne2String<T extends string> =
T extends `${infer F}0` // 如果最后一位是0，则把此位改为9，然后递归处理（题目限定了是正数）
? `${MinusOne2String<F>}9`
: T extends `${infer F}9` // 其他情况直接把最后一位减一
? `${F}8`
: T extends `${infer F}8`
? `${F}7`
: T extends `${infer F}7`
? `${F}6`
: T extends `${infer F}6`
? `${F}5`
: T extends `${infer F}5`
? `${F}4`
: T extends `${infer F}4`
? `${F}3`
: T extends `${infer F}3`
? `${F}2`
: T extends `${infer F}2`
? `${F}1`
: T extends `${infer F}1`
? `${F}0`
: '0'
// 100-1=099 这种情况需要删除前导零
type removeLeadZero<T extends string> =
T extends '0' ? '0' : T extends `0${infer R}` ? removeLeadZero<R> : T
// 删除前导零后，转换为数字类型
type MinusOne<T extends number> =
removeLeadZero<MinusOne2String<`${T}`>> extends `${infer X extends number}` ? X : 0
47. Medium - 2595 - PickByType
从 T 中选择可赋值给 U 的属性类型集合。
type PickByType<T, U> = {
[K in keyof T as T[K] extends U ? K : never ]: T[K]
}
送分题，知识点前面的题目都有涉及。
48. Medium - 2688 - StartsWith
实现 StartsWith<T, U>,接收两个 string 类型参数,然后判断 T 是否以 U 开头,根据结果返回 true 或 false。
type StartsWith<T extends string, U extends string> =
T extends `${U}${infer F}` ? true : false
送分题+1，模板字符串类型基础。
49. Medium - 2693 - EndsWith
实现 EndsWith<T, U>,接收两个 string 类型参数,然后判断 T 是否以 U 结尾,根据结果返回 true 或 false。
type EndsWith<T extends string, U extends string> =
T extends `${string}${U}` ? true : false
50. Medium - 2757 - PartialByKeys
实现一个通用的 PartialByKeys<T, K>，它接收两个类型参数 T 和 K。
K 指定应设置为可选的 T 的属性集。当没有提供 K 时，它就和普通的 Partial<T> 一样使所有属性都是可选的。
前面已经讲过 IntersectionToObj 这个小技巧，这里就比较简单了，其中 Partial 是内置的工具类型，可以把一个对象类型的全部属性都变成可选。
type IntersectionToObj<T> = {
[K in keyof T]: T[K]
}
type PartialByKeys<T , K extends keyof T = keyof T> =
IntersectionToObj< Omit<T, K> & Partial<Pick<T, K>> >
51. Medium - 2759 - RequiredByKeys
实现一个通用的 RequiredByKeys<T, K>，它接收两个类型参数 T 和 K。
K 指定应设为必选的 T 的属性集。当没有提供 K 时，它就和普通的 Required<T> 一样使所有的属性成为必选的。
和 PartialByKeys 本质上没有什么区别，Required 也是内置的工具类型，可以把一个对象类型的全部属性，用于将一个类型 T 中的所有属性转换为必填属性（即移除其可选性 ?）。
type IntersectionToObj<T> = {
[K in keyof T]: T[K]
}
type RequiredByKeys<T, K extends keyof T = keyof T> =
IntersectionToObj<Omit<T, K> & Required<Pick<T, K>>>
52. Medium - 2793 - Mutable ※
实现一个通用的类型 Mutable<T>，使类型 T 的全部属性可变（非只读）。
这题不难，但是涉及到映射类型的一个语法，之前没有涉及过。mapped-types
type Mutable<T extends object> ={
-readonly [K in keyof T]: T[K]
}
53. Medium - 2852 - OmitByType
从类型 T 中选择不可赋值给 U 的属性成为一个新的类型。
直到了 as 和 Mapped Types 的用法，这也很简单，和之前的 Omit 没什么区别。
type OmitByType<T, U> = {
[K in keyof T as T[K] extends U ? never : K]: T[K]
}
54. Medium - 2946 - ObjectEntries
实现 Object.entries 的类型版本。
首先这题需要应用分布式条件类型，所以需要先构造一个由类型key组成的联合类型 U 然后 U extends ... 触发分布式。
type ObjectEntries<T, U = keyof T> =
U extends keyof T ? [U, T[U]] : never
不过有个case 过不去。
type eq = Equal<ObjectEntries<Partial<Model>>, ModelEntries> // false
type o = ObjectEntries<Partial<Model>>
// ["name", string | undefined] | ["age", number | undefined] | ["locations", string[] | null | undefined]
可以看到由于 Partial 导致每个类型都多了一个 undefined。很明显这里需要 Required，但是需要先了解一下它的特性。
type r1 = Required<{ key?: undefined }> // {key: never}
type r2 = Required<{ key: undefined }> // {key: undefined}
type r3 = Required<{ key: string | undefined }> // {key: string | undefined}
type r4 = Required<{ key?: string | undefined }> // {key:string}
可以看到在存在 ? 时，Required 会删除类型中的 undefined，否则不会。
而此题的要求是：如果类型存在 ? 就删除 undefined，但是如果类型只有 undefined 则不处理。我只能说，题本身不难，但是描述的不清楚，只能看用例。
type ObjectEntries<T, U = keyof T> =
U extends keyof T
? [U, [T[U]] extends [undefined] ? undefined : Required<T>[U]]
: never
55. Medium - 3062 - Shift
实现类型版本的 Array.shift。
type Shift<T extends any[]> = T extends [infer F, ...infer R] ? [...R] : []
infer 的基础应用，在最前面的 First of Array 就了解过了。
56. Medium - 3188 - Tuple to Nested Object
给一个只包含字符串类型的元组 T 和一个类型 U 递归构建一个对象。
type TupleToNestedObject<T extends string[], U> =
T extends [infer F extends string, ...infer R extends string[]]
? Record<F, TupleToNestedObject<R, U>> : U
每次提取数组中第一个元素，然后把该元素作为键，递归构造的对象作为值。
57. Medium - 3192 - Reverse
实现类型版本的数组反转 Array.reverse
type Reverse<T extends any[]> = T extends [infer F, ...infer R]
? [...Reverse<R>, F]
: []
使用递归的方式，每次都把第一个元素移到最后一个。
58. Medium - 3196 - Flip Arguments
实现 lodash 中 _.flip 函数的类型版本。
类型转换函数 FlipArguments<T> 要求函数类型 T，并返回一个新的函数类型，该类型具有与 T 相同的返回类型但参数顺序颠倒。
type FlipArguments<T extends Function> =
T extends (...args: infer P) => infer R ? (...args: Reverse<P>) => R : never
通过 infer 获取函数的参数和返回值，并且通过上一题实现的 Reverse 将参数反转。
59. Medium - 3243 - FlattenDepth
递归展开数组至指定深度
首先需要实现一个铺平一次的函数，这个比较简单
type FlattenOnce<A extends any[]> = A extends [infer F, ...infer R]
? F extends any[] ? [...F, ...FlattenOnce<R>] : [F, ...FlattenOnce<R>]
: []
TypeScript 中无法进行数字计算，我们可以通过邪修实现，这点我们在前面的 MinusOne 已经实现，所以这里直接引用 MinusOne 就可以了。
type FlattenDepth<T extends any[], depth extends number = 1> =
depth extends 0 // 判断深度为零，则已经不需要铺平了
? T
: FlattenOnce<T> extends T // 判断是否铺平前后的结果一致，一致则不需要再处理了
? T
: FlattenDepth<FlattenOnce<T>, MinusOne<depth>>
当然我们可以用之前在里面用过的用数组记录数字的方法，只不过 TypeScript 中数组长度有限制，当然这一题中是没有问题的，嵌套最多才 5 层
type FlattenDepth<T extends any[], depth = 1, depArr extends any[] = []> =
depArr['length'] extends depth
? T
: FlattenOnce<T> extends T ? T : FlattenDepth<FlattenOnce<T>, depth, [...depArr, any]>
60. Medium - 3326 - BEM style string
使用块（Block）、元素（Element）、修饰符（Modifier）命名（BEM）是 CSS 中类的一种流行命名约定。
例如，块组件表示为 btn，依赖于块的元素表示为 btn__price，更改块样式的修饰符表示为 btn-big 或 btn__prise-warning。
实现 BEM<B，E，M>，从这三个参数生成字符串并集。其中 B 是字符串文字，E 和 M 是字符串数组（可以为空）。
// 把A和B连接，先把B处理为联合类型，然后用S连接
type JoinWithSeparator<A extends string, B extends string[], S extends string, B2Union extends string = B[number]> =
B2Union extends any ? `${A}${S}${B2Union}` : never
type BEM<B extends string, E extends string[], M extends string[]> =
E['length'] extends 0 // 判断E是否为空
? JoinWithSeparator<B, M, '--'> // 如果E为空, B和M连接
: M['length'] extends 0 // 判断M是否为空
? JoinWithSeparator<B, E, '__'> // E不为空，M为空，把B和M连接
: JoinWithSeparator<JoinWithSeparator<B, E, '__'>, M, '--'> // 都不为空，先把B和E连接，然后再加上M
需要写一个辅助工具类型 JoinWithSeparator 用于连接一个字符和数组，逻辑有点小复杂，已经加了完整注释。
61. Medium - 3376 - InorderTraversal
实现二叉树中序遍历的类型版本。
如果会中序遍历二叉树这题就不难了，不会的可以先学学数据结构。
type InorderTraversal<T extends TreeNode | null> =
T extends null
? []
: [...InorderTraversal<T['left']>, T['val'], ...InorderTraversal<T['right']>]
比较麻烦的是，T extends null 语法无法判断第二个分支中 T 不为空，所以可以反过来，判断 T 是否为 TreeNode。
type InorderTraversal<T extends TreeNode | null> =
T extends TreeNode
? [
...InorderTraversal<T['left']>,
T['val'],
...InorderTraversal<T['right']>
] : []
62. Medium - 4179 - Flip
实现 just-flip-object 的类型版本（把类型的键和值类型反转）。
type Flip<T> = {
[K in keyof T as T[K] extends number | string | boolean ? `${T[K]}` : never]: K
}
为了保证 T[K] 类型正确，加了一个 extends number | string | boolean 的限制。
63. Medium - 4182 - Fibonacci Sequence 斐波那契序列 ※
实现一个通用的 Fibonacci<T>，它接受一个数字 T 并返回其相应的斐波纳契数。
序列开始：1、1、2、3、5、8、13、21、34、55、89、144...
首先斐波纳契公式 f(n)=f(n-1)+f(n-2) 可以递归实现。由于 TypeScript 类型无法使用加法，所以我们通过数组的元素个数来变向进行计算，至于减法可以复用之前实现的 MinusOne。
type FibonacciArray<T extends number, A extends any[] = []> =
T extends 1
? [any]
: T extends 2
? [any]
: [...FibonacciArray<MinusOne<MinusOne<T>>>, ...FibonacciArray<MinusOne<T>>]
type Fibonacci<T extends number> = FibonacciArray<T>['length']
看了下别人的答案，优化空间还是很大的，下面是正向计算，Index 表示计算到了第 n 个数字，Cur 表示 f(n)，Prev 表示 f(n-1)
type Fibonacci<
T extends number,
Index extends any[] = [any, any],
Cur extends any[] = [any],
Prev extends any[] = [any]
> =
T extends 1 | 2
? 1
: Index['length'] extends T
? Cur['length']
: Fibonacci<T, [...Index, any], [...Cur, ...Prev], Cur>
64. Medium - 4260 - AllCombinations ※
实现 AllCombinations<S> 类型，该类型返回使用 S 中的字符所组成的所有字符串，每个字符最多使用一次。
type AllCombinations<S extends string, P extends string = ''> =
S extends `${infer F}${infer R}`
? '' | F | `${F}${AllCombinations<`${R}${P}`>}` // S[0] 开头的所有排列情况
| AllCombinations<R, `${P}${F}`> // 除了 S[0] 开头以外的所有情况
: ''
很有意思的题目，实现一个字符串中字符的所有组合。我的解法是 AllCombinations<S, P> 表示获取字符串 ${S}${P} 中，以 S 每个字母开头的全排列组合。
所以 AllCombinations<S, ''> 就是答案，而它等于 S[0] 为开头的所有情况，再加上 AllCombinations<S.split(1), S[0]>（伪代码示例）
而 S[0] 为开头的所有情况，就是求 S[0] 连接剩余字符的全排列，也就是 AllCombinations<S.split(1), ''>
65. Medium - 4425 - Greater Than
在本次挑战中，你需要实现一个类似 T > U 的类型： GreaterThan<T, U>
负数无需考虑。
这种题我可以说不难，就是有点恶心。我不喜欢！下面的代码我加了注释，应该可以看懂。
type LengthOfString<S extends string> = Split<S>['length'];
type FirstOfString<S extends string> = S extends `${infer F}${infer R}`
? F
: never;
type RestOfString<S extends string> = S extends `${infer F}${infer R}`
? R
: never;
type Split<S extends string> = S extends `${infer F}${infer R}`
? [F, ...Split<R>]
: [];
// 比较10以内数字的大小
type GreaterThanDigit<
T extends string,
U extends string,
D extends string = '9876543210'
> = D extends `${infer F}${infer R}` // 从大到小依次比较每一个数字
? F extends U // 如果先匹配了U 则证明T≤U 返回false
? false
: F extends T // 如果先匹配了T 则证明T>U 返回true
? true
: GreaterThanDigit<T, U, R> // 再尝试匹配下一个数字
: false;
type GreaterThanString<
T extends string,
U extends string,
LEN_T extends number = LengthOfString<`${T}`>, // T的长度
LEN_U extends number = LengthOfString<`${U}`>, // U的长度
FIRST_T extends string = FirstOfString<`${T}`>, // T的长度
FIRST_U extends string = FirstOfString<`${U}`> // U的长度
> = LEN_U extends LEN_T // 判断长度是否相同
? LEN_T extends 1 // 判断相同，长度是否为1
? GreaterThanDigit<FIRST_T, FIRST_U> // 长度为1 直接比较首位
: FIRST_T extends FIRST_U // 长度相同，且长度不为1，依次比较每一位，先判断首位
? GreaterThanString<RestOfString<`${T}`>, RestOfString<`${U}`>> // 首位相同 则比较下一位
: GreaterThanDigit<FIRST_T, FIRST_U> // 首位不同，则比较大小
: GreaterThan<LEN_T, LEN_U>; // 如果长度不相同，则长度大的数字更大
type GreaterThan<T extends number, U extends number> = GreaterThanString<
`${T}`,
`${U}`
>;
66. Medium - 4471 - Zip
在这个挑战中，你需要实现一个类型 Zip<T, U>，其中 T 和 U 必须是元组。
就是把所有元组中的第1项组成结果中的第1项，所有元组中的第2项组成结果中的第2项....所有元组中的第n项组成结果中的第n项，比较简单。
type Zip<T extends any[], U extends any[]> = T extends [infer TF, ...infer TR]
? U extends [infer UF, ...infer UR]
? [[TF, UF], ...Zip<TR, UR>]
: []
: [];
67. Medium - 4484 - IsTuple ※
实现类型 IsTuple, 传入类型 T 并返回类型 T 是否为一个元组类型。
A tuple type is another sort of
Arraytype that knows exactly how many elements it contains, and exactly which types it contains at specific positions.元组类型 是另一种“数组”类型，它确切地知道它包含多少元素，以及它在特定位置包含哪些类型。
T extends readonly any[] 判断 T 为数组和元素，添加 readonly 可以兼容 readonly [1] 这种情况。
根据定义可以知道，元组类型的长度是固定的，所以 Tuple['length'] 是一个具体的数字，而数组 A['length'] 是 number。
因此，可以通过 number extends T['length'] 来判断 T 是否为元组而不是数组。
type IsTuple<T> = [T] extends [never]
? false
: T extends readonly any[]
? number extends T['length']
? false
: true
: false;
68. Medium - 4499 - Chunk
你知道 lodash 吗？Chunk 是其中一个非常有用的函数，现在让我们实现它。Chunk<T，N> 接受两个必需的类型参数，T 必须是元组，N 必须是大于等于 1 的整数。
type Chunk<
T extends any[],
N extends number,
Result extends any[] = [],
Current extends any[] = []
> = T extends [infer F, ...infer R] // 判断是否还有元素
? Current['length'] extends N // 有元素，判断当前的块已经满了
? Chunk<R, N, [...Result, Current], [F]> // 如果当前的块已经满了，把它放进结果数组里
: Chunk<R, N, Result, [...Current, F]> // 没有满，就把元素放进当前块
: Current['length'] extends 0 // T中所有元素都处理完了，判断当前块中是否有元素
? Result // 当前块为空的，直接返回结果
: [...Result, Current]; // 否则把当前块放进结果，再返回
69. Medium - 4518 - Fill
Fill 是一个通用的 JavaScript 函数，现在来实现它的类型版本。Fill<T, N, Start?, End?> 接受 4 个参数, T 是一个元组，N 是任意类型， Start and End 是大于等于 0 的整数。把 T 在 [Start.End] 范围内的元素都替换为 N。
type Fill<
T extends unknown[], // 原数组
N, // 要填充的类型
Start extends number = 0, // 开始下标
End extends number = T['length'], // 结束下标
Result extends unknown [] = [], // 结果数组
In extends boolean = false // 是否在[Start,End]范围内
> = T extends [infer F, ...infer R] // T是否存在第一个元素
? Result['length'] extends End // 先判断是否为结束下标
? Fill<R, N, Start, End, [...Result, F], false> // 是结束下标，则证明已经填充完了，后面填充T的内容就行
: Result['length'] extends Start // 不是，判断是否为开始下标
? Fill<R, N, Start, End, [...Result, N], true> // 是开始下标，则填充N，用IN=true表示已经在范围内
: In extends true // 判断是否在[Start,End]范围内
? Fill<R, N, Start, End, [...Result, N], true> // 如果在范围内 则用N填充
: Fill<R, N, Start, End, [...Result, F], false> // 不在范围内 用T中内容填充
: Result // 处理完成，返回结果
70. Medium - 4803 - Trim Right
实现 TrimRight<T>，它接收确定的字符串类型并返回一个新的字符串，其中新返回的字符串删除了原字符串结尾的空白字符串。
type TrimRight<S extends string> =
S extends `${infer F}${' '|'\n'|'\t'}` ? TrimRight<F> : S
71. Medium - 5117 - Without
实现一个像 Lodash.without 函数一样的泛型 Without<T, U>，它接收数组类型的 T 和数字或数组类型的 U 为参数，会返回一个去除 U 中元素的数组 T。
Equal 是玄学，别问，用就完事了。
type Includes<T extends readonly unknown[], U> =
T extends [infer F, ...infer Rest]
? Equal<F, U> extends true ? true : Includes<Rest, U>
: false;
type Without<T extends any[], U extends any> = T extends [infer F, ...infer R]
? U extends any[]
? Includes<U, F> extends true // 如果U是数组类型，使用Includes判断是否包含
? Without<R, U>
: [F, ...Without<R, U>]
: F extends U // 如果U不是数组，直接判断
? Without<R, U>
: [F, ...Without<R, U>]
: []
评论区看到了更好的解法，先转成联合在判断是否包含
type ToUnion<T extends any> = T extends any[] ? T[number] : T;
type Without<T extends any[], U extends any> =
T extends [infer F, ...infer R]
? F extends ToUnion<U>
? Without<R, U>
: [F, ...Without<R, U>]
: [];
72. Medium - 5140 - Without
实现 Math.trunc 的类型版本，它接受字符串或数字，并通过删除所有小数来返回数字的整数部分。
简单的模板字符串模式匹配，注意 '-.3' 这种删除小数点后面的内容后需要手动补 0。
type Trunc<T extends number | string> =
`${T}` extends `${infer F}.${infer _}`
? F extends '-' | ''
? `${F}0`
: F
: `${T}`;
73. Medium - 5153 - IndexOf
实现类型版本的 Array.indexOf，indexOf<T, U> 接受两个参数，数组 T 和任意类型 U 返回 U 在 T 中第一次出现的下标，不存在返回 -1。
type IndexOf<T extends any[], U, Pre extends any[] = []> =
T extends [infer F, ...infer R]
? Equal<F, U> extends true
? Pre['length']
: IndexOf<R, U, [...Pre, F]>
: -1
因为 TypeScript 无法进行计算，所以思路还是一样，用一个数组 Pre 记录已经遍历了几个数字，用 Pre['length'] 计数。
74. Medium - 5310 - Join
实现类型版本的 Array.join，Join<T, U>接受一个数组 T 字符串或数字类型 U，返回 T 中的所有元素用 U 连接的字符串，U 默认为 ','。
type Join<
T extends any[],
U extends string | number = ',',
Pre extends string = ''
> = T extends [infer F, ...infer R]
? Pre extends ''
? Join<R, U, `${F & string}`>
: Join<R, U, `${Pre}${U}${F & string}`>
: Pre;
其中 F & string 因为 F 的类型是 any 但是只有一部分类型可以反正模板字符串中，所以这里类型会把报错，通过 & string 限制为 string。
75. Medium - 5317 - LastIndexOf
实现类型版本的 Array.lastIndexOf, LastIndexOf<T, U> 接受数组 T, any 类型的 U, 如果 U 存在于 T 中, 返回 U 在数组 T 中最后一个位置的索引, 不存在则返回 -1
type LastIndexOf<
T extends any[],
U,
Pre extends any[] = [],
Result extends number = -1
> = T extends [infer F, ...infer R]
? Equal<F, U> extends true // 判断当前的值是否为U
? LastIndexOf<R, U, [...Pre, F], Pre['length']> // 如果是，更新Result，然后继续处理
: LastIndexOf<R, U, [...Pre, F], Result>
: Result
76. Medium - 5360 - Unique 数组去重
实现类型版本的 Lodash.uniq 方法，Unique 接收数组类型 T, 返回去重后的数组类型。
type Includes<T extends readonly unknown[], U> =
T extends [infer F, ...infer Rest]
? Equal<F, U> extends true ? true : Includes<Rest, U>
: false;
type Unique<
T extends any[],
Result extends any[] = [],
> = T extends [infer F, ...infer R]
? Includes<Result, F> extends true
? Unique<R, Result>
: Unique<R, [...Result, F]>
: Result;
顺便评论区看到另一个，算是利用分布式条件类型更简洁的实现了 Includes 。
type Unique<T, U = never> =
T extends [infer F, ...infer R]
? true extends (U extends U ? Equal<U, [F]> : never)
? Unique<R, U>
: [F, ...Unique<R, U | [F]>]
: []
77. Medium - 5821 - MapTypes 映射类型
实现 MapTypes<T, R>，把对象 T 中的类型根据 R 做转换。比如 R 为 { mapFrom: string, mapTo: boolean } 表示把 T 中的所有 string 类型改为 boolean。
// 根据类型映射的定义 和 原类型 获取映射后的类型
type getType<T extends { mapFrom: any; mapTo: any }, P> = T extends any
? T['mapFrom'] extends P // 利用分布式条件类型，依次判断是否匹配mapFrom类型
? T['mapTo'] // 符合的返回对应的mapTo类型
: never // 不符合返回never 其他类型和never联合只会剩下其他类型
: never;
type MapTypes<T, R extends { mapFrom: any; mapTo: any }> = {
// { mapFrom: T[K]; mapTo: any } 是否可以赋值给R
[K in keyof T]: { mapFrom: T[K]; mapTo: any } extends R
? getType<R, T[K]> // 证明他的类型匹配了mapFrom 需要返回对应的mapTo
: T[K]; // 否则不需要调整
};
78. Medium - 7544 - Construct Tuple 构造元组 ※
构造一个给定长度的元组。
这题简直太水了，递归就可以 TypeScript 最多递归到999层，所以最后一个 case Expect<Equal<ConstructTuple<1000>['length'], 1000>> 会失败。
// 生成元组，但是TS递归只能到999
type ConstructTuple<
N extends string | number,
Result extends any[] = []
> = `${Result['length']}` extends `${N}`
? Result
: ConstructTuple<N, [...Result, unknown]>;
但是，让 9999 成功才是有趣的问题，我开始一直想二分，把自己困住了，后来发现简单的按位计算就可以。参考github.com/type-challe…
// 生成元组，但是TS递归只能到999
type ConstructTupleSimple<
N extends string | number,
Result extends any[] = []
> = `${Result['length']}` extends `${N}`
? Result
: ConstructTupleSimple<N, [...Result, unknown]>;
// 把数组T中的元素数量*10
type Multi10<T extends any[]> = [...T, ...T, ...T, ...T, ...T, ...T, ...T, ...T, ...T, ...T]
// 从左到右依次计算 例321 = (3*10+2)*10+1
type ConstructTuple<
L extends number | string,
Result extends any[] = []
> = `${L}` extends `${infer F}${infer R}`
? ConstructTuple<R, [...Multi10<Result>, ...ConstructTupleSimple<F>]>
: Result;
79. Medium - 8640 - Number Range
构造指定范围内所有数字的联合。
好像在前面做过类似的题目……通过 Arr 辅助记录遍历数字，Result 记录结果，InRange 记录是否在范围内。
type NumberRange<L, H, Arr extends any[] = [], Result = never, InRange = false> =
Arr['length'] extends L
? NumberRange<L, H, [...Arr, unknown], L | Result, true>
: Arr['length'] extends H
? Result | H
: InRange extends true
? NumberRange<L, H, [...Arr, unknown], Arr['length'] | Result, InRange>
: NumberRange<L, H, [...Arr, unknown], Result, InRange>
也有更直观的解法：
type ConstructUnion<
N extends string | number,
Result extends any[] = []
> = `${Result['length']}` extends `${N}`
? Result[number]
: ConstructUnion<N, [...Result, Result['length']]>;
type NumberRange<L extends number, H extends number> =
| Exclude<ConstructUnion<H>, ConstructUnion<L>>
| L
| H;
80. Medium - 8767 - Combination ※
给定一个字符串数组，执行排列和组合。
// 计算T中每个元素开头的 T和P中所有元素组成的全部组合
type Combination<T extends string[], P extends string[] = []> =
T extends [infer F extends string, ...infer R extends string[]] // 先计算F开头的所有情况
? `${F} ${Combination<[...R, ...P]>}` // 首个单词是F 然后连接 其他单词的全排列
//（在模板字符串中的联合类型会自动生成所有情况的模板字符串结果的联合）
| Combination<R, [...P, F]> // 继续计算单个单词剩余单词的情况
| F // 单个单词
: never
这种题我每次都要花一个小时做出来，头痛。看了下别人的解法很nb，利用联合类型分布式遍历 T，少了一次递归。
type Combination<T extends string[], All = T[number], Item = All>
= Item extends string
? Item | `${Item} ${Combination<[], Exclude<All, Item>>}`
: never
81. Medium - 8987 - Subsequence ※
给定一个唯一元素数组，返回所有可能的子序列。
type UnionAddT<U extends any[], T> = U extends any ? [T, ...U] : never
type Subsequence<T extends any[]> = T extends [infer F, ...infer R]
? Subsequence<R> // 不包含F的所有子序列
| UnionAddT<Subsequence<R>, F> // 包含F的所有子序列
: []
这题不难，加了重点标识因为新学了一个语法：当 ... 展开运算符应用到联合类型时，会对联合类型的每个成员分别展开，然后将结果再组成联合类型。
type Subsequence<T extends unknown[]> = T extends [infer X, ...infer Y]
? [X, ...Subsequence<Y>] | Subsequence<Y>
: [];
82. Medium - 9142 - CheckRepeatedChars
实现类型 CheckRepeatedChars<S> 返回 S 中是否有重复字符。
type CheckRepeatedChars<
T extends string,
visited = never
> = T extends `${infer F}${infer R}`
? F extends visited
? true
: CheckRepeatedChars<R, visited | F>
: false;
83. Medium - 9286 - FirstUniqueCharIndex
给一个字符串 S 找到第一个不重复字符的下标，不存在返回 -1。 (灵感来自 leetcode 387)（笑死力扣都来了）
type GetRepectChars<T extends string, Once = never, Repeated = never> =
T extends `${infer F}${infer R}`
? F extends Once
? GetRepectChars<R, Once, Repeated | F>
: GetRepectChars<R, Once | F, Repeated>
: Repeated
type FirstUniqueCharIndex<T extends string, Repeated = GetRepectChars<T>, Index extends any[] = []> =
T extends `${infer F}${infer R}`
? F extends Repeated
? FirstUniqueCharIndex<R, Repeated, [...Index, F]>
: Index['length']
: -1
84. Medium - 9616 - Parse URL Params
实现类型层面的解析器，把 URL 中的参数字符串解析为一个联合。
type ParseUrlParams<T extends string> = T extends `${infer F}/${infer R}`
? F extends `:${infer P}`
? P | ParseUrlParams<R>
: ParseUrlParams<R>
: T extends `:${infer P}`
? P
: never
85. Medium - 9896 - GetMiddleElement
通过实现一个 GetMiddleElement 方法，获取数组的中间元素，用数组表示
如果数组的长度为奇数，则返回中间一个元素 如果数组的长度为偶数，则返回中间两个元素
type GetMiddleElement<T extends any[]> =
T['length'] extends 0 | 1 | 2
? T
: T extends [infer _L, ...infer M, infer _R]
? GetMiddleElement<M>
: []
简单，每次删除前后两个元素，对长度为 0 1 2 的数组特殊处理。
86. Medium - 9898 - Appear only once
找出目标数组中只出现过一次的元素。例如：输入 [1,2,2,3,3,4,5,6,6,6]，输出 [1,4,5]。
// 判断联合类型T中是否存在U
type Includes<T, U> = true extends (T extends any ? Equal<T, U> : never)
? true
: false;
type FindEles<
T extends any[],
Pre extends any[] = [],
Res extends any[] = []
> = T extends [infer F, ...infer R]
? Includes<[...Pre, ...R][number], F> extends true // 如果F前后组成的数组是否包含F
? FindEles<R, [...Pre, F], Res> // 包含F 则证明不唯一 结果不添加F
: FindEles<R, [...Pre, F], [...Res, F]> // 不包含F 则证明唯一 结果添加F
: Res; // 遍历结束 返回结果
87. Medium - 9989 - Count Element Number To Object
通过实现一个 CountElementNumberToObject 方法，统计数组中相同元素的个数。
// 把数组拍平，然后把其中never元素删除
type Flatten<A extends any[]> = A extends [infer F, ...infer R] // 判断A存在第一个元素F
? [F] extends [never]
? [...Flatten<R>]
: F extends any[]
? [...Flatten<F>, ...Flatten<R>]
: [F, ...Flatten<R>]
: [];
type CountElementNumberToObject<
T extends any[],
// 辅助计数的对象，用数组计数
Aux extends Record<string | number, any[]> = {},
// T中有嵌套数组 把T拍平
F extends (number | string)[] = Flatten<T>
> = F extends [
infer L extends number | string, // 取第一个元素
...infer R extends (number | string)[]
]
? CountElementNumberToObject<
R,
{
[K in keyof Aux | L]: K extends L // 遍历Aux中key
? L extends keyof Aux // 遍历到L了，判断如果L是Aux中的key
? [...Aux[K], unknown] // 就在对应数组中添加一个元素
: [unknown] // 不在就新创建一个数组，添加一个元素
: Aux[K]; // 其他key不做处理
}
>
: {
[K in keyof Aux]: Aux[K]['length']; // 把结果映射为数组的长度
};
88. Medium - 10969 - Integer ※
请完成类型 Integer<T>，类型 T 继承于 number，如果 T 是一个整数则返回它，否则返回 never。
type OnlyZero<T> = T extends `${infer F}${infer R}`
? F extends '0'
? OnlyZero<R>
: false
: true;
type ToNumber<T> = T extends `${infer N extends number}` ? N : never;
type Integer<T> = T extends number
? number extends T
? never
: `${T}` extends `${infer Int}.${infer Deci}`
? OnlyZero<Deci> extends true
? ToNumber<Int>
: never
: T
: never;
虽然也不算难，但是一看评论区天塌了。
type Integer<T extends string | number> = number extends T
? never
: `${T}` extends `${string}.${string}`
? never
: T;
// 或者这样，因为 bigint 只能是整数
type Integer<T extends number> = `${T}` extends `${bigint}` ? T : never
我自己试了一下数字转字符串，发现对于多余的小数点后面的 0 会被删除。
type x = `${1.0}` // "1"
type x1 = `${1.2}` // "1.2"
type x2 = `${1.200}` // "1.2"
89. Medium - 16259 - ToPrimitive ※
把对象中类型为字面类型（标签类型）的属性，转换为基本类型。
这题可以枚举类型实现，不过就没啥意思了。看到一种神奇的解法，用到了 valueOf。
type ToPrimitive<T> = T extends (...args: any[]) => any
? Function
: T extends object
? { [K in keyof T]: ToPrimitive<T[K]> }
: T extends { valueOf: () => infer R }
? R
: T;
JavaScript 中每个包装对象都有 valueOf() 方法：
-
String.prototype.valueOf()返回string -
Number.prototype.valueOf()返回number - ...
在 TypeScript 类型系统中，我们可以利用这个特性：
interface String {
/** Returns the primitive value of the specified object. */
valueOf(): string;
// ... 其他方法
}
// string 字面量类型
type Test1 = 'Tom' extends { valueOf: () => infer R } ? R : never
// 'Tom' 是 string 类型，string 有 valueOf(): string
// R = string ✅
type Test2 = 30 extends { valueOf: () => infer R } ? R : never
// 30 是 number 类型，number 有 valueOf(): number
// R = number ✅
90. Medium - 17973 - DeepMutable
实现一个通用的 DeepMutable ，它使对象的每个属性，及其递归的子属性 - 可变。
type DeepMutable<T extends object> = {
-readonly [K in keyof T]: T[K] extends (...args: any) => any
? T[K]
: T[K] extends object ? DeepMutable<T[K]> : T[K]
}
