显式校验对象键后TypeScript仍报隐式any错误，如何安全修复？

在TypeScript 4.7.4及更早版本中，in操作符无法自动将字符串字面量联合类型缩小为对象的有效键类型，这就导致你明明做了存在性校验，索引对象时依然会触发类型错误。以下是两种无需忽略错误、保证类型安全的解决方法：

方法一：自定义类型守卫函数 #

通过类型守卫明确告知TypeScript，当校验通过时，logType属于对象的有效键类型：

const errorColors = {
  "warning": "orange",
  "error": "red"
} as const;

// 提取errorColors的键类型
type ErrorColorKey = keyof typeof errorColors;

// 自定义类型守卫，判断值是否为有效键
function isErrorColorKey(key: unknown): key is ErrorColorKey {
  return typeof key === "string" && key in errorColors;
}

function getLogColor(logType: "info" | "error" | "warning") {
  return isErrorColorKey(logType) ? errorColors[logType] : "white";
}

类型守卫isErrorColorKey会在返回true时，将logType的类型缩小为"error" | "warning"，此时索引errorColors就完全符合类型要求了。

方法二：重构类型关联（结合类型守卫） #

如果希望更紧密地关联logType和errorColors的类型，可以先统一类型定义，再配合类型守卫：

const errorColors = {
  "warning": "orange",
  "error": "red"
} as const;

// 基于errorColors的键定义LogType类型
type ErrorColorKey = keyof typeof errorColors;
type LogType = "info" | ErrorColorKey;

function isErrorColorKey(key: LogType): key is ErrorColorKey {
  return key in errorColors;
}

function getLogColor(logType: LogType) {
  return isErrorColorKey(logType) ? errorColors[logType] : "white";
}

这种写法让LogType与errorColors的键类型保持同步，后续如果修改errorColors的键，LogType会自动更新，维护性更强。

为什么原代码会报错？ #

TypeScript 4.7.4及以下版本对in操作符的类型缩小逻辑有限，无法识别logType in errorColors能把logType从"info" | "error" | "warning"缩小为"error" | "warning"。直到TypeScript 4.8版本，in操作符才支持对字符串字面量联合类型进行更精准的类型缩小。

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