TypeScript如何定义至少含一个字符串、其余可为数字的数组类型？

要实现**至少包含一个字符串、其余元素可为数字（字符串可在任意位置）**的数组类型，你可以通过Exclude工具类型排除纯数字数组和空数组，写法如下：

type NumberArrayWithAtleastOneString = Exclude<(number | string)[], number[] | []>;

测试验证 #

const a: NumberArrayWithAtleastOneString = [1,'hello',3]; // ✅ 正常通过
const b: NumberArrayWithAtleastOneString = ['hello', 3, 'world']; // ✅ 正常通过
const d: NumberArrayWithAtleastOneString = ['hello']; // ✅ 正常通过
const c: NumberArrayWithAtleastOneString = [1,2,3]; // ❌ 报错：Type 'number[]' is not assignable to type 'NumberArrayWithAtleastOneString'
const e: NumberArrayWithAtleastOneString = []; // ❌ 报错：Type '[]' is not assignable to type 'NumberArrayWithAtleastOneString'

原写法错误原因 #

你之前的类型定义[...(number[] | string)[], string]存在逻辑问题：

• 这个类型本质是两种数组类型的联合：
  1. [...number[], string]：要求最后一个元素必须是字符串，前面全是数字
  2. [...string[], string]：所有元素都是字符串（等价于string[]）
• 它既不允许字符串出现在数组中间位置（比如[1,'hello',3]的最后一个元素是数字，不符合第一种情况），也不允许混合多个字符串和数字的非末尾字符串场景，所以所有测试用例都会报错。

另一种等价写法 #

如果更倾向于用条件类型表达，也可以写成：

type NumberArrayWithAtleastOneString = (number | string)[] extends infer T
  ? T extends number[] | []
    ? never
    : T
  : never;

内容的提问来源于stack exchange，提问作者pinkboid