如何让TypeScript识别已定义的可选接口属性为非可选且不可修改？

这问题我碰到过好几次，给你几个简单直接的解决办法，不用额外定义一堆接口：

方法一：as const + satisfies（最推荐） #

直接在对象定义末尾加上as const satisfies IFieldConfig，既保证对象符合IFieldConfig的类型约束，又让TypeScript推断出这个对象是完全不可变的，所有属性的类型都会被收窄到字面量，自然就不会认为form.default可能是undefined了：

export const fieldCompany = {
  id: 'company',
  form: {
    type: 'string',
    default: 'Apple',
  },
} as const satisfies IFieldConfig;

这里as const让TS把每个属性都标记为只读且类型是具体的字面量（比如type是'string'而不是'string' | 'password'，default是'Apple'而不是any），satisfies则确保对象结构完全符合IFieldConfig的要求，避免写错属性名或类型。

方法二：直接用as const（简洁版） #

如果你确定自己的对象完全符合接口，也可以只加as const，省略satisfies：

export const fieldCompany = {
  id: 'company',
  form: {
    type: 'string',
    default: 'Apple',
  },
} as const;

这种方式更简洁，但缺点是如果后续修改对象时不符合IFieldConfig，TS不会报错，适合你对自己的代码有把握的场景。

方法三：运行时密封对象（附带类型推断） #

如果你还想在运行时确保对象不会被修改，可以用Object.freeze，TS会自动把冻结后的对象推断为只读类型：

export const fieldCompany = Object.freeze({
  id: 'company',
  form: {
    type: 'string',
    default: 'Apple',
  },
}) as IFieldConfig;

这个方法的重点是运行时的不可变性，TS的类型推断只是附带效果，相比as const来说类型收窄程度稍弱，但也能解决default可能为undefined的问题。

为什么原来的写法会有问题？ #

因为IFieldConfig里的form是可选属性，TypeScript会假设这个属性可能在后续代码中被删除或者修改为undefined，所以即使你初始化时赋值了，它还是会保留form可能为undefined的类型推断。而上面的方法都是明确告诉TS：这个对象是固定不变的，属性不会被添加、删除或修改，这样TS就能放心地推断出form一定存在，default也有确定的值。

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