如何在TypeScript接口中禁止可选属性被赋值为undefined

我完全get到你的点了——你要的是接口的可选属性要么彻底不写，要么写就必须给个正经有效值，绝对不能把undefined直接赋值给它。毕竟{ color: undefined }和空对象{}确实是两回事，前者是明确给属性设了undefined，后者连这个属性都没有，语义上差别很大。

下面给你两种可行的解决方案，按需选择：

方案一：开启--exactOptionalPropertyTypes编译选项（最简单） #

如果你能自己控制TypeScript的编译配置，开启这个官方提供的编译选项是最省心的办法。开启后，TypeScript会严格区分「可选属性不存在」和「可选属性被赋值为undefined」这两种情况：

你甚至不用改原来的接口定义：

interface SquareConfig {
  color?: string;
  width?: number;
  comments?: string[];
}

这时候再试你的例子：

• const d: SquareConfig = { color: undefined } → 直接报错，编译器不允许给可选属性显式赋值undefined
• const e: SquareConfig = {} → 完全合法，因为只是属性不存在而已

方案二：手动定义严格可选类型（不依赖编译选项） #

如果没法修改项目的编译配置，那可以手动写一个类型工具，实现「属性可不存在，但存在时不能为undefined」的效果：

首先定义一个包含所有必填属性的基础类型，再通过映射类型生成严格可选的版本：

// 先定义所有属性的基础类型（这里每个属性都是必填的，不带可选标记）
interface SquareBase {
  color: string;
  width: number;
  comments: string[];
}

// 自定义一个严格可选的类型工具：把每个属性变成可选，但排除undefined类型
type StrictPartial<T> = {
  [K in keyof T]?: Exclude<T[K], undefined>;
};

// 最终的SquareConfig类型
type SquareConfig = StrictPartial<SquareBase>;

现在测试你的几个案例：

const a: SquareConfig = {}; // ✅ 合法
const b: SquareConfig = { color: 'red' }; // ✅ 合法
const c: SquareConfig = { width: 99, comments: ['bla'] }; // ✅ 合法
const d: SquareConfig = { color: undefined }; // ❌ 报错：undefined不能赋值给string类型
const e: SquareConfig = {}; // ✅ 合法

完美符合你的要求！这里的核心是Exclude<T[K], undefined>——它把每个属性的类型里的undefined选项去掉了，再加上?:标记让属性可以不存在，刚好实现了你要的效果。

备注：内容来源于stack exchange，提问作者Galdor