533-实现Concat

题目描述

在类型系统里实现 JavaScript 内置的 Array.concat 方法，这个类型接受两个参数，返回的新数组类型应该按照输入参数从左到右的顺序合并为一个新的数组。

例如：

type Result = Concat<[1], [2]>; // expected to be [1, 2]

分析

这个题目乍一看，好像没有什么思路，但是实际上非常简单，ts 和 js 一样，支持 ... 扩展运算符。

相关的官方文档 Spread (opens new window)。

题解

type Concat<T extends any[], U extends any[]> = [...T, ...U];

只需要借助 扩展操作符即可实现。

2024.7.31 修正

由于题目中 T 和 U 可能会是 readonly any[] 的类型，所以上述约束在 readonly 时并不能生效。

type Q = readonly any[] extends any[] ? true : false; // false

type Concat<T extends any[], U extends any[]> = [...T, ...U];
const tuple = [1] as const;
type R = Concat<typeof tuple, typeof tuple>; // error: readonly [1] is can not assigned any[]

只需要将约束扩大即可:

type Q = any[] extends readonly any[] ? true : false; // trye

type Concat<T extends readonly any[], U extends readonly any[]> = [...T, ...U];

知识点

1. 扩展操作符