主页 / coding / 问题 / 78932814
Accepted
ABMagil
Asked: 2024-08-30 23:38:03 +0800 CST

即使使用强类型操作，Typescript 变量类型也不会改变

  • 772

TS 游乐场示例

示例代码

type Base = {
  name: string
}

type ExtA = {
  address: string
}

type ExtB = {
  streetName: string;
}

function handler<T extends Base>(input: T): T {return input}
/** how do I build an object up? */


let payload = {
  name: "Aaron"
}
const addA = <T extends Base>(payload: T): T & ExtA => {
  return {
    ...payload,
    type: "a",
    address: "123 Fake St"
  }
}
const addB = <T extends Base>(payload: T): T & ExtB => {
  return {
    ...payload,
    type: "b",
    streetName: "Main"
  }
}

payload = addA(payload)
payload = addB(payload)

// type should be Base & ExtA & ExtB but it isn't
const wrongType = handler(payload)
//    ^?

我期望payload在通过操作函数时改变类型addA，addB但事实并非如此。如何让 TS 理解此变量的类型应该改变？

typescript

1 个回答

  1. Best Answer

    TypeScript 不会对变量状态的任意变化进行建模。虽然在赋值时支持缩小变量范围，但只有当变量的类型为联合类型时才会发生这种情况。因此，如果您将payload类型重新分配给 类型X | Y，并将其值类型为X，则将payload缩小为X。但是，如果您将payload类型重新分配给 类型，X并将其值类型为X & Y，则不会发生缩小。

    如果想要很好地使用类型系统，则应让每个变量在其生命周期内都具有单一类型。因此，无需重新分配payload，只需为每个分配创建一个新变量即可：

    const payload = {
  name: "Aaron"
}
const payload1 = addA(payload)
const payload2 = addB(payload1)
const result = handler(payload2)
//    ^? const result: { name: string; } & ExtA & ExtB

    如果你真的想表示一个变量，其类型会随着时间的推移而变窄，那么你可以使用断言函数来实现，但这些函数有很多注意事项。它们只能通过缩小作为参数传入的变量/属性来工作，并且它们不能返回任何定义的值，因此重新分配仍然不会像你预期的那样缩小。它必须看起来像这样：

    function addA<T extends Base>(payload: T): asserts payload is T & ExtA {
  Object.assign(payload, {
    address: "123 Fake St"
  });
}

function addB<T extends Base>(payload: T): asserts payload is T & ExtB {
  Object.assign(payload, {
    streetName: "Main"
  });
}

    这里addA()和addB()是断言函数，它们实际上修改了它们的输入（因为Object.assign()改变了它的第一个参数）而不是返回任何东西。

    现在您可以拥有一个payload变量，并且每次调用断言函数都会缩小它的范围：

    const payload = {
  name: "Aaron"
}
addA(payload)
addB(payload)
const result = handler(payload)
//    ^? const result: { name: string; } & ExtA & ExtB

    这很有效，但除非你真的需要，否则我倾向于避免使用它。如果你决定需要像 a 这样的东西removeA()来扩大输入，那么断言函数就无法工作，因为它不是缩小。那么你必须使用不同的变量。

    游乐场链接到代码

    • 2

相关问题