All
题目
如果传入的第一个参数中所有元素都等于传入的第二个参数，则返回 true；如果有不匹配，则返回 false。
例如：
type Test1 = [1, 1, 1]
type Test2 = [1, 1, 2]
type Todo = All<Test1, 1> // 应与 true 相同
type Todo2 = All<Test2, 1> // 应与 false 相同解题思路
从第一项开始比对至结束，若有不相等的即返回 false。
答案
type All<T extends any[], U> = T extends [infer First, ...infer Rest]
? Equal<First, U> extends true
? All<Rest, U>
: false
: true验证
type cases = [
Expect<Equal<All<[1, 1, 1], 1>, true>>,
Expect<Equal<All<[1, 1, 2], 1>, false>>,
Expect<Equal<All<['1', '1', '1'], '1'>, true>>,
Expect<Equal<All<['1', '1', '1'], 1>, false>>,
Expect<Equal<All<[number, number, number], number>, true>>,
Expect<Equal<All<[number, number, string], number>, false>>,
Expect<Equal<All<[null, null, null], null>, true>>,
Expect<Equal<All<[[1], [1], [1]], [1]>, true>>,
Expect<Equal<All<[{}, {}, {}], {}>, true>>,
Expect<Equal<All<[never], never>, true>>,
Expect<Equal<All<[any], any>, true>>,
Expect<Equal<All<[unknown], unknown>, true>>,
Expect<Equal<All<[any], unknown>, false>>,
Expect<Equal<All<[unknown], any>, false>>,
Expect<Equal<All<[1, 1, 2], 1 | 2>, false>>,
]参考
无
