键入别名作为区分联合

Question

我编写了一个相当复杂的定义文件来匹配现有 JavaScript 库的行为

export declare interface XcodeBaseFileTreeObject {
    path: string;
    includeInIndex?: 0 | 1;
    usesTabs?: 0 | 1;
    indentWidth?: number;
    tabWidth?: number;
    wrapsLines?: 0 | 1;
}

export declare interface XcodeUngroupedFileTreeObject extends XcodeBaseFileTreeObject {
    sourceTree: `"<absolute>"` | "SOURCE_ROOT" | "DEVELOPER_DIR" | "BUILT_PRODUCTS_DIR" | "SDKROOT";
    name: string;
}

export declare interface XcodeGroupedFileTreeObject extends XcodeBaseFileTreeObject {
    sourceTree: `"<group>"`;
}

export declare type XcodeAbstractFileTreeObject = XcodeGroupedFileTreeObject | XcodeUngroupedFileTreeObject;

export declare type PBXBaseFileReference = XcodeAbstractFileTreeObject & {
    readonly isa: "PBXFileReference";
    fileEncoding?: 4 | 10;
    lineEnding?: 0 | 1 | 2;
    languageSpecificationIdentifier?: string;
    xcLanguageSpecificationIdentifier?: string;
    plistStructureDefinitionIdentifier?: string;
};

export declare type XcodeFileType = "archive.ar" | "archive.asdictionary" | "archive.binhex";

export declare type PBXInferredFileReference = PBXBaseFileReference & {
    lastKnownFileType: XcodeFileType;
};

export declare type PBXExplicitFileReference = PBXBaseFileReference & {
    explicitFileType: XcodeFileType;
};

export declare type PBXFileReference = PBXInferredFileReference | PBXExplicitFileReference;

为简洁起见，某些联合类型作为属性已被缩短，但这里的要点是我有一个可区分的联合，另一种类型要从该联合中继承，而另一个可区分的联合则要从该类型继承。 当我在 function 中使用树底部的联合时，如下所示：

function getFileType(file: PBXFileReference): XcodeFileType {
    return file.lastKnownFileType ?? file.explicitFileType;
}

我收到一个错误，即PBXFileReference上既不存在lastKnownFileType也不存在explicitFileType 。 事实上，当我写这篇文章时，自动完成功能甚至都没有出现。 我期待它作为一个典型的歧视性联合，如果其中一个价值没有被定义，它就会退回到另一个绝对存在的价值上。 我怎样才能实现我正在寻找的结构？

Answer 1

您可以使用三元表达式并使用in在访问之前检查属性：

function getFileType(file: PBXFileReference): XcodeFileType {
  return 'lastKnownFileType' in file ? file.lastKnownFileType : file.explicitFileType;
}

TypeScript操场