Typescript 对象可能是'未定义'.ts(2532)在我刚刚定义它之后

发布于08月06日

虽然我刚刚定义了一个可选参数，但TypeScrip却抛出了Object is possibly 'undefined'. ts(2532)个错误……

interface Foo {
  keyValue?: Record<string, string>
}

const a: Foo = { keyValue: { key1: 'value' } }
a.keyValue.key2 = 'value2' // Object is possibly 'undefined'. ts(2532)

const b: Foo = {}
b.keyValue = { key1: 'value' }
b.keyValue.key2 = 'value2' // Works fine

为什么a.keyValue会抛出错误，而b.keyValue不会？唯一的区别是语法略显冗长.

推荐答案

通过做: Foo，您告诉TypeScrip该变量包含的类型是exactly Foo，而在Foo中，该属性是可选的.

const a: Foo = { keyValue: { key1: 'value' } }

打字的话，有点像

declare const a: Foo;

当您说它实际上是Foo时，右侧的对象确实具有该属性的事实就丢失了，其中该属性是可选的.

但是有了

const b: Foo = {}
// at this point, b is Foo exactly
b.keyValue = { key1: 'value' }
// at this point, b is no longer exactly Foo; it also definitely has the keyValue property

该属性被赋值after，变量被声明为Foo类型--因此，TypeScrip能够看到赋值给该属性的行，并断定它确实存在.(使b的形状与原始的Foo略有不同，其中该属性是可选的).