如何使用 generics/type 提示指定类型联合的一个特定子类型？
How to specify using generics/type hints one specific subtype of a type union?
我如何创建一个函数类型 Creator<X>，它只允许创建 A 或 B，同时保持您所知道的类型的质量？
这不是我想要的：
type C = A|B
type Creator = () => C; // requires a type predicate for type safety
使用类型 predicates，可以辨别一个值是否符合一种类型或另一种类型。这给我想避免的界面使用者带来了一些额外的工作。相反，我想要一个实现接口的客户端说
export creator : Creator<A> = () => return new A(); // should be OK!
同时不允许
export creator : Creator<number> = () => return 42; // NOT OK!
我有 a TS Playground setup 可以轻松玩这个。
您只需要对 X 进行类型约束：
type Creator<X extends C> = () => X;
我如何创建一个函数类型 Creator<X>，它只允许创建 A 或 B，同时保持您所知道的类型的质量？
这不是我想要的：
type C = A|B
type Creator = () => C; // requires a type predicate for type safety
使用类型 predicates，可以辨别一个值是否符合一种类型或另一种类型。这给我想避免的界面使用者带来了一些额外的工作。相反，我想要一个实现接口的客户端说
export creator : Creator<A> = () => return new A(); // should be OK!
同时不允许
export creator : Creator<number> = () => return 42; // NOT OK!
我有 a TS Playground setup 可以轻松玩这个。
您只需要对 X 进行类型约束：
type Creator<X extends C> = () => X;