如果对象被破坏，打字稿类型会失败

我有一个函数返回带有两个属性（res，mes）的对象，其中一个为空：

const fetchJSON = <Res, Body>(link: string, body: Body): Promise<{ res: Res; mes: null } | { res: null; mes: Popup }> => {
  return new Promise(resolve => {
    fetch(link,
      body: JSON.stringify(body)
    })
      .then(res => res.json())
      .then((resJson: Res) => {
        resolve({ res: resJson, mes: null })
      })
      .catch(err => {
        resolve({ res: null, mes: { type: 'err', text: 'some error' } })
      })
  })
}

如果在我使用 fetch 响应而不破坏后一切正常：

 const result = await fetchJSON<ResReaderData, ApiReaderData>('api/reader_data', { id })
 if (result.mes) return popupPush(result.mes)
 setProfile(result.res.reader)

但如果我使用对象销毁：

const { res, mes } = await fetchJSON<ResReaderData, ApiReaderData>('api/reader_data', { readerId, role: 'alfa' })
  if (mes) return popupPush(mes)

  console.log(res.id)

即使我检查了 me，Typescript 也不明白 res 不为空：

有没有办法解决这个问题，或者我只需要忘记对象销毁？

或者也许还有另一种方法来处理这样的包装？

如果您知道您正在处理的财产不会null。您可以使用非空断言运算符 https://www.triplet.fi/blog/what-is-the-use-of-exclamation-mark-operator-in-typescript/ (!）断言它不是null or undefined.

Example console.log(res!.id):

function getResult(type: 'res' | 'mes') {
  let result: {
    res?: { foo: string },
    mes?: { bar: string },
  } = {};

  if (type === 'res') {
    result.res = {
      foo: 'res',
    };
  } else {
    result.mes = {
      bar: 'mes',
    };
  }

  return result;
}

const { res, mes } = getResult('res');

console.log(res!.foo); // non-null assertion
console.log(mes?.bar); // optional chaining

此外，您还可以使用可选的链接运算符 https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#optional-chaining (?) 让表达式返回null如果前面的属性是null.