使用switch case判断键存在后仍报ts(2532)错误：原因及是否需自定义类型守卫

为什么会出现这个报错？ #

你用"x" in testObject只能判断对象存在这个键名，但你的TestObject接口里所有属性都是可选的（带?）——这意味着就算键名存在，对应的值也可能是undefined。比如{x: undefined}这种情况，"x" in testObject会返回true，但testObject["x"]确实是undefined，所以TypeScript依然会提示Object is possibly 'undefined'。

另外你的switch代码还有个隐性问题：每个case后面没加break，会导致匹配到第一个符合条件的case后，继续执行后面所有case的代码，这大概率不是你想要的行为。

怎么解决？ #

方案1：直接判断值不为undefined（无需自定义类型守卫） #

把case的判断改成同时检查键存在且值不为undefined，让TypeScript明确知道此时属性值是number类型：

function foo(testObject: TestObject) {
  switch (true) {
    case "x" in testObject && testObject["x"] !== undefined:
      testObject["x"] + 1;
      break;
    case "y" in testObject && testObject["y"] !== undefined:
      testObject["y"] + 2;
      break;
    case "z" in testObject && testObject["z"] !== undefined:
      testObject["z"] + 3;
      break;
    case "a" in testObject && testObject["a"] !== undefined:
      testObject["a"] + 10;
      break;
    case "b" in testObject && testObject["b"] !== undefined:
      testObject["b"] + 7;
      break;
    case "c" in testObject && testObject["c"] !== undefined:
      testObject["c"] + 9;
      break;
    case "d" in testObject && testObject["d"] !== undefined:
      testObject["d"] + 23;
      break;
  }
}

方案2：自定义类型守卫（适合复用场景） #

如果需要在多个地方复用这种判断逻辑，可以写一个通用的类型守卫函数，让TypeScript更精准地缩小类型范围：

// 自定义类型守卫：判断对象的指定键存在且值不为undefined
function hasDefinedValue<T, K extends keyof T>(obj: T, key: K): obj is T & { [P in K]-?: NonNullable<T[P]> } {
  return key in obj && obj[key] !== undefined;
}

function foo(testObject: TestObject) {
  switch (true) {
    case hasDefinedValue(testObject, "x"):
      testObject["x"] + 1;
      break;
    case hasDefinedValue(testObject, "y"):
      testObject["y"] + 2;
      break;
    case hasDefinedValue(testObject, "z"):
      testObject["z"] + 3;
      break;
    case hasDefinedValue(testObject, "a"):
      testObject["a"] + 10;
      break;
    case hasDefinedValue(testObject, "b"):
      testObject["b"] + 7;
      break;
    case hasDefinedValue(testObject, "c"):
      testObject["c"] + 9;
      break;
    case hasDefinedValue(testObject, "d"):
      testObject["d"] + 23;
      break;
  }
}

关键提醒：务必加break #

原代码里每个case都没加break，会导致执行完当前case后继续跑后续所有case的逻辑——比如传入{x:1}，会依次执行x+1、y+2（此时y是undefined，运行时会报错）等操作，一定要加上break或者用return终止当前分支的执行。

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