TypeScript中对selectedRepository做布尔校验仍报对象可能为null的编译错误

这不是TypeScript本身的功能缺陷，这类场景是TS类型收窄规则下非常常见的问题，大量开发者都遇到过完全一致的情况。

TypeScript的类型收窄逻辑，仅会识别同一表达式链路下的直接真值判断对变量类型的影响，不会自动做跨变量的隐式状态关联。
代码里把selectedRepository的非空判断结果，赋值给了独立变量shouldShowRepositoryDetails，TS无法识别这个布尔值和selectedRepository的非空状态存在绑定关系——即便这个布尔值是100%基于selectedRepository的真值计算出来的。
因此当代码在shouldShowRepositoryDetails && (...)的JSX分支内直接访问selectedRepository的属性时，TS仍然会记得selectedRepository原始的类型定义是可能为null，自然会抛出Object is possibly 'null'的报错。
你可能注意到img标签里写了selectedRepository.owner?.avatar_url这类带可选链的属性访问没有报错，是因为可选链本身已经做了空值兜底；但下面直接访问selectedRepository.full_name这类属性时没有可选链，加上TS没有关联外层判断变量的状态，就触发了空值检查报错。
使用Boolean(selectedRepository)做强制转换没有解决问题，核心原因就是转换后的结果存到了独立变量里，没有形成对selectedRepository本身的类型收窄。

• 移除独立的布尔判断变量，把非空判断内联到JSX的逻辑判断位置：
  直接把外层的渲染判断改成对selectedRepository的直接真值判断：

  {!isLoading && selectedRepository && (
    <RepositoryDetailsContainer>
      {/* 内部原有的JSX内容无需额外修改 */}
    </RepositoryDetailsContainer>
  )}
  

  这种写法让TS在同一表达式链路内识别到selectedRepository的非空状态，会自动将其类型收窄为非空的具体类型，从根源消除空值报错。
• 如果必须保留独立的判断变量，就通过类型谓词显式告知TS两个状态的绑定关系：
  给判断逻辑加上类型谓词标注，让TS明确知道这个布尔值为真时，selectedRepository一定是非空状态：

  const isRepositoryReady = (): selectedRepository is NonNullable<typeof selectedRepository> => {
    return !isLoading && Boolean(selectedRepository);
  };
  

• 临时兜底的快速方案：在直接访问selectedRepository属性的位置补充可选链，绕过类型检查
  比如把直接访问属性的地方改成：

  <strong>{selectedRepository?.full_name}</strong>
  <p>{selectedRepository?.description}</p>
  

  这种写法没有利用类型收窄的能力，会一定程度上损失类型严格性，不推荐作为长期方案。

目前TS没有实现“自动追踪跨变量的真值生成来源”的能力，这是类型系统为了平衡编译速度和推导精度做出的设计选择，并不是未修复的bug。类似的讨论在TS的官方社区中已经存在多年，短期内不会改动这个核心推导逻辑。

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