TypeScript代码报错求助：新手用类型收窄后仍存错误求解决

核心问题 #

你的代码错误源于联合类型的类型收窄不充分，TypeScript无法准确推断分支中的具体类型，导致索引、方法调用和参数类型出现错误。以下是针对性的修复方案：

修正后的代码 #

type BooleanAttributeName = string;
type PairedAttribute = {
    [_: string]: string | number;
};
type CompositeAttribute = [
    PairedAttribute,
    BooleanAttributeName | BooleanAttributeName[]
];
type Attributes = CompositeAttribute | PairedAttribute;

function SetAttributes(attributes: Attributes) {
    // 先判断是否是普通对象（PairedAttribute）
    if (!Array.isArray(attributes)) {
        // 此处TypeScript自动收窄为PairedAttribute，支持字符串索引
        for (const key in attributes) {
            console.log(key, attributes[key]);
        }
        // 处理完普通对象后返回，避免后续执行数组逻辑
        return;
    }

    // 此处已确定是CompositeAttribute数组类型，可安全调用map
    attributes.map((item) => {
        // 判断item是否是PairedAttribute（普通对象）
        if (!Array.isArray(item) && typeof item === 'object') {
            for (const key in item) {
                console.log(key, item[key]);
            }
        } 
        // 判断item是否是布尔属性数组
        else if (Array.isArray(item)) {
            item.map((attrName) => {
                console.log(attrName);
            });
        } 
        // 处理单个布尔属性字符串
        else {
            console.log(item);
        }
    });
}

let sample: Attributes = [
    {
        key1: "value1",
        key2: "value2",
    },
    ["BooleanAttribute1", "BooleanAttribute2"],
];

SetAttributes(sample);

关键修复点 #

• 用Array.isArray替代length判断：TypeScript对Array.isArray有原生类型支持，能准确将Attributes收窄为CompositeAttribute（数组）或PairedAttribute（普通对象），解决索引和map调用的类型错误。
• 提前返回避免分支混淆：处理完普通对象分支后直接return，确保后续代码只处理数组类型，消除联合类型的歧义。
• 显式收窄item类型：通过Array.isArray和typeof item === 'object'区分PairedAttribute、布尔属性数组和单个布尔属性字符串，解决参数隐式any的问题。
• 明确数组元素类型：CompositeAttribute是元组类型，map遍历的item会被自动推断为PairedAttribute或BooleanAttributeName | BooleanAttributeName[]，配合类型守卫即可准确处理每个分支。

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