如何在 TypeScript 中将一种类型与另一种类型相关联

Question

我有两种类型，比如Author和AuthorOpts ，我想将它们“配对”在一起，这样每当类型推断推断出Author是要使用的正确类型时，我都希望能够从推断的泛型中获取/查找AuthorOpts 。

（在其他情况下，我可能会创建AuthorOpts具有Author的映射派生，即Opts<Author> ，但在这种情况下我不能/不想这样做。）

目前，我通过向Author添加一个什么都不做的字段来执行此操作，然后我可以使用HasOpts “查找”退出：

interface Constructor<T> {
  new (): T;
}

class Author {
  firstName!: string;

  // This looks like a field but is used merely to look up the type
  __opts!: AuthorOpts;
}

type HasOpts<O> = { __opts: O };

interface AuthorOpts {
  firstNameFlag: boolean;
}

function find<T extends HasOpts<O>, O>(type: Constructor<T>, opts: O): void {}

find(Author, { firstNameFlag: true });

但如果可能，我想避免Author.__opts字段。 我可以吗？ 有没有更好的方法来做到这一点？

Answer 1

假设您的类构造函数始终将“相关类型”作为其第二个参数，正如您的 Playground 链接所暗示的那样，您应该能够以这种方式键入find() ：

function find<T extends Entity, A>(type: new (a0: any, a1: A) => T, opts: A): T {
  return null!; // impl here please
}

我们可以测试一下：

const a = find(Author, { firstNameFlag: true });
a.firstName; // okay

看起来挺好的。 希望有所帮助； 祝你好运！

Playground 链接到代码

Answer 2

假设T可以采用多个类，每个类都有自己的opts类型，您要么必须在该类中定义每个类的opts类型，要么在一个地方为每个类定义opts类型。

您的问题包括用于在类中定义opts类型的代码，因此这里有一个示例，说明如何使用条件类型在一个地方定义映射：

type OptsFor<T>
    = T extends Author ? { firstNameFlag: boolean }
    : T extends Foo ? { foo: number }
    : T extends Bar ? { bar: string }
    : never;

function find<T>(type: Constructor<T>, opts: OptsFor<T>): void {}