1

在 TypeScript 项目中，我有一个容器数组，其中包含一个type属性和一些附加数据，具体取决于它们的类型。

type Container<Type extends string> = {
    type: Type;
}

type AContainer = Container<"a"> & {
    dataA: number;
}

type BContainer = Container<"b"> & {
    dataB: boolean;
}

const data: (AContainer | BContainer)[] = [
    { type: "a", dataA: 17 },
    { type: "b", dataB: true }
];

我的目标是编写一个函数，允许我通过它从该数组中选择一个元素，type并且具有完全的类型安全性。像这样的东西：

const getByType = <T extends string>(data: Container<string>[], type: T): Container<T> => {
    for (const c of data) {
        if (c.type === type) return c;
    }
    throw new Error(`No element of type ${type} found.`);
};

const dataA: AContainer = getByType(data, "a");

问题是试图让 TypeScript 相信该函数是类型安全的，并且返回值是原始数组的一个元素并且具有请求的类型。

这是我最好的尝试：

const getByType = <ContainerType extends Container<string>, Type extends string>(data: (ContainerType & Container<string>)[], type: Type): ContainerType & Container<Type> => {
    for (const c of data) {
        if (c.type === type) return c;
    }
    throw new Error(`No element of type ${type} found.`);
};

但是，TypeScript 既不理解比较c.type === type确保 aContainer<string>变成 a Container<Type>，也不理解示例调用的返回类型 ,由于 中的冲突而AContainer | (Container<"b"> & { dataB: boolean; } & Container<"a">)等于。第一个问题可以通过在下面的代码块中使用类型谓词作为一个类型谓词来解决（虽然那种感觉像作弊），但我还没有找到第二个问题的解决方案。AContainerContainer<"b"> & Container<"a">

const isContainer = <Type extends string>(c: Container<string>, type: Type): c is Container<Type> => {
    return typeof c === "object" && c.type === type;
};

有什么办法可以让它工作吗？如果它本身和它的使用都是类型安全的，我更喜欢它getByType，但如果那不可能，我希望至少使用getByType不需要任何不安全的类型断言。

我可以更改容器类型的定义，但实际数据是固定的。（对于背景：xml2js XML 解析器。）

4

1 回答 1

1

我们可以使用inferandExtract来达到目的。考虑：

const getByType = <ContainerType extends Container<string>, Type extends ContainerType extends Container<infer T> ? T : never, Chosen extends Type>(data: ContainerType[], type: Chosen) => {
    for (const c of data) {
        if (c.type === type) return c as Extract<ContainerType, {type: Chosen}>;
    }
    throw new Error(`No element of type ${type} found.`);
};

const containerA: AContainer = {
  dataA: 1,
  type: "a"
} 
const containerB: BContainer = {
  dataB: true,
  type: "b"
}
const b = getByType([containerB, containerA], 'b')
// b is infered as BContainer

需要注意的几点：

  • type: ContainerType extends Container<infer T> ? T : never我们说参数需要在给定数组中包含确切的可用类型
  • Extract<ContainerType, {type: Chosen}>我们说我们返回联合的元素，{type: Chosen}它意味着具有这种确切类型的成员

我们在第二个参数上也有严格类型，在示例中缩小为a | b

操场

于 2020-02-11T11:58:26.653 回答