TypeScript省略参数类型检查问题：Radio类型未强制必填属性

你这里的核心问题是**Exclude类型工具的用法错误**——它仅适用于联合类型的成员排除，而你用它处理单个对象类型Simple，导致Base类型根本没达到你预期的“type不能为'text'或'radio'”的效果。

具体细节：

• Exclude<Simple, {type: 'text'|'radio'}> 不会修改Simple的结构，因为Exclude是用来从联合类型里移除指定成员的，而Simple是单一对象类型，所以Base本质上还是{name: string; type: string}，完全没限制type的取值范围。
• 虽然你定义Radio = Base & {type: 'radio', radio: string, freq: string}，交叉后的类型确实要求有radio和freq，但Field是Radio | Texto | Base的联合类型，TypeScript会把你的myRadio对象匹配到Base类型（因为Base允许type为任意字符串，包括'radio'），自然不会触发缺失属性的错误。

正确定义Base类型，直接限制它的type为排除'text'和'radio'的字符串类型，让TypeScript能通过type属性精确识别对应的类型分支：

type Simple = {
    name: string
    type: string
}

// 正确定义Base：type只能是除'text'和'radio'之外的字符串
type Base = Omit<Simple, 'type'> & {
    type: Exclude<string, 'text' | 'radio'>
}

type Radio = Omit<Simple, 'type'> & {
    type: 'radio',
    radio: string,
    freq: string
};

type Texto = Omit<Simple, 'type'> & {
    type: 'text'
    label: string
}

type Field = Radio | Texto | Base

// 现在会报错：类型"{ type: 'radio'; name: 'snig'; }"中缺少属性"radio"和"freq"
const myRadio:Field = {
    type: 'radio',
    name:'snig'
}

也可以用更简洁的可辨识联合类型思路：

type BaseField = { name: string }
type Radio = BaseField & { type: 'radio', radio: string, freq: string }
type Texto = BaseField & { type: 'text', label: string }
type OtherField = BaseField & { type: Exclude<string, 'text' | 'radio'> }

type Field = Radio | Texto | OtherField

// 同样会触发缺失属性的错误
const myRadio:Field = {
    type: 'radio',
    name:'snig'
}

修改后，当你指定type: 'radio'时，TypeScript会明确匹配Radio类型，强制要求必须包含radio和freq属性，达到你预期的校验效果。

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