Typescript 如何在ts中使用函数重载推断参数类型

export interface Option {
  init?: boolean
  test?: boolean
}

function getType(): string

function getType(option: Record<string, never>): string

function getType(option: Option & { init: true }): boolean

function getType(option: Option & { init: false }): string

function getType(
  option?: Option,
): Option extends { init: true } ? boolean : string

function getType(option?: Option): boolean | string {
  if (option?.init) {
    return true
  } else {
    return 'none'
  }
}

getType() // string

getType({}) // string

getType({
  init: true,
}) // boolean

getType({
  init: false,
}) // string

getType({
  test: false,
}) // string



function useGetType(opt?: Option) {
  return getType(opt)
}


// What should be inferred here is boolean
useGetType({ init: true }) // string ??? 

function getType(
  option?: Option,
): Option extends { init: true } ? boolean : string

function useGetType(opt?: Option) {
  return getType(opt)
}

export interface Option {
  init: boolean
}
export interface WithInit {
    init : true
}

//Check this type
type T = Option extends { init: true } ? boolean : string;

const m1 : Option = Math.random() > 0.5 ? { init : true } : { init : false };
const m2 : Option = { init : true };


const n1 : WithInit = m1; //will error out
const n2 : WithInit = m2; //will error out

getType({
  init: true,
})

function getType(option: Option & { init: true }): boolean

Typescript相关问答推荐

如果我有对象的Typescript类型，如何使用其值的类型？

类型安全JSON解析

为什么typescript要把这个空合并转换成三元？

类型脚本泛型最初推断然后设置

Angular 信号：当输入信号改变值时，S触发取数的正确方式是什么？

Angular 错误NG0303在Angular 项目中使用app.Component.html中的NGFor

在实现自定义主题后，Angular 不会更新视图

Angular 15使用react 式表单在数组内部创建动态表单数组

CDK从可选的Lambda角色属性承担角色/复合主体中没有非空断言

如何从MAT-FORM-FIELD-MAT-SELECT中移除焦点？

React router 6(数据路由)使用数据重定向

是否可以强制静态方法将同一类型的对象返回其自己的类？

缩小对象具有某一类型的任意字段的范围

TypeScrip-根据一个参数值验证另一个参数值

TypeScrip：使用Cypress测试包含插槽的Vue3组件

编剧- Select 下拉框

类型脚本中函数重载中的类型推断问题

打字：注解`是字符串`而不是`布尔`？

使用 fp-ts 时如何使用 TypeScript 序列化任务执行？

当并非所有歧视值都已知时，如何缩小受歧视联盟的范围？