TypeScript中如何正确实现数组首个元素的类型标注？

你的需求在TypeScript中完全可行，实现时出现类型错误的核心原因是：TypeScript的控制流分析无法将arr.length === 0的运行时检查和泛型类型T的约束关联起来——它没法推断出抛出错误后，arr必然是一个非空数组，因此arr[0]的类型仍被判定为unknown，无法匹配First<T>的类型。

而你测试的declare函数类型表现正常，是因为声明式函数不需要TypeScript检查实现的类型兼容性，它会直接根据泛型参数T推导返回类型First<T>，跳过了实现层面的类型校验。

解决方法 #

1. 类型断言（最简单直接）

既然你已经在运行时确保了数组非空，可以用类型断言明确告诉TypeScriptarr[0]的类型就是First<T>：

type First<T extends unknown[]> = T extends [infer P, ...unknown[]] ? P : never;

const getFirstOrThrow = <T extends unknown[]>(arr: T): First<T> => {
  if(arr.length === 0) {
    throw new Error("Empty array");
  }
  return arr[0] as First<T>; // 安全断言，运行时已做非空检查
};

2. 自定义类型守卫

通过自定义类型守卫，让TypeScript识别出arr在抛出错误后为非空数组：

type First<T extends unknown[]> = T extends [infer P, ...unknown[]] ? P : never;

// 自定义类型守卫：判断数组是否为非空数组
function isNonEmptyArray<T>(arr: T[]): arr is [T, ...T[]] {
  return arr.length > 0;
}

const getFirstOrThrow = <T extends unknown[]>(arr: T): First<T> => {
  if(!isNonEmptyArray(arr)) {
    throw new Error("Empty array");
  }
  return arr[0]; // 此时TypeScript能推断arr为非空数组，类型自动匹配
};

3. 函数重载

用函数重载明确不同输入对应的返回类型，同时让实现的类型检查通过：

type First<T extends unknown[]> = T extends [infer P, ...unknown[]] ? P : never;

// 重载声明：非空数组返回第一个元素类型，空数组返回never
function getFirstOrThrow<T>(arr: [T, ...unknown[]]): T;
function getFirstOrThrow(arr: []): never;
// 实现函数
function getFirstOrThrow(arr: unknown[]) {
  if(arr.length === 0) {
    throw new Error("Empty array");
  }
  return arr[0];
}

// 测试：
const a = getFirstOrThrow([]); // never
const b = getFirstOrThrow([1]); // number
const c = getFirstOrThrow([1, "2"]); // number

关于两种First类型定义 #

你写的两种First类型定义都能正确处理元组类型，但存在细微差异：

• 第一种T extends [infer P, ...unknown[]] ? P : never：对于普通数组（比如number[]），First<number[]>会被推断为number（因为number[]可以匹配[infer P, ...unknown[]]）。
• 第二种T["length"] extends 0 ? never : T[0]：对于普通数组number[]，T["length"]是number，不会严格等于0，所以First<number[]>是number，但如果是readonly []这类空数组类型，也能正确返回never。

两种定义在处理元组时表现一致，你可以根据需求选择。

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