为何TypeScript在对象合并时无法检测无效键？

问题原因 #

当前代码中TypeScript未报错的核心原因有两点：

1. 动态键的类型检查逻辑：当使用联合类型SpecKey作为计算属性的键时，TypeScript不会逐一校验每个可能的键是否属于目标类型TestObj的键，仅判断联合类型中存在合法键即允许通过。
2. 额外属性检查的适用范围：TypeScript的额外属性检查仅针对直接的对象字面量赋值（如const obj: TestObj = {random: 123}），而通过扩展运算符...+计算属性的方式创建对象时，结构化类型系统会允许对象包含额外属性，因此不会触发校验。

同时，值类型不匹配（number赋值给string类型的valid属性）未报错，也是因为计算属性的键类型不确定，TypeScript无法精准匹配对应属性的类型约束。

解决方案 #

要实现「SpecKey必须删除"random"否则触发错误」的需求，可采用以下两种直接有效的方式：

1. 约束SpecKey为TestObj的键类型 #

直接让SpecKey继承keyof TestObj，确保其只能包含TestObj已有的键，新增非法键会直接在类型定义阶段报错：

type TestObj = {
    valid?: string;
}

// 仅允许TestObj的键作为SpecKey的取值
type SpecKey = keyof TestObj; // 此时SpecKey仅为"valid"

const objA: TestObj = {
    valid: "something",
}

function testFunc(key: SpecKey) {
    const objC: TestObj = {
        ...objA,
        [key]: "new valid value", // 必须赋值为string类型，否则会触发类型错误
    }
}

如果尝试将SpecKey定义为keyof TestObj | "random"，TypeScript会直接提示"random"不属于keyof TestObj，从根源上强制SpecKey的合规性。

2. 用泛型约束函数参数 #

如果需要在函数调用层面确保键的合法性，可使用泛型约束参数key必须是TestObj的键，这样传入非法键时会直接报错：

type TestObj = {
    valid?: string;
}

const objA: TestObj = {
    valid: "something",
}

// 泛型K约束为TestObj的键类型
function testFunc<K extends keyof TestObj>(key: K) {
    const objC: TestObj = {
        ...objA,
        [key]: "new valid value", // 值类型必须匹配TestObj[K]的类型（string | undefined）
    }
}

testFunc("valid"); // 合法调用
testFunc("random"); // 直接报错：类型'"random"'的参数不能赋给类型'"valid"'的参数

额外说明 #

如果需要严格禁止对象包含任何额外属性，可以通过Record和never组合定义精确类型，但这种方式较为严格，日常开发中较少用到：

type ExactTestObj = TestObj & Record<Exclude<string, keyof TestObj>, never>;

const objC: ExactTestObj = {
    ...objA,
    [key]: 123, // 无论key是什么，只要是额外键就会报错
}

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