为何TransformMap类型无法推断动态条件键的类型？

你的代码中，TransformMap是OpenLdapUserMap和ADUserMap的联合类型——前者包含krbPrincipalName字段，后者包含userPrincipalName字段，但TypeScript没法识别你通过adEnabled ? 'userPrincipalName' : 'krbPrincipalName'生成的键必然是两者之一，导致类型校验失败。

问题根源 #

• TypeScript处理对象字面量的计算属性时，会把键的类型推断为"userPrincipalName" | "krbPrincipalName"这个字符串联合类型。
• 但TransformMap作为联合类型，要求对象必须完全匹配其中一个分支：要么是包含userPrincipalName的ADUserMap，要么是包含krbPrincipalName的OpenLdapUserMap，不允许同时存在两个键的可能性。
• 计算属性的写法会让TypeScript认为这个对象可能同时包含两个键，不符合联合类型的“互斥”规则，所以类型推断失效。

解决方案 #

方案1：使用类型断言明确指定

直接把整个对象断言为TransformMap，跳过TypeScript的自动推断：

const adEnabled = parseInt(process.env.AD_ENABLED as string, 10);

type TransformMapValues = {
    key: string;
    transform?: (group: string) => string;
};

interface LdapUserMap {
    givenName: TransformMapValues;
    sn: TransformMapValues;
    mail: TransformMapValues;
    memberOf: TransformMapValues;
}

interface OpenLdapUserMap extends LdapUserMap {
    krbPrincipalName: TransformMapValues;
}

interface ADUserMap extends LdapUserMap {
    userPrincipalName: TransformMapValues;
}

type TransformMap = OpenLdapUserMap | ADUserMap;

const transformMap: TransformMap = {
    memberOf: {
        key: 'groups',
        transform: (group: string) => group.split(',')[0].split('=')[1],
    },
    mail: { key: 'email' },
    givenName: { key: 'firstName' },
    sn: { key: 'lastName' },
    [adEnabled ? 'userPrincipalName' : 'krbPrincipalName']: { key: 'loginName' },
} as TransformMap;

方案2：通过条件分支分别构建对象

根据adEnabled的值分情况创建对应接口的对象，让TypeScript能准确推断每个分支的类型：

const adEnabled = parseInt(process.env.AD_ENABLED as string, 10);

type TransformMapValues = {
    key: string;
    transform?: (group: string) => string;
};

interface LdapUserMap {
    givenName: TransformMapValues;
    sn: TransformMapValues;
    mail: TransformMapValues;
    memberOf: TransformMapValues;
}

interface OpenLdapUserMap extends LdapUserMap {
    krbPrincipalName: TransformMapValues;
}

interface ADUserMap extends LdapUserMap {
    userPrincipalName: TransformMapValues;
}

type TransformMap = OpenLdapUserMap | ADUserMap;

let transformMap: TransformMap;
if (adEnabled) {
    transformMap = {
        memberOf: {
            key: 'groups',
            transform: (group: string) => group.split(',')[0].split('=')[1],
        },
        mail: { key: 'email' },
        givenName: { key: 'firstName' },
        sn: { key: 'lastName' },
        userPrincipalName: { key: 'loginName' },
    };
} else {
    transformMap = {
        memberOf: {
            key: 'groups',
            transform: (group: string) => group.split(',')[0].split('=')[1],
        },
        mail: { key: 'email' },
        givenName: { key: 'firstName' },
        sn: { key: 'lastName' },
        krbPrincipalName: { key: 'loginName' },
    };
}

方案3：修改类型为交叉类型（谨慎使用）

如果业务场景允许对象同时存在两个键，可以把TransformMap改为交叉类型，但这可能不符合你的原始需求：

type TransformMap = OpenLdapUserMap & ADUserMap;

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