TypeScript中如何在确保类型符合另一类型时保留精确推断类型？

当你给变量显式标注Foo类型后，TypeScript会优先使用这个标注类型，忽略as const带来的字面量精确类型，所以typeof foo得到的是Foo而非你期望的具体键值对类型。要解决这个问题，可以用以下两种方式：

方案一：使用satisfies关键字（TypeScript 4.9+） #

satisfies可以检查对象是否符合Foo类型的约束，但不会改变对象自身的推断类型，结合as const就能保留精确的字面量类型：

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

const foo = {
    lorem: 'ipsum',
    hello: 'world',
} as const satisfies Foo;

type T = typeof foo;
// 此时 T 的类型为：
// type T = {
//     readonly lorem: 'ipsum';
//     readonly hello: 'world';
// };

方案二：通过辅助函数捕获精确类型 #

如果你使用的TypeScript版本低于4.9，或者需要更灵活的写法，可以用泛型辅助函数来同时约束类型和保留字面量：

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

const createFoo = <T extends Foo>(obj: T) => obj as const;

const foo = createFoo({
    lorem: 'ipsum',
    hello: 'world',
});

type T = typeof foo;
// 同样能得到期望的精确只读类型，且foo会被约束为Foo的子类型

原理很简单：显式类型标注会覆盖TypeScript的自动推断，而上面两种方法都是先让TS推断出对象的精确字面量类型，再确保这个类型符合Foo的约束，从而兼顾类型检查和精确类型获取。

内容的提问来源于stack exchange，提问作者Stephan D.