使用satisfies时TypeScript嵌套对象可选属性报错排查

问题原因 #

你遇到的核心问题是：satisfies运算符会让TypeScript根据对象的实际值窄化类型，导致objArray被推断为两个对象的联合类型——其中bar的类型被窄化为{ type: "normal"; message: string; }（缺失formatter属性），而foo的类型保留了formatter。当你在循环中访问entry.formatter时，TypeScript认为联合类型中存在没有该属性的成员，因此报错。

解决方案 #

方案1：将可选属性改为「必选但允许undefined」 #

把MyObj中的可选属性formatter?:改为必选属性，同时允许值为undefined，这样无论对象是否显式声明formatter，类型中都会保留该属性，避免被TypeScript窄化：

const formatterFunctions = {
    foo: () => true,
    bar: undefined,
} as const
type FormatterFunctionsKeys = keyof typeof formatterFunctions

// 修改MyObj的formatter属性定义
type MyObj = {
    type: 'normal' | 'function',
    message: string,
    formatter: typeof formatterFunctions[FormatterFunctionsKeys] | undefined
};

const objArray = {
    foo: { type: 'function', message: 'someMessage', formatter: formatterFunctions.foo},
    bar: {type: 'normal', message: 'barMessage'}
 } satisfies {[K in FormatterFunctionsKeys]: MyObj}

for (const [key, entry] of Object.entries(objArray)) {
    entry.formatter; // 现在可以正常访问，自动补全也会显示该属性
}

方案2：通过泛型保留原始类型约束 #

如果你不想修改MyObj的定义，可以用泛型函数包裹对象创建逻辑，既保留satisfies的类型检查能力，又强制TypeScript保留MyObj的结构（包括可选属性）：

const formatterFunctions = {
    foo: () => true,
    bar: undefined,
} as const
type FormatterFunctionsKeys = keyof typeof formatterFunctions

type MyObj = {
    type: 'normal' | 'function',
    message: string,
    formatter?: typeof formatterFunctions[FormatterFunctionsKeys]
};

// 泛型函数约束类型，避免过度窄化
function createTypedObj<T extends {[K in FormatterFunctionsKeys]: MyObj}>(obj: T) {
    return obj;
}

const objArray = createTypedObj({
    foo: { type: 'function', message: 'someMessage', formatter: formatterFunctions.foo},
    bar: {type: 'normal', message: 'barMessage'}
 });

for (const [key, entry] of Object.entries(objArray)) {
    entry.formatter; // 正常访问并获得自动补全
}

方案说明 #

• 方案1更简洁，适合大多数场景：将可选属性改为「必选+undefined」后，TypeScript不会再把缺失的属性从类型中移除，联合类型的所有成员都包含formatter，自然可以安全访问。
• 方案2适合需要严格保留MyObj原始定义的场景：泛型函数强制TypeScript按照MyObj的结构推断类型，避免了satisfies带来的过度窄化。

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