Typescript中使用类型收窄为设置对象分配类型并精准推导值类型

你遇到的是「既要校验对象所有值符合固定类型，又要保留对象精确键结构推导」的典型TS场景，有两种成熟实现方案：

方案1：TS 4.9+ 原生satisfies实现（最简洁） #

无需额外工具函数，直接用原生语法即可同时满足类型校验和精确推导需求：

// 可先优化原有类型定义，去掉不必要的Merge泛型
export type InputFieldTypes = {
    toggle: boolean,
    text: string,
    dropdown: string,
}

type ExtraProperties = {
    toggle: {},
    text: {},
    dropdown: {
        selectValues: string[],
    },
}

type FieldOptions<K, V extends Partial<Record<keyof K, any>>> = {
    [P in keyof K]: {
        title: string,
        type: P,
        value: K[P],
    } & V[P]
}[keyof K]

export type InputField = FieldOptions<InputFieldTypes, ExtraProperties>;

// 定义配置时直接用satisfies校验
const userSettings = {
    testToggle: {
        title: "Toggle me",
        type: "toggle",
        value: false,
    },
    testDropdown: {
        title: "Test Dropdown",
        type: "dropdown",
        value: "Change me",
        selectValues: ["Option 1", "Option 2", "Option 3"]
    },
    testText: {
        title: "Test textbox",
        type: "text",
        value: "Change me",
    }
} satisfies Record<string, InputField>;

该方案优势：

• 自动校验所有配置项符合InputField类型规范，dropdown缺少selectValues、toggle的value类型错误都会直接抛出对应提示
• 完全保留对象的精确结构，访问userSettings.testToggle.value会直接推导为boolean类型，不会出现宽范围的联合类型
• 报错信息清晰：如果给toggle的value赋值number类型，会直接提示类型“number”不可分配给类型“boolean”，不会出现模糊的never错误

方案2：兼容低版本TS的工具函数实现 #

如果你使用的TS版本低于4.9，没法使用satisfies，可以优化原有工具函数的写法，避免交叉类型导致的报错异常：

const defineSettings = <T extends Record<string, InputField>>(settings: T) => settings;

const userSettings = defineSettings({
    testToggle: {
        title: "Toggle me",
        type: "toggle",
        value: false,
    },
    testDropdown: {
        title: "Test Dropdown",
        type: "dropdown",
        value: "Change me",
        selectValues: ["Option 1", "Option 2", "Option 3"]
    },
    testText: {
        title: "Test textbox",
        type: "text",
        value: "Change me",
    }
});

该方案效果和satisfies完全一致，同样可以实现类型校验+精确推导，报错信息也清晰直观。

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