如何移除继承自unknown的泛型中的类型断言

TypeScript 无法自动识别零散的自定义运行时校验逻辑的类型收窄效果，尤其是泛型场景下，你写的那串空值判断规则属于业务逻辑，TS不会主动推导经过判断后T已经符合NonNullable<T>的约束。再加上你写的<T extends unknown>属于无意义约束（unknown是TS顶层类型，不携带任何有效类型信息），才会触发类型报错，必须手动加断言才能通过编译。
另外你当前的空值判断逻辑存在缺陷：第一个判断条件会把合法的falsy值（数字0、布尔值false）误判为空值，走到「无结果」分支，需要先修正。

方案1：抽离带类型谓词的校验函数（适配你当前的业务规则） #

把空值校验逻辑抽成独立函数，通过TS的类型谓词（Type Predicate） 明确告诉TS这个函数的校验规则，TS就会在分支判断后自动收窄类型，完全不需要手动加类型断言。
修正后可直接运行的代码如下：

interface Props<T> {
  data: T;
  error: unknown;
  isLoading: boolean;
  render: (successData: NonNullable<T>) => void;
}

// 自定义空值校验，通过类型谓词标注排除的类型
const isEmptyInvalid = <T,>(data: T): data is Extract<T, null | undefined | '' | [] | Record<string, never>> => {
  // 修正原逻辑的falsy误判：排除0、false两个合法值后，剩余falsy值判定为空
  if (data !== 0 && data !== false && !data) return true;
  // 空数组判定为空
  if (Array.isArray(data) && data.length === 0) return true;
  // 空对象判定为空
  if (typeof data === 'object' && data !== null && Object.keys(data).length === 0) return true;
  return false;
};

// 泛型默认约束就是unknown，不需要额外写extends unknown
export const AsyncComponent = <T,>({
  data,
  error,
  isLoading,
  render,
}: Props<T>) => {
  if (isLoading) {
    return (
      <div>
        <p>loading</p>
      </div>
    );
  }

  if (error) {
    return (
      <div>
        <p>error</p>
      </div>
    );
  }

  // 经过判断后，TS会自动把空值类型从T中排除
  if (isEmptyInvalid(data)) {
    return (
      <div>
        <p>no results</p>
      </div>
    );
  }

  // 此处TS已自动推导data为NonNullable<T>，无需任何断言
  return <>{render(data)}</>;
};

方案2：简化校验规则（不需要判定空数组/空对象时使用） #

如果你的业务不需要把空数组、空对象、空字符串判定为「无结果」，只需要排除null和undefined，直接用TS可原生识别的空值判断即可，不需要额外写类型守卫：

// 省略其他重复逻辑
if (data == null) {
  // 松散相等==可同时匹配null和undefined，TS可原生识别并收窄类型
  return <div><p>no results</p></div>
}
// 此处data自动被收窄为NonNullable<T>，直接传入render即可
return <>{render(data)}</>

• 所有自定义的运行时类型/值校验逻辑，如果需要TS感知收窄效果，必须搭配类型谓词明确标注收窄后的类型，TS不会猜测自定义业务逻辑的类型规则。
• 不要给泛型加无意义的extends unknown约束，这类写法不会提供任何有效类型信息，反而可能干扰TS的类型推导。

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