Typescript TypeScrip：如何缩小具有联合类型属性的对象

interface typeA{
  id: number,
  status: 0 | 1,
}
interface typeB extends typeA {
  status: 1,
}

function log(param: typeB){
  // only accepts status = 1
}

Argument of type 'typeA' is not assignable to parameter of type 'typeB'.
  Types of property 'status' are incompatible.
    Type '0 | 1' is not assignable to type '1'.
      Type '0' is not assignable to type '1'

const data1: typeA = {id: 1, status: 0}

data1.status = 1

if(data1.status === 1){
  data1.status // when hovered, typescript can correctly identify that data1.status is 1
  log(data1) // error here
}

if(data1.status === 1){
  log({...data1, status: data1.status})
}

interface typeA {
  id: number,
  status: 0 | 1,
}

interface typeB extends typeA {
  status: 1,
}

function log(param: typeB) {
  param.status;  // (property) typeB.status: 1
}

const data1: typeA = { id: 1, status: 0 };

if (data1.status === 1) {
  // here TS still considers `data1` of `typeA`
  // and has no reason to do otherwise, so we
  // force-cast, at our own risk and peril (!):
  log(data1 as typeB);  // cast
}

// this is a type predicate (see the return type):
function isTypeB(obj: typeA): obj is typeB {
  return obj.status === 1;
}

if (isTypeB(data1)) {
  // now TS *knows* `data1` is of `typeB`:
  log(data1);
}

Typescript相关问答推荐

如何在函数参数中使用(或模仿)`success`的行为？

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

在NextJS中获得Spotify Oauth，但不工作'

具有动态键的泛型类型

如何键入函数以只接受映射到其他一些特定类型的参数类型？

我可以为情态车使用棱角形的路由守卫吗？

适当限制泛型函数中的记录

Select 下拉菜单的占位符不起作用

从子类集合实例化类，同时保持对Typescript中静态成员的访问

刷新时保持当前名称的Angular

如何避免从引用<；字符串&>到引用<；字符串｜未定义&>；的不安全赋值？

react 路由不响应参数

在类型脚本中创建显式不安全的私有类成员访问函数

typescript如何从映射类型推断

TypeScript：如何使用泛型和子类型创建泛型默认函数？

如何在TypeScript中描述和实现包含特定属性的函数？

TS2532：对象可能未定义

如何在Typescript 中定义具有相同类型的两个泛型类型的两个字段？

递归地排除/省略两种类型之间的公共属性

React 中如何比较两个对象数组并获取不同的值？