如何告知TypeScript对象中存在指定key以消除类型检查报错

你当前代码报错有两个核心原因：

• 存在笔误：判断shapeKey === 'polygons'的分支中，你错误地给键名字符串shapeKey赋值isFinished属性，实际需要操作的是遍历出的数组元素shape
• TS 默认将Object.keys()的返回值标注为string[]类型，即使你对key做了类型断言，遍历出的shape依然是所有形状元素类型的联合类型，不会根据shapeKey的判断自动收窄到polygon对应的元素类型。

你可以根据场景选择以下两种修复方式：

方案1：分支内类型断言（最贴合你「明确告知TS属性存在」的需求） #

直接在polygons分支内将当前shape断言为携带isFinished属性的类型即可，代码量最小：

const shapes ={
  rectangles :[{
    x:1,
  }],
  ellipses : [{radiusX:'hello'}],
  polygons :[{isFinished:false}]
}

// 定义polygon的元素类型
type PolygonItem = { isFinished: boolean }

Object.keys(shapes).forEach(shapeKey=> {
  shapes[shapeKey as keyof typeof shapes].map(shape => {
    if(shapeKey === 'polygons'){
      // 明确告知TS当前元素为Polygon类型，即可正常赋值
      (shape as PolygonItem).isFinished = true
    }
  })
})

注意：类型断言的前提是你100%确认该分支下的元素确实存在isFinished属性，和实际运行逻辑一致，不会引发运行时错误。

方案2：预定义全量类型实现自动收窄（更规范，适合后续迭代场景） #

如果不想反复写类型断言，可以提前给整个shapes对象定义明确的类型，在判断key为polygons的分支内，TS会自动推导对应数组的元素类型，无需额外断言：

// 分别定义各形状的类型
type Rectangle = { x: number }
type Ellipse = { radiusX: string }
type Polygon = { isFinished: boolean }

type ShapesConfig = {
  rectangles: Rectangle[]
  ellipses: Ellipse[]
  polygons: Polygon[]
}

const shapes: ShapesConfig ={
  rectangles :[{
    x:1,
  }],
  ellipses : [{radiusX:'hello'}],
  polygons :[{isFinished:false}]
}

Object.keys(shapes).forEach(shapeKey=> {
  if(shapeKey === 'polygons'){
    // 此分支内TS自动推导shapes[shapeKey]为Polygon[]，元素自带isFinished属性
    shapes[shapeKey as keyof ShapesConfig].map(shape => {
      shape.isFinished = true
    })
    return
  }
  // 其余形状的处理逻辑
  const otherShapeList = shapes[shapeKey as Exclude<keyof ShapesConfig, 'polygons'>]
  otherShapeList.map(shape => {
    // 对应形状的业务逻辑
  })
})

补充说明：TS 刻意将Object.keys()的返回值设计为string[]类型，因为静态类型检查无法保证运行时对象不会额外挂载未定义的key，因此不会自动将返回值推导为keyof typeof 目标对象，这也是你初始代码中即使断言了shapeKey类型，依然无法自动识别shape属性的核心原因。

内容的提问来源于stack exchange，提问作者Nyi Nyi Hmue Aung