TypeScript泛型对象属性类型守卫失效问题求助

这个问题其实是TypeScript泛型类型收窄的典型场景——虽然你用typeof做了类型守卫，但TypeScript没办法自动把泛型T的K属性类型收窄为boolean，因为T[K]在泛型层面可能是更宽泛的类型（比如联合类型），所以直接赋值true会触发类型不兼容的错误。

下面给你几种可行的解决方案，按需选择：

方案1：结合类型断言（简单直接） #

既然已经通过typeof确认了属性是boolean类型，我们可以用类型断言告诉TypeScript：此时T[K]就是boolean，赋值true是安全的：

function setTrue<T, K extends keyof T>(host: T, property: K) {
  if (typeof host[property] === 'boolean') {
    host[property] = true as T[K];
  }
}

这种写法的好处是保留了原函数的灵活性（允许属性不是boolean的情况），同时解决了类型报错问题，而且因为有前置的类型守卫，断言是完全安全的。

方案2：通过泛型约束强制属性为布尔类型 #

如果你希望这个函数只处理属性本身就是boolean的对象，可以直接给泛型加更严格的约束，这样连类型守卫都不需要：

function setTrue<T extends Record<K, boolean>, K extends keyof T>(host: T, property: K) {
  host[property] = true;
}

这里T extends Record<K, boolean>确保了T的K属性一定是boolean类型，TypeScript会自动推导类型，赋值true完全符合类型要求，不会有任何报错。

方案3：自定义类型谓词（更优雅的类型收窄） #

如果想让类型守卫的逻辑更清晰，也可以自定义一个类型谓词函数，明确告诉TypeScript当条件满足时，对象的指定属性是boolean：

function isBooleanProperty<T, K extends keyof T>(host: T, property: K): host is T & { [P in K]: boolean } {
  return typeof host[property] === 'boolean';
}

function setTrue<T, K extends keyof T>(host: T, property: K) {
  if (isBooleanProperty(host, property)) {
    host[property] = true;
  }
}

这种写法的优势在于类型收窄逻辑更明确，后续如果有类似的类型检查需求，可以复用这个谓词函数，代码可读性也更高。

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