TypeScript v4.3.5类型守卫问题：TS2339类型'never'无'tenant'属性

问题背景 #

类型守卫函数isTenantRequest在独立库中能正常校验TenantRequest类型，但嵌套到其他库代码时，触发TS2339错误：提示“类型'never'不存在属性'tenant'”，问题出在执行object.tenant instanceof TenantDO及后续validateSync校验步骤时。推测是in操作符在Object类型上无法正确触发类型推断，导致对象类型被错误收窄为never。

可行解决方案 #

1. 将输入类型改为*unknown*并配合中间类型约束 #

把函数参数类型从Object换成*unknown（更安全的顶层类型），并用Record<string, unknown>*作为中间类型，让in操作符能正确识别属性存在性，避免类型被误判为never：

function isTenantRequest(obj: unknown): obj is TenantRequest {
  // 先排除非对象/ null情况
  if (typeof obj !== 'object' || obj === null) {
    return false;
  }

  // 用Record<string, unknown>临时放宽类型，让in操作符生效
  const candidate = obj as Record<string, unknown>;
  if (!('tenant' in candidate)) {
    return false;
  }

  // 校验tenant的实例类型
  if (!(candidate.tenant instanceof TenantDO)) {
    return false;
  }

  // 执行同步校验逻辑
  return candidate.tenant.validateSync();
}

2. 拆分校验逻辑为小型辅助类型守卫 #

把复杂的校验拆分成多个小守卫函数，让TypeScript能逐步跟踪类型变化，避免单次复杂校验导致的推断异常：

// 先写校验TenantDO的辅助守卫
function isTenantDO(obj: unknown): obj is TenantDO {
  return typeof obj === 'object' && obj !== null && obj instanceof TenantDO;
}

// 主类型守卫函数
function isTenantRequest(obj: unknown): obj is TenantRequest {
  if (typeof obj !== 'object' || obj === null) {
    return false;
  }

  // 这里TS会自动收窄obj为包含tenant属性的对象类型
  if (!('tenant' in obj)) {
    return false;
  }

  // 调用辅助守卫校验tenant类型
  if (!isTenantDO(obj.tenant)) {
    return false;
  }

  return obj.tenant.validateSync();
}

3. 统一TS严格模式配置 #

如果嵌套库的TypeScript配置和独立库不一致（比如关闭了*strictNullChecks*等严格选项），也会引发推断异常。确保所有相关库的tsconfig.json开启严格模式：

{
  "compilerOptions": {
    "strict": true,
    "strictNullChecks": true,
    "strictFunctionTypes": true
  }
}

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