如何使用泛型/类型提示指定类型联合的一个特定子类型

Question

如何创建一个只允许创建a或B的函数类型Creator<X>，同时保持您知道的类型的质量？

这不是我想要的：

type C = A|B
type Creator = () => C; // requires a type predicate for type safety

使用类型谓词，可以辨别一个值是否符合一种类型。这给我想要避免的界面的使用者带来了一些额外的工作。相反，我想要一个客户端，它是实现接口说

export creator : Creator<A> = () => return new A(); // should be OK! 

同时禁止

export creator : Creator<number> = () => return 42; // NOT OK! 

我有一个TS游乐场设置，让玩这个很容易。

Answer 1

您只需要X:上的类型约束

type Creator<X extends C> = () => X;

游乐场链接