如何根据属性的存在为对象分配TypeScript类型？

我尝试实现一个条件类型：当对象包含x属性时，必须同时包含y属性；如果没有x，则不需要y。但当前代码中，包含x却缺少y的对象没有触发预期的类型错误，请问这是为什么？

interface BaseType {
  x?: number;
  a?: string;
  b?: number;
}

interface WithoutX extends Omit<BaseType, "x"> {
  
};

interface WithX extends Omit<BaseType, "x"> {
  x: any;
  y: string;
};

type ConditionalType = WithX | WithoutX;

// 正确：无x和y，符合WithoutX
const validObject1: ConditionalType = {
  a: "hello",
  b: 42
};

// 正确：有x和y，符合WithX
const validObject2: ConditionalType = {
  a: "world",
  x: 10,
  y: "required"
};

// 预期报错：有x但无y，但实际没有报错
const shouldBeInvalidButIsNot: ConditionalType = {
  a: "typescript",
  x: 10
};

// 正确报错：直接赋值给WithoutX时，存在x属性不符合类型
const invalidObjectBecauseX: WithoutX = {
  a: "typescript",
  x: 10
};

// 正确报错：直接赋值给WithX时，缺少y属性
const invalidObjectBecauseYMissing: WithX = {
  a: "typescript",
  x: 10
};

问题原因 #

1. WithoutX未禁止x属性：Omit<BaseType, "x">只是移除了x的类型定义，但TypeScript的结构类型系统允许对象包含额外属性。也就是说，WithoutX类型的对象实际上可以拥有x属性——它只是不要求必须有，也不禁止存在。
2. 联合类型的匹配逻辑：当赋值给ConditionalType（WithX | WithoutX）时，TypeScript会检查对象是否符合联合类型中的任意一个分支。对于shouldBeInvalidButIsNot，虽然它有x，但TypeScript认为它符合WithoutX（因为WithoutX不限制x的存在），所以不会触发错误。
3. 直接赋值的额外属性检查：而直接赋值给WithoutX时，TypeScript会启用额外属性检查，所以invalidObjectBecauseX会报错，但联合类型场景下不会触发这个检查。

解决方案 #

要实现“有x则必须有y”的约束，需要让WithoutX明确禁止x属性的存在，这样当对象包含x时，只能匹配WithX分支，从而强制要求y存在。

方式一：给WithoutX添加x?: never

interface BaseType {
  x?: number;
  a?: string;
  b?: number;
}

interface WithoutX extends Omit<BaseType, "x"> {
  x?: never; // 明确禁止x属性存在，或只能为undefined
};

interface WithX extends Omit<BaseType, "x"> {
  x: any;
  y: string;
};

type ConditionalType = WithX | WithoutX;

// 现在会触发预期的错误：类型"{ a: string; x: number; }"中缺少属性"y"，但类型"WithX"需要该属性
const shouldBeInvalidNow: ConditionalType = {
  a: "typescript",
  x: 10
};

方式二：使用条件类型定义

可以直接用条件类型更简洁地实现逻辑：

interface BaseType {
  a?: string;
  b?: number;
}

type ConditionalType = BaseType & (
  | { x?: never } // 无x时的情况
  | { x: any; y: string } // 有x时必须有y
);

// 同样会触发预期错误
const shouldBeInvalidNow: ConditionalType = {
  a: "typescript",
  x: 10
};

两种方式都能实现需求：当对象包含x时，TypeScript会强制要求y存在；当没有x时，y可以不存在。

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