如何让TypeScript识别过滤后的数组仅包含Bob类型而非undefined？

你遇到的问题是因为TypeScript默认无法推断filter回调已经排除了undefined元素。要让TS自动识别过滤后的数组仅包含Bob类型，必须用**类型谓词（Type Predicate）**明确标注过滤条件的类型断言。

正确实现代码： #

interface Bob {
    name: string;
}

type BobDetails = undefined | Bob;

const myArray: BobDetails[] = [{ name: "Bob" }, undefined];

// 用类型谓词告诉TS：返回true时，item是Bob类型
const filteredBobs = myArray.filter((item): item is Bob => {
    // 这里的判断逻辑要确保item不是undefined且符合Bob类型结构
    return item !== undefined && typeof item.name === 'string';
});

filteredBobs[0].name; // 无报错，TS识别为Bob[]类型

简化写法： #

如果你的判断逻辑足够简单（比如只要item存在且name有值），可以简化成：

const filteredBobs = myArray.filter((item): item is Bob => !!item?.name);

为什么这样有效？ #

item is Bob是TypeScript的类型谓词语法，它向编译器承诺：当回调返回true时，传入的item一定是Bob类型。这样TS就能正确推断出filter返回的数组类型是Bob[]，而非原来的BobDetails[]，也就不会再提示元素可能为undefined。

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