concat
题目
在类型系统里实现JavaScript内置的Array.concat方法，这个类型接受两个参数，返回的新数组类型应该按照输入参数从左到右的顺序合并成一个新的数组。
type Concat<T, U> = any
type cases = [ Expect<Equal<Concat<[], []>, []>>
Expect<Equal<Concat<[], [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']>>
]
js 中 concat 的用法：
function concatArr(T, U) {
return [...T, ...U]
}
ts
type Concat<T, U> = [...T, ...U]
这个时候还没完，报了一个错，说 rest 元素类型必须是数组类型。
那就是要约束一下参数的类型了。也就是T和U这两个必须是Array才能这样解构去写。
答案
type Concat<T extends Array<any>, U extends Array<any>> = [...T, ...U]
知其然知其所以然
