typescript - 文字类型推断 - Typescript

Question

考虑这个定义:

interface Domain<Model, Name extends string> {
  name: Name;
  edit(cb: (m: Model) => Model): Domain<Model, Name>;
}

declare function createDomain<
  M extends { [key: string]: any } = {},
  N extends string = string
>(name: N): Domain<M, N>;

IDE可以给你正确的检查(如图): 这是因为 typescript 能够推断出 'foo' 作为 extends N /* string */ 的文字类型.

但是

如果我为通用 M 提供签名, 然后 typescript 丢失了关于 'foo' 的信息并返回一个通用的 string .

如何更改上述定义以保留有关 N 的信息？

Answer 1

我看到了这些选项:

提供第二种

let domain = createDomain<Todo, "foo">("foo");

建立工厂

function funcCreateDomain<M>() {
    return <N extends string>(name: N) => createDomain<M, N>(name);
}

let factory = funcCreateDomain<Todo>();
let domain = factory("foo");