TypeScript：如何为对象单个属性直接指定自定义类型？

假设我们有如下对象：

const object = {
  prop: "prop",
  typedProp: "type-1",
};

我们希望typedProp仅接受"type-1"、"type-2"、"type-3"这些值，为此定义了自定义联合类型：

type CustomProp = "type-1" | "type-2" | "type-3";

已知可以通过为整个对象指定类型实现约束，但想找到一种直接给typedProp属性单独指定该类型的方式，避免手动定义整个对象的类型。之前尝试用类型断言的方式无效：

const object = {
  prop: "prop",
  typedProp: "type-1" as CustomProp,
};

因为后续仍然能给typedProp赋值任意字符串，达不到预期的约束效果。

以下是几种可行的实现方案：

方案1：交叉类型结合字面量推断 #

先让TypeScript自动推断对象的原始类型，再通过交叉类型仅修改typedProp的约束：

type CustomProp = "type-1" | "type-2" | "type-3";

// 先创建临时对象，让TS推断所有属性的字面量类型
const tempObj = {
  prop: "prop",
  typedProp: "type-1",
};

// 用Omit移除原类型的typedProp，再交叉CustomProp约束
const object: Omit<typeof tempObj, "typedProp"> & { typedProp: CustomProp } = tempObj;

这样prop会保留自动推断的类型（如果需要prop为string而非字面量"prop"，可以改成prop: "prop" as string），typedProp则被严格约束为CustomProp，后续赋值只能使用指定的三个值。

方案2：直接给对象做局部类型断言 #

通过类型断言将对象与{ typedProp: CustomProp }交叉，保留其他属性的自动推断结果：

type CustomProp = "type-1" | "type-2" | "type-3";

const object = {
  prop: "prop",
  typedProp: "type-1",
} as { typedProp: CustomProp } & typeof object;

这个写法的核心是利用typeof object先获取TS自动推断的原始类型，再通过交叉类型将typedProp的类型拓宽为CustomProp，同时保留其他属性的推断类型，实现局部约束。

方案3：泛型函数封装（适合批量创建对象） #

如果需要多次创建这类结构的对象，可以用泛型函数封装约束逻辑，既保证灵活性又减少重复代码：

type CustomProp = "type-1" | "type-2" | "type-3";

function createTargetObject<T extends { prop: string }>(obj: T & { typedProp: CustomProp }) {
  return obj;
}

const object = createTargetObject({
  prop: "prop",
  typedProp: "type-1",
});

函数会自动校验typedProp必须属于CustomProp，prop的类型则由传入的值自动推断，后续修改object.typedProp时会受到严格约束。

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