生成的类型声明将隐式类型转换为任何

Question

我正在开发一个模块，我必须这样做：

    const foo = () => {
        const bar = {
            a: () => bar,

            b: () => bar,

            c: () => bar
        }

        return bar
    }  

    foo().a().b().c()

即使所有类型都是隐式打字稿也很棒并且可以帮助我自动完成。

由于我必须发布到 npm，我让 tsc 生成类型声明，但是这是我在 index.d.ts 文件中得到的：

declare const foo: () => {
    a: () => any;
    b: () => any;
    c: () => any;
};

这意味着安装我的模块的人将无法充分利用 typescript 的优点。

有没有简单的方法来解决这个问题？

Answer 1

您只需要给 TS 编译器一个小提示，帮助您找出类型：

interface Bar {
  a: () => Bar;
  b: () => Bar;
  c: () => Bar;
}

const foo = () => {
  const bar: Bar = {
    a: () => bar,
    b: () => bar,
    c: () => bar
  }

  return bar
}

const result = foo().a() // Bar

第二个选项 - 递归方法

type Rec<Bar> = Record<keyof Bar, () => Rec<Bar>>

const foo = () => {

  const bar = {
    a: () => bar,
    b: () => bar,
    c: () => bar
  } as const
  type Bar = typeof bar;
  return bar as Rec<Bar>
}

const result = foo().a().b().b().c(); // Record<"a" | "b" | "c", () => Record<"a" | "b" | "c", ...>>

TS 编译器将any 放在这里：

declare const result: Readonly<Record<"a" | "b" | "c", () => Readonly<Record<"a" | "b" | "c", any>>>>;

因为它是递归类型。您希望在这里看到什么？

declare const result: Record<"a" | "b" | "c", () => Record<"a" | "b" | "c",  () => Record<"a" | "b" | "c", () => Record<"a" | "b" | "c", () => Record<"a" | "b" | "c", () => Record<"a" | "b" | "c", () => Record<"a" | "b" | "c",any>>>>>>>;
// ... Infinity

TS 应该停在某处）