TypeScript中如何限制对象固定属性并阻止扩展运算符的属性拓宽？

能不能为对象设置固定属性？ #

可以。TypeScript在直接赋值对象字面量时，会通过字面量新鲜度检查拦截未声明的额外属性——就像你示例里的a变量，添加prop3会直接报错，这就是固定属性约束的体现。

但扩展运算符的场景是例外：TypeScript处理对象展开时，会合并多个对象的类型，然后按照结构兼容性规则赋值——只要目标类型的所有属性都存在，就允许赋值，不管有没有额外属性。这就是你遇到的“属性拓宽”问题，导致多余属性不会触发错误。

如何阻止扩展运算符的属性拓宽？ #

以下是几种实用方案：

1. 实现精确类型工具约束

自己定义一个Exact工具类型，强制要求赋值的对象必须严格匹配目标类型，不能有额外属性：

// 精确类型工具：仅当T和U完全匹配时才通过检查
type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

type Fields = {prop1:string; prop2:number};

const a:Fields = {prop1:'1', prop2:2};

// 使用Exact约束，扩展后有额外属性会直接报错
const b:Fields = {...a, ...{prop3:'3'}} as Exact<typeof {...a, ...{prop3:'3'}}, Fields>;

2. 用Object.assign显式约束泛型参数

通过Object.assign的泛型参数，限制第二个参数必须严格匹配目标类型的属性，多余属性会被拦截：

type Fields = {prop1:string; prop2:number};

const a:Fields = {prop1:'1', prop2:2};

// 第二个参数必须符合Fields的属性定义，添加prop3会报错
const b:Fields = Object.assign<Fields, Pick<Fields, keyof Fields>>(a, {prop3:'3'});

3. 封装严格的创建函数

创建一个专门的函数，用泛型约束确保传入的对象严格符合目标类型，从源头阻止多余属性：

type Fields = {prop1:string; prop2:number};
type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

// 仅接受严格匹配Fields的对象
function createFields<T extends Exact<T, Fields>>(obj: T): Fields {
  return obj;
}

const a:Fields = {prop1:'1', prop2:2};

// 传入带prop3的对象会直接报错
const b = createFields({...a, ...{prop3:'3'}});

补充说明 #

TypeScript默认的结构类型系统允许“鸭子类型”兼容，这是为了灵活性做出的设计。直接字面量赋值的额外属性检查是特殊规则，但扩展生成的对象不属于“新鲜字面量”，所以不会触发该检查。上面的方案都是通过类型工具或显式约束，强制开启严格的属性匹配，解决属性拓宽问题。

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