如何为Partial<JazzQuartet>动态赋值指定键并消除TS类型错误？

这段代码中，demoFn尝试通过循环动态构建Partial<JazzQuartet>对象，但在给combo[role]赋值时触发TS2322错误：类型HornPlayer | ChordPlayer | BassPlayer | DrumPlayer无法赋值给类型undefined。本质原因是TypeScript无法在循环语句中跟踪每个role对应的具体类型，只能将recruit(role)的返回值推断为所有角色类型的联合类型，而Partial<JazzQuartet>的属性类型是对应子类型 | undefined，TS无法确认联合类型与当前属性的具体子类型匹配。

以下是几种保持动态构建逻辑的前提下消除错误的方法：

方法一：类型断言 #

直接通过类型断言告诉TypeScript，recruit(role)的返回值与当前combo[role]的类型匹配：

const demoFn = function (
    rolesToInclude : (keyof JazzQuartet)[],
) : Partial<JazzQuartet> {
    let combo : Partial<JazzQuartet> = {};
    for(let role of rolesToInclude) {
        combo[role] = recruit(role) as JazzQuartet[keyof JazzQuartet];
    }
    return combo;
}

这种方式最简单直接，前提是你能确保代码逻辑的正确性（即recruit确实会返回对应角色的正确类型）。

方法二：封装泛型辅助函数 #

通过泛型辅助函数让TypeScript能精准推断每个角色对应的类型：

interface HornPlayer {instrumentName: 'saxophone' | 'clarinet' | 'trumpet';}
interface ChordPlayer {instrumentName: 'piano' | 'organ' | 'vibraphone';}
interface BassPlayer {instrumentName: 'double bass' | 'tuba' | 'bass guitar';}
interface DrumPlayer {kitItemCount: number;}
type Instrumentalist = HornPlayer | ChordPlayer | BassPlayer | DrumPlayer;
interface JazzQuartet {
    horn: HornPlayer,
    chords: ChordPlayer,
    bass: BassPlayer,
    drums: DrumPlayer
}
declare function recruit<R extends keyof JazzQuartet>(roleToRecruitFor: R) : JazzQuartet[R];

// 泛型辅助函数
function assignToCombo<K extends keyof JazzQuartet>(combo: Partial<JazzQuartet>, role: K) {
    combo[role] = recruit(role);
}

const demoFn = function (
    rolesToInclude : (keyof JazzQuartet)[],
) : Partial<JazzQuartet> {
    let combo : Partial<JazzQuartet> = {};
    for(let role of rolesToInclude) {
        assignToCombo(combo, role);
    }
    return combo;
}

在辅助函数中，TypeScript能通过泛型K关联role和recruit的返回类型，从而确认赋值的类型安全性，不会触发错误。

方法三：使用Object.assign #

通过Object.assign更新对象，让TypeScript重新推断类型：

const demoFn = function (
    rolesToInclude : (keyof JazzQuartet)[],
) : Partial<JazzQuartet> {
    let combo : Partial<JazzQuartet> = {};
    for(let role of rolesToInclude) {
        combo = Object.assign(combo, { [role]: recruit(role) });
    }
    return combo;
}

每次循环通过Object.assign生成新的对象，TypeScript会重新计算对象的类型，从而匹配Partial<JazzQuartet>的要求。

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