泛型可以在不扩展的情况下限制几种特定类型吗？

Question

我的目标是使用严格类型来确保对象的格式正确。我希望能够指定一些必须遵循并强制执行的有效格式。

interface TypeA { A: void; }
interface TypeB { B: void; }
interface TypeC { C: void; }

type Type = TypeA | TypeB | TypeC;

interface BaseItem<T extends Type> { name: string; data: T; }

type Item = BaseItem<TypeA> | BaseItem<TypeB> | BaseItem<TypeC>;

const collection: Item[] = [
  { name: 'A', data: { A: null } },
  { name: 'B', data: { B: null } },
  { name: 'C', data: { C: null } },
];

class Example<T extends Type> {
  item: BaseItem<T>;

  add(item: BaseItem<T>) {
    this.item = item;
    collection.push(item); // Error on `item`

    /**
     * Argument of type 'BaseItem<T>' is not assignable to parameter of type 'Item'.
     *   Type 'BaseItem<T>' is not assignable to type 'BaseItem<TypeA>'.
     *     Type 'T' is not assignable to 'TypeA'.
     *       Type 'Type' is not assignable to type 'TypeA'.
     *         Property 'A' is missing in the type 'TypeB' but required in type 'TypeA'.
     */
  }
}

在上面的代码中，Item 类型用于强制collection 数组中对象的格式。这让我知道我打算如何使用这种格式。

同样在上面的代码中，我尝试对Example 类使用泛型。这个想法是我可能想要我的类的几个属性来确保它们在任何给定时刻都使用共享泛型。虽然泛型扩展了有效类型，但我知道它理论上可以支持超出它的类型（例如BaseItem<TypeA> & { more: string }）。

我明白为什么它在当前状态下不起作用。我不明白我将如何完成我想要的。

有没有办法使用泛型来严格匹配一种联合而不是扩展一种联合？比如，不是<T extends Type>，而是<T is Type>？或者，有没有其他方法可以解决这个问题？

Answer 1

我不确定如何对此进行分类，这是一个限制吗？不过对我来说它看起来很糟糕。解决方法如下：

interface TypeA { A: void; }
interface TypeB { B: void; }
interface TypeC { C: void; }

type Type = TypeA | TypeB | TypeC;

interface BaseItem<T extends Type> { name: string; data: T; }

type Item = BaseItem<TypeA> | BaseItem<TypeB> | BaseItem<TypeC>;

const collection: Item[] = [
  { name: 'A', data: { A: null } },
  { name: 'B', data: { B: null } },
  { name: 'C', data: { C: null } },
];

class Example<T extends Type> {
  item: BaseItem<T>;

  // notice this conditional type, see the irony here?
  // everything `extends any`, so this expression reduce to
  // just `BaseItem<T>`, never `never`, so why the trouble?
  add(item: T extends any ? BaseItem<T> : never) {
    this.item = item;
    collection.push(item);  // cus this way error magically disappear :)
  }
}

我有点厌倦了使用 TS 时涉及的所有技巧。这是distributive conditional types，是的，又是一个花哨的名字，如果您有兴趣，请点击。我个人不知道如何为这种行为辩护。