TypeScript中satisfies关键字赋值后为何无法检测多余属性？

这本质是TypeScript的对象字面量多余属性检查和结构类型系统共同作用的结果：

1. 对象字面量的多余属性检查是“语法糖式”的额外提示 #

当你直接用对象字面量配合satisfies时，TypeScript会触发一个专门的语法检查——它会对比字面量和目标类型的属性，一旦发现多余属性就报错。这个规则是为了帮你避免拼写错误或冗余属性，但它不是TypeScript类型系统的核心规则，只在字面量直接使用时触发。

比如这段代码里的报错就是这个检查在起作用：

interface MyType {
    num: number,
}

const largeData = {
    num: 1,
    str: "", // TS2353: 这里触发字面量多余属性检查
} satisfies MyType

2. 变量的类型检查遵循结构类型系统规则 #

当字面量被赋值给变量后，变量的类型会被推断为字面量的完整类型（比如{ num: number; str: string }）。此时再用satisfies MyType检查变量时，TypeScript遵循结构类型系统的核心逻辑：只要一个类型包含目标类型的所有必填属性，它就是目标类型的子类型，多余属性不影响兼容性。

所以largeData satisfies MyType不会报错——因为largeData的类型完全包含MyType的所有属性，符合子类型的要求。

3. 缺失属性的情况为什么前后都报错？ #

结构类型系统要求子类型必须包含父类型的所有必填属性。不管是字面量还是变量，只要缺少目标类型的必填属性，就不满足satisfies的要求，所以前后都会报错：

interface MyTypeExtended {
    num: number,
    str: string,
}

const smallData = {
    num: 1,
} satisfies MyTypeExtended  // 缺少str，报错
smallData satisfies MyTypeExtended // 还是缺少str，继续报错

如何实现“严格检查无多余属性”的需求？ #

如果你需要确保某个值恰好匹配目标类型（没有多余属性），可以自定义一个Exact类型来强制检查：

interface MyType {
    num: number,
}

interface MyTypeExtended {
    num: number,
    str: string,
}

// 定义严格匹配类型：T必须和U完全一致
type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

function ReturnMyTypeOnly(input: MyTypeExtended): MyType {
    // 这里会报错，因为input包含str属性，和MyType不完全匹配
    return input satisfies Exact<typeof input, MyType>;
}

或者更直接的方式，在函数里剔除多余属性后再返回：

function ReturnMyTypeOnly(input: MyTypeExtended): MyType {
    const { str, ...cleanData } = input;
    return cleanData; // 此时cleanData的类型就是MyType，无需额外检查
}

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