为何TypeScript中数组映射与Record映射行为不一致？

问题描述 #

在TypeScript开发中，发现数组映射的行为与Record映射存在明显差异：数组本质是类似Record<number, ...>的可迭代对象，但基于数组索引实现的ParamRecordArray无法像嵌套Record结构的ParamRecordRecord那样自动推断check方法的参数为具体数值类型，只能识别为宽泛的number类型。且不想频繁使用as const或function<const T>():T这类语法，类的const泛型也未生效，需明确问题原因及可行解决方案。

相关代码示例：

enum AAA { a1 = 'a1', a2 = 'a2', a3 = 'a3' }
enum BBB { b1 = 'b1', b2 = 'b2', b3 = 'b3' }

// 数据结构
type TestData<T extends number = number> = {
    _: string;
    components?: T[];
    check: (c: T) => void;
}

// Record嵌套版本
type ParamRecordRecord<T> = {
    [KA in keyof T & AAA]: {
        [KB in keyof T[KA] & BBB]?: TestData<Extract<T[KA][KB], number> extends never ? number : Extract<T[KA][KB], number>>
    }
}

// 数组映射版本
type ParamRecordArray<T> = {
    [KA in keyof T & AAA]: {
        [KB in keyof T[KA] & `${number}`]?: TestData<Extract<T[KA][KB], number> extends never ? number : Extract<T[KA][KB], number>>
    }
}

问题原因 #

1. 数组类型的默认宽化：TypeScript中普通数组（如number[]）的索引类型会被默认宽化为number，而非具体的数字字面量（如0、1）。当通过keyof T[KA] & ${number}``过滤数组索引时，结果仍是宽泛的number类型，无法追踪每个索引对应的具体数值。
2. Record结构的字面量保留：ParamRecordRecord使用枚举（BBB）作为键，枚举成员是字符串字面量类型，TypeScript会保留每个键对应的值的具体字面量类型，因此能正确推断check方法的参数类型。
3. 类的const泛型限制：TypeScript目前对类的const泛型支持有限，无法像函数const泛型那样自动推断字面量类型，导致类中的泛型参数仍会被宽化。

可行解决方案 #

方案1：使用函数const泛型辅助推断 #

这是目前最可靠的自动推断方式，无需手动添加as const：

// 辅助函数，利用const泛型保留字面量类型
function createParamArray<const T extends Record<AAA, readonly number[]>>(obj: T): ParamRecordArray<T> {
    return obj as unknown as ParamRecordArray<T>;
}

// 使用示例
const paramArray = createParamArray({
    a1: [10, 20, 30],
    a2: [40, 50]
});

// 此时paramArray.a1[0]?.check的参数类型为10，paramArray.a1[1]?.check的参数类型为20

方案2：强制输入类型为元组 #

通过类型约束，要求ParamRecordArray的泛型参数T的属性为元组类型，TypeScript会保留每个索引的具体数值类型：

type ParamRecordArray<T extends Record<AAA, readonly number[]>> = {
    [KA in keyof T & AAA]: {
        [KB in keyof T[KA] & `${number}`]: TestData<T[KA][KB]>
    }
}

// 使用时需确保数组为readonly元组
const paramArray: ParamRecordArray<{
    a1: readonly [10, 20, 30],
    a2: readonly [40, 50]
}> = {
    a1: {
        "0": { _: "test", check: (c) => console.log(c) }, // c的类型为10
        "1": { _: "test", check: (c) => console.log(c) }  // c的类型为20
    }
};

方案3：调整类型映射逻辑（放弃索引级别的具体推断） #

如果不需要每个索引对应不同的数值类型，可将TestData的参数设为数组元素的联合类型：

type ParamRecordArray<T> = {
    [KA in keyof T & AAA]: {
        [KB in keyof T[KA] & `${number}`]?: TestData<T[KA] extends Array<infer U> ? U : number>
    }
}

// 使用示例
const paramArray2: ParamRecordArray<{a1: [10,20,30]}> = {
    a1: {
        "0": { _: "test", check: (c) => {} }, // c的类型为10|20|30
    }
};

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