TypeScript:自动完成但禁用推理

Question

假设我们有一种类型：

type A = {
  a1?: string;
  a2?: number;
  a3?: boolean;
}

以及用于自动完成的具有此类型的变量：

const b: A = {
  a1: "test";
}

b现在有了A类型，但我想推断出这种类型：

type B = {
  a1: string;
}

有可能吗？

我需要创建具有以下签名的函数：

type A = {
  a1?: string;
  a2?: number;
  a3?: boolean;
}

const b = build<A>(() => {
  return {
    // autocompletion from type A should works
    a1: string;
  }
});

b的类型应该是：

type B = {
  a1: string;
}

Answer 1

将satisfies运算符合并到TS 4.9中，使用TS 4.9 (定于2022年11月)的简单方法是：

type A = {
  a1?: string;
  a2?: number;
  a3?: boolean;
}

const b = {
  a1: "test"
} satisfies A;

请参见：

• “满足”操作符，以确保表达式与某种类型(反馈重置) #47920匹配
• 打字本满足文章
• 操场链接

Answer 2

当我正确理解你的问题时，你想要这样做

操场前厅

type A = {
  a1?: string;
  a2?: number;
  a3?: boolean;
}

const b: A = {
  a1: "test"
}

function identityCheck<T = never>() {
  return <I>(input: I & T) => input as I;
}

const b1 = identityCheck<A>()({
  a1: "test"
})

// now only a1 is shown in auto-complete
b1.a1

另见：是否有一种方法可以使用带有可选键的类型记录接口，但随后将键具体化？

Answer 3

基于TmTron答案，我创建了一个基于类的解决方案，因为我不喜欢赛跑的样子：

class SomeBuilder<S = never> {
  constructor() {}

  build<T>(callback: () => S & T) {
    return callback as () => T;
  }
}