TypeScript中已处理undefined仍报错，如何不屏蔽错误修复？

TypeScript的控制流分析对动态属性（比如用resourceType变量作为对象键的情况）跟踪能力有限——哪怕你前面已经处理了g.access[resourceType]为undefined的分支，TS依然没法确定后续这个属性一定存在，所以会抛出类型错误。以下是几个不屏蔽错误的解决思路：

• 提前缓存属性到变量，利用变量类型收窄
  把g.access[resourceType]赋值给单独变量，TS能准确跟踪这个变量的类型状态：

  if(!g) {
    g = {
      group,
      access: acc 
    }
    this.rules.push(g)
  } else if(!g.access) {
    g.access = acc
  } else {
    const resourceAccess = g.access[resourceType];
    if (!resourceAccess) {
      g.access[resourceType] = {
        list: [],
        fallback
      }
    } else if (!resourceAccess.fallback) {
      resourceAccess.fallback = fallback;
    }
  }
  

• 使用类型断言（需确保逻辑绝对安全）
  直接告诉TS当前属性的实际类型，前提是你能100%保证前面的分支已经排除了undefined的情况：

  if(!g) {
    g = {
      group,
      access: acc 
    }
    this.rules.push(g)
  } else if(!g.access) {
    g.access = acc
  } else if(!g.access[resourceType]) {
    g.access[resourceType] = {
      list: [],
      fallback
    }
  } else if(!(g.access[resourceType] as { fallback?: unknown }).fallback) {
    (g.access[resourceType] as { fallback: unknown }).fallback = fallback
  }
  

• 定义明确的接口类型，辅助TS推断
  给access和相关对象定义清晰的接口，让TS能准确识别类型结构：

  // 先定义接口
  interface ResourceAccessConfig {
    list: any[];
    fallback?: unknown;
  }
  
  interface RuleItem {
    group: unknown;
    access: Record<string, ResourceAccessConfig>;
  }
  
  // 确保g的类型被指定为RuleItem
  let g: RuleItem | undefined;
  
  // 后续原逻辑代码
  if(!g) {
    g = {
      group,
      access: acc as Record<string, ResourceAccessConfig> 
    }
    this.rules.push(g)
  } else if(!g.access) {
    g.access = acc as Record<string, ResourceAccessConfig>
  } else if(!g.access[resourceType]) {
    g.access[resourceType] = {
      list: [],
      fallback
    }
  } else if(!g.access[resourceType].fallback) {
    g.access[resourceType].fallback = fallback
  }
  

内容的提问来源于stack exchange，提问作者Paul