题目描述
在类型系统里实现 JavaScript 内置的 Array.concat 方法,这个类型接受两个参数,返回的新数组类型应该按照输入参数从左到右的顺序合并为一个新的数组。
例如:
type Result = Concat<[1], [2]> // expected to be [1, 2]
题解
// ============= Test Cases =============
import type { Equal, Expect } from './test-utils'
const tuple = [1] as const
type cases = [
Expect<Equal<Concat<[], []>, []>>,
Expect<Equal<Concat<[], [1]>, [1]>>,
Expect<Equal<Concat<typeof tuple, typeof tuple>, [1, 1]>>,
Expect<Equal<Concat<[1, 2], [3, 4]>, [1, 2, 3, 4]>>,
Expect<Equal<Concat<['1', 2, '3'], [false, boolean, '4']>, ['1', 2, '3', false, boolean, '4']>>,
]
// @ts-expect-error
type error = Concat<null, undefined>
// ============= Your Code Here =============
type Concat<T extends readonly unknown[], U extends readonly unknown[]> = [...T, ...U]
1、通过T extends readonly unknown[]、U extends readonly unknown[]来约束传入的类型参数T、U必须是数组类型
2、使用展开语法[...T, ...U]合并数组类型T和U