TypeScript：匿名对象属性不符合类型规范时强制触发类型错误

方法1：使用satisfies关键字（TypeScript 4.9+） #

这是最简洁的适配方案，satisfies会严格验证对象字面量是否完全符合目标类型，但不会修改其原有类型，正好满足你的需求：

type Foo = {
  exists: true;
  bar: string;
};

doSomething({
  foo: {
    bar: 'baz' // 编译错误：缺少必填属性exists
  } satisfies Foo
});

当后续Foo新增属性时，此处会直接触发编译警告，既实现了类型保护，又无需额外变量。

方法2：自定义极简类型校验函数 #

如果你的TypeScript版本低于4.9，可以写一个超轻量的辅助函数，用它强制校验类型同时避免多余变量：

const enforceType = <T>(value: T): T => value;

// 使用示例
doSomething({
  foo: enforceType<Foo>({
    bar: 'baz' // 编译错误：缺少exists属性
  })
});

这个函数只是原封不动返回输入值，但TS会在调用时严格校验传入对象是否符合Foo类型——缺失属性、类型不匹配都会触发错误，效果和你用局部变量的写法完全一致，但没有额外的变量开销。

原断言方式不生效的原因 #

你使用as Foo或<Foo>类型断言时，TS会认为你在手动确认类型兼容性，只会做宽松检查（不会强制校验所有必填属性）。这是设计上的逻辑：断言是给开发者手动覆盖类型推断用的，因此不会像变量声明那样执行严格校验。而上面两种方法都是让TS主动执行严格类型检查，同时保留匿名对象的写法。

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