如何无需函数断言对象符合类型且保留原始类型？

太棒了这个问题！你完全不需要依赖IIFE来实现「检查对象符合特定接口，同时保留原始类型」的需求——如果你使用的是TypeScript 4.9及以上版本，satisfies运算符就是专门为这种场景设计的：它会验证值是否符合指定类型，同时完完整整保留值的原始字面量类型，不会像普通类型断言那样收缩类型、丢失额外属性的类型信息。

核心示例代码 #

interface MustHaveThingy { thingy: any; }

// 使用satisfies运算符，直接完成类型检查+保留原始类型
const originalType = { 
  thingy: 'something', 
  somethingElse: 'this is part of the type', 
} satisfies MustHaveThingy;

此时originalType的类型会被TypeScript正确推断为：

{
  thingy: string;
  somethingElse: string;
}

完全符合你的预期，而且代码比IIFE简洁太多！

低版本TypeScript的替代方案 #

如果因为环境限制无法升级到TS 4.9+，你还可以用泛型工具类型来实现类似效果，同样不需要IIFE：

interface MustHaveThingy { thingy: any; }

// 定义一个泛型工具，要求U必须继承T，以此实现类型检查
type AssertConformsTo<T, U extends T> = U;

const originalType = { 
  thingy: 'something', 
  somethingElse: 'this is part of the type', 
} as AssertConformsTo<MustHaveThingy, typeof originalType>;

这个方式通过泛型约束来确保对象符合MustHaveThingy接口，同时通过typeof originalType保留了对象的原始类型信息。

为什么不直接用普通类型断言？ #

如果你直接写const originalType = { ... } as MustHaveThingy，TypeScript会把originalType的类型收缩为MustHaveThingy，丢失somethingElse这类额外属性的类型信息——这显然不是你想要的结果。而satisfies和上面的泛型工具方案都能完美避免这个问题。

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