使用类型别名时TypeScript无法正确推断类型的问题咨询

问题复现代码 #

function foo<T>(record: Record<string, T>, entity: T) {
}

type StringArrayRecord = Record<string, string[]>;

function test() {
    const working: Record<string, string[]> = {};
    foo(working, []); // 编译通过

    const broken: StringArrayRecord = {};
    foo(broken, []); // 编译失败
}

报错信息 #

Argument of type 'StringArrayRecord' is not assignable to parameter of type 'Record<string, never[]>'.
  'string' index signatures are incompatible.
    Type 'string[]' is not assignable to type 'never[]'.
      Type 'string' is not assignable to type 'never'.

联合类型场景复现 #

type StringOrNumberRecord = Record<string, string | number>;

function test() {
    const working: Record<string, string | number> = {};
    foo(working, "string"); // 编译通过

    const broken: StringOrNumberRecord = {};
    foo(broken, "string"); // 编译失败
}

注：TypeScript 4.8及5.x版本均存在该问题

临时解决方案 #

• 显式指定泛型参数：foo<string[]>(broken, []) 或 foo<string | number>(broken, "string")
• 对第二个参数做类型断言：foo(broken, [] as string[]) 或 foo(broken, "string" as string | number)

问题原因与替代方案 #

这是TypeScript泛型推断机制的已知设计限制：当用类型别名包裹Record这类工具类型时，TypeScript无法自动展开别名并推断正确的T类型，反而会优先从第二个参数entity的上下文推断（空数组会被推断为never[]，字符串字面量会被推断为具体字面量而非联合类型），最终导致类型不匹配。

除了临时方案，还可以用以下优化方式：

1. 直接使用原始类型：避免用类型别名封装Record，直接在变量或参数中写Record<string, string[]>
2. 调整泛型函数参数顺序：将entity放在前面，让TypeScript优先从更明确的entity推断T，再匹配record的类型：

function foo<T>(entity: T, record: Record<string, T>) {
}

type StringArrayRecord = Record<string, string[]>;

function test() {
    const broken: StringArrayRecord = {};
    foo([], broken); // 编译通过
}

3. 使用泛型类型别名：将类型别名定义为泛型，使用时明确传入类型参数：

type GenericRecord<T> = Record<string, T>;

function test() {
    const broken: GenericRecord<string[]> = {};
    foo(broken, []); // 编译通过
}

该问题不属于TypeScript的bug，是类型检查器为避免过度推断导致意外问题而设计的行为。

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