如何在TypeScript中基于数组值生成对象键并实现自动补全与错误校验

要实现你需要的功能，核心是利用TypeScript的泛型和字符串字面量类型，让函数能捕获传入数组的具体键名，同时约束返回对象的属性和值类型。以下是适配TypeScript 4.7.4的完整实现：

// 带类型定义的函数
function doSomething<T extends readonly string[]>(list: T): { [K in T[number]]: string | number | boolean | null } {
    const data = {} as { [K in T[number]]: string | number | boolean | null };

    list.forEach(item => {
        data[item] = '示例值' as string | number | boolean | null;
    });

    return data;
}

// 调用示例
const data = doSomething([
    'phone_number',
    'customer_email'
] as const); // 此处`as const`是关键，让TypeScript识别数组为只读字面量数组

// IDE会自动补全phone_number和customer_email属性
console.log(data.phone_number);
console.log(data.customer_email);

// 访问不存在的属性时，TypeScript直接报错
console.log(data.phone_numbersss); // 触发类型错误提示

关键细节说明 #

• 泛型约束T extends readonly string[]：确保传入参数是只读字符串数组，让TypeScript保留数组元素的具体字符串字面量类型，而非宽泛的string[]。
• 返回类型映射{ [K in T[number]]: ... }：通过T[number]提取数组元素的联合类型，将其作为返回对象的键，值类型限定为需求中的string | number | boolean | null。
• as const断言：调用函数时给数组加此断言，强制TypeScript将数组解析为只读字面量数组，否则元素会被推断为string类型，无法实现精准键名补全。
• 类型断言初始化data：空对象{}的默认类型无法匹配返回类型，用as断言为目标类型，避免赋值时的类型错误。

内容的提问来源于stack exchange，提问作者Md. A. A. Apu