TypeScript：基于泛型值的条件属性类型报错问题求助

我写了一段简化的TypeScript代码，用来实现基于泛型值的条件属性定义：

interface A<RequiresB extends boolean = true> {
  alwaysRequired: string
  b: RequiresB extends true ? string : string | undefined
}

function getA<RequiresB extends boolean>(requiresB: boolean): A<RequiresB> {
  if (requiresB) {
    return {
      alwaysRequired: 'hello',
      b: 'world'
    }
  }

  return {
    alwaysRequired: 'hello',
    b: undefined
  }
}

第二个return语句报错：Type 'undefined' is not assignable to type 'RequiresB extends true ? string : string | undefined'。我原本以为TypeScript能识别此时requiresB为false，允许b赋值为undefined。目前找到的唯一办法是用类型断言：

return {
  alwaysRequired: 'hello',
  b: undefined
} as A<RequiresB>

但这种方式并不理想，因为如果遗漏alwaysRequired属性，TypeScript也不会给出提示。除了重构代码不使用这类泛型外，还有其他可行的解决方案吗？

1. 函数重载明确分支类型 #

通过为不同的requiresB参数值定义重载签名，让TypeScript精准匹配每个分支的返回类型，既不用类型断言，也能严格校验属性完整性：

interface A<RequiresB extends boolean = true> {
  alwaysRequired: string
  b: RequiresB extends true ? string : string | undefined
}

// 重载签名：为true/false分支分别指定返回类型
function getA(requiresB: true): A<true>;
function getA(requiresB: false): A<false>;
function getA(requiresB: boolean): A<boolean>;

// 实现签名
function getA(requiresB: boolean): A<boolean> {
  if (requiresB) {
    return {
      alwaysRequired: 'hello',
      b: 'world'
    };
  }

  return {
    alwaysRequired: 'hello',
    b: undefined
  };
}

2. 分支返回值添加精确类型标注 #

在每个分支里给返回对象标注具体的A<true>或A<false>类型，先确保属性完整，再通过泛型转换断言返回：

interface A<RequiresB extends boolean = true> {
  alwaysRequired: string
  b: RequiresB extends true ? string : string | undefined
}

function getA<RequiresB extends boolean>(requiresB: boolean): A<RequiresB> {
  if (requiresB) {
    const result: A<true> = {
      alwaysRequired: 'hello',
      b: 'world'
    };
    return result as A<RequiresB>;
  }

  const result: A<false> = {
    alwaysRequired: 'hello',
    b: undefined
  };
  return result as A<RequiresB>;
}

这里的类型断言仅用于泛型转换，而result的类型标注会强制校验属性是否完整，遗漏alwaysRequired时会立刻报错。

3. 自定义条件类型统一返回类型 #

定义辅助条件类型，根据输入的布尔值提取对应返回类型，再结合类型收窄实现：

interface A<RequiresB extends boolean = true> {
  alwaysRequired: string
  b: RequiresB extends true ? string : string | undefined
}

type GetAReturn<T extends boolean> = T extends true ? A<true> : A<false>;

function getA<T extends boolean>(requiresB: T): GetAReturn<T> {
  if (requiresB) {
    return {
      alwaysRequired: 'hello',
      b: 'world'
    } as GetAReturn<T>;
  }

  return {
    alwaysRequired: 'hello',
    b: undefined
  } as GetAReturn<T>;
}

这种方式通过自定义类型统一管理返回逻辑，同样能保证属性完整性的校验。

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