如何区分TypeScript接口/类型别名中条件必填属性的特定子类型？

你的问题核心在于TypeScript无法自动推断联合类型中多个属性的关联性——仅检查a存在时，它没办法确定b和c一定也存在于当前分支。以下是两种实用的解决思路：

方案一：自定义类型守卫（类型谓词） #

不用修改原有类型定义，通过类型谓词函数明确告诉TypeScript如何区分联合类型的子分支：

type Something = ({ a: number, b: number, c: number }) | ({ a?: never, b?: never, c?: never });

// 类型守卫函数，判断参数属于全属性必填的子类型
function hasRequiredProps(obj: Something): obj is { a: number, b: number, c: number } {
  return typeof obj.a !== "undefined";
}

function test(parameter: Something): void {
  if (hasRequiredProps(parameter)) {
    parameter.b.toFixed(); // 类型检查完全正常，无需逐个验证b、c
  }
}

这个方式保留了原类型的结构，仅通过一个函数完成类型收窄，完全符合「条件必填」的设计意图。

方案二：改用判别式联合类型 #

如果允许调整类型定义，添加一个判别属性（比如type字段）是TypeScript官方推荐的类型收窄方案，可读性和健壮性更强：

// 拆分两个明确的子类型，添加判别字段
type FullSomething = { type: "full"; a: number; b: number; c: number };
type EmptySomething = { type: "empty"; a?: never; b?: never; c?: never };
type Something = FullSomething | EmptySomething;

function test(parameter: Something): void {
  if (parameter.type === "full") {
    parameter.b.toFixed(); // 自动收窄为FullSomething，类型检查通过
  }
}

判别式联合让TypeScript能直接通过判别字段的值精准定位子类型，无需额外的类型守卫函数。

针对含{ [n: string]: any }的原始类型 #

如果需要保留原类型中的索引签名，只需将类型守卫函数对应调整即可：

type Something = ({ a: number, b: number, c: number } & { [n: string]: any }) |
  ({ a?: never, b?: never, c?: never } & { [n: string]: any });

function hasRequiredProps(obj: Something): obj is ({ a: number, b: number, c: number } & { [n: string]: any }) {
  return typeof obj.a !== "undefined";
}

function test(parameter: Something): void {
  if (hasRequiredProps(parameter)) {
    parameter.b.toFixed(); // 类型检查正常
  }
}

内容的提问来源于stack exchange，提问作者Takeshi Tokugawa YD