TypeScript中如何创建排除指定属性的新类型（不修改原类型）

针对你遇到的问题：原类型带有字符串索引签名，需要创建新类型禁止指定属性，同时不能修改原类型，且空对象不会触发"属性缺失"报错，这里提供一个可靠的解决方案。

核心问题分析 #

你之前尝试的Test = Foo & { [key in ForbiddenProperties]: never }会把禁止属性标记为必填，因为对象类型中显式声明的属性默认是必填项，所以空对象会因缺少该属性报错。而用[key: Exclude<string, 'a'>]: string的方式无效，是因为Exclude<string, 'a'>本质仍为string类型，无法从全局字符串索引中排除单个字面量。

正确的类型定义 #

将禁止属性设置为可选的never类型，与原类型交叉即可实现需求：

type Foo = {
    [key: string]: any
}

type ForbiddenProperties = "a";

type Test = Foo & { [K in ForbiddenProperties]?: never }

验证效果 #

const test: Test = {a: 1}; // ❌ 报错：number类型无法赋值给never | undefined
const test1: Test = {b: 'asd'}; // ✅ 正常通过
const test2: Test = {a: 1, b: 'asd'}; // ❌ 报错：number类型无法赋值给never | undefined
const test3: Test = {} // ✅ 正常通过

方案原理 #

• 原类型Foo的字符串索引签名允许任意字符串键，但交叉{ [K in ForbiddenProperties]?: never }后，禁止属性a的类型被限定为never | undefined：
  • 显式赋值a时，任何值都无法匹配never类型，直接触发报错；
  • 不声明a时，可选属性的特性允许其缺失，不会出现"属性缺失"的错误。

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