TypeScript对象内属性类型依赖的类型定义方法咨询

你遇到的问题本质是如何让TypeScript识别同一对象中两个属性的依赖关系——也就是根据type的取值，自动约束并提示parameters的对应类型，这和Redux Action的类型处理逻辑完全一致，核心是用**判别式联合类型（Discriminated Unions）**来实现，下面给你两种可行的方案：

方案一：直接定义判别式联合类型 #

这是最直观的方式，把IObject从单一接口改成多个接口的联合类型，每个接口对应一个type值，并绑定对应的parameters类型：

export type ObjectType = "check" | "counter";

export interface IParametersCheck {
  checked: boolean;
}

export interface IParametersCounter {
  max: number;
  min: number;
  step: number;
}

// 把IObject定义为联合类型，每个成员对应一个type和匹配的parameters
export type IObject = 
  | { type: "check"; parameters: IParametersCheck }
  | { type: "counter"; parameters: IParametersCounter };

效果演示 #

• 创建对象时的自动补全：当你把type设为"check"，编辑器会自动提示parameters只能包含checked属性；如果写错属性或者用了counter的参数，TypeScript会直接报错。
• 类型窄化：在switch或if判断中，TypeScript会根据type自动缩小parameters的类型：

function processObject(obj: IObject) {
  switch (obj.type) {
    case "check":
      // 这里obj.parameters自动推断为IParametersCheck，放心访问checked
      console.log("Checked status:", obj.parameters.checked);
      break;
    case "counter":
      // 这里obj.parameters自动推断为IParametersCounter，能访问max/min/step
      console.log("Counter range:", obj.parameters.min, "-", obj.parameters.max);
      break;
  }
}

方案二：泛型+映射类型（扩展性更强） #

如果后续需要新增更多type和对应的参数类型，这种方式更方便，只需要维护一个类型映射表即可：

export type ObjectType = "check" | "counter";

export interface IParametersCheck {
  checked: boolean;
}

export interface IParametersCounter {
  max: number;
  min: number;
  step: number;
}

// 建立type到parameters类型的映射关系
type TypeToParameters = {
  check: IParametersCheck;
  counter: IParametersCounter;
};

// 用泛型定义IObject，自动关联type和parameters
export type IObject<T extends ObjectType = ObjectType> = {
  type: T;
  parameters: TypeToParameters[T];
};

效果演示 #

• 自动推断类型：

// 编辑器会自动根据type推断parameters的类型
const checkObj = {
  type: "check",
  parameters: { checked: true }
} as IObject;

• 指定泛型约束：

// 明确指定泛型后，parameters会严格匹配对应类型
const counterObj: IObject<"counter"> = {
  type: "counter",
  parameters: { max: 20, min: 0, step: 2 }
};

为什么原来的写法不行？ #

你之前的定义是把IObject作为单一接口，type和parameters都是独立的联合类型，TypeScript无法将两者的取值关联起来——它只会认为type可以是任意ObjectType值，parameters可以是任意ObjectParameters值，自然无法提供精准的自动补全和类型检查。而上面两种方案都是通过让type成为判别属性，让TypeScript能根据这个属性的值，精准推断出parameters的对应类型。

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