如何用单个泛型参数实现TypeScript元组大写校验与类型推断？

当然可以用单个泛型参数实现需求，核心是调整泛型的约束对象——让泛型直接约束第一个字符串元组，而非整个二元组结构。

之前朴素写法的问题 #

你之前的写法把泛型T约束为CapitalizeTuple<string[]>，相当于让TypeScript把整个二元组作为泛型推断对象，而string[]是宽泛的数组类型，会导致第一个元素被推断为string[]而非具体的字符串元组，自然无法精准校验对应位置的大写关系。

正确的单泛型实现 #

// 定义类型：T为字符串元组，生成对应的二元组结构
type CapitalizeTuple<T extends readonly string[]> = [
  T,
  { [I in keyof T]: Capitalize<T[I]> }
];

// 单泛型函数声明：泛型T约束为只读字符串元组，参数和返回值严格对应CapitalizeTuple<T>
declare const capitalizeTuple: <T extends readonly string[]>(
  t: CapitalizeTuple<T>
) => CapitalizeTuple<T>;

// 错误示例：第二个元素"Bar"与第一个元素"foo"的预期大写"Foo"不匹配，TypeScript会报错
capitalizeTuple([["foo"], ["Bar"]]);

// 正确示例：TypeScript会精准推断返回类型为 [[ "foo", "bar" ], [ "Foo", "Bar" ]]
const validResult = capitalizeTuple([
  ["foo", "bar"],
  ["Foo", "Bar"],
]);

原理说明 #

• 泛型T直接绑定第一个字符串元组，readonly string[]的约束会引导TypeScript将输入的字面量数组推断为具体元组而非宽泛的string[]；
• CapitalizeTuple<T>通过映射类型，强制第二个元组的每个元素必须是第一个元组对应位置元素的大写形式，实现严格的类型校验；
• 返回值直接复用CapitalizeTuple<T>，确保返回类型与输入的合法结构完全一致。

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