解构赋值是日常编码中使用频率极高的语法，而在属性可能缺失的场景下，我们通常会为其设置默认值。问题在于：一旦默认值、可选属性、多层嵌套这三者叠加，TypeScript推导出的类型常常和开发者脑中设想的类型不一致。要准确预判这些行为，需要理解TypeScript在处理解构模式时的几条核心规则。
一、默认值如何改变被解构属性的类型
先从最基础的情况说起。当解构一个属性并给它提供默认值时，TypeScript会做两件事：第一，把该属性类型的undefined部分剔除；第二，用默认值的类型参与推导。这条规则在简单场景下没有歧义，例如从{ name?: string }中解构name = "default"，得到的类型是string而不是string | undefined。默认值的存在等价于告诉编译器：即使源数据缺失，这里也一定有值。
但要注意一个细节：默认值只剔除undefined，不剔除null。如果属性类型是string | null，即便给了默认值，推导结果依然是string | null。这是严格空值检查下的既定行为，很多开发者会误以为默认值能兜住所有空值，实际运行时也只有undefined会触发默认值替换，null会原样通过。
interface Options {
name?: string;
timeout?: number | null;
}
function init(options: Options) {
// name 被推断为 string，undefined 已被剔除
const { name = "anonymous" } = options;
// timeout 被推断为 number | null，默认值无法兜住 null
const { timeout = 5000 } = options;
console.log(name, timeout);
}
另一个容易被忽视的点是默认值的类型必须能赋给原属性类型的非undefined部分。如果默认值比原类型更宽，编译器会直接报错，而不会做反向联合。也就是说，推导方向是“原类型去掉undefined”，而不是“原类型与默认值类型取并集”。理解了这一点，后面看嵌套场景就不容易迷惑。
二、嵌套对象解构中默认值的层层作用域
嵌套解构的复杂性在于：默认值可以出现在任何一层，而每一层的默认值只影响该层解构出来的变量。外层给默认值，不代表内层属性就一定存在；内层给默认值，也不要求外层有默认值。TypeScript会沿着解构模式逐层展开，每一层独立应用“剔除undefined”的规则。
看一个典型的三层结构。假设配置对象的server属性可选，server.host也可选，我们在两层都设置默认值。此时推导的关键在于：外层server = {...}保证了解构源不为undefined，因此内层模式可以安全地作用在这个默认对象上。而如果外层没有默认值，server被推断为可能为undefined，内层直接解构会触发严格模式错误，除非内层对每个属性都提供默认值并且启用了对可选链解构的宽容处理。
interface ServerConfig {
host?: string;
port?: number;
}
interface AppConfig {
server?: ServerConfig;
}
function bootstrap(config: AppConfig) {
const {
server = { host: "127.0.0.1", port: 8080 },
} = config;
// server 的类型是 ServerConfig（外层默认值兜底）
// host 经过解构后是 string，port 是 number | undefined
const { host, port = 3000 } = server;
return { host, port };
}
值得对比的是把默认值写到内层属性上的写法。如果写成const { server: { host = "127.0.0.1" } = {} } = config;，这里同时存在外层默认值{}和内层默认值。TypeScript会把外层默认对象{}当作内层模式的解构源参与推导，最终host的类型是string。这种写法虽然紧凑，但默认对象里没有的字段会被推断为其声明类型去掉undefined后的结果，推导链路变长后可读性会明显下降，团队协作时建议拆成多行并补充注释。
还有一个实际开发中常见的坑：嵌套解构的默认值在每次解构求值时都会重新计算。如果默认值是一个函数调用或对象字面量，每次执行到这行代码都会生成新对象。对于引用敏感的逻辑，最好把默认值提取为常量，既避免重复创建，也让类型推导结果在代码复查时一目了然。
三、数组与对象混合解构时的推断差异
数组解构遵循的是另一套规则。位置而非属性名决定了绑定关系，因此默认值只能作用于“对应位置缺失”的情况。当数组类型是元组且包含可选元素时，给某个位置设置默认值，该位置的类型同样会剔除undefined。混合场景下，比如对象里嵌套数组、数组里嵌套对象，TypeScript会按照模式的结构递归应用上述规则，对象层用属性名匹配，数组层用位置匹配。
interface Matrix {
size: [number, number];
labels?: string[];
}
function setup(matrix: Matrix) {
// 元组解构，size[0] 和 size[1] 均为 number
const { size: [width, height] } = matrix;
// 数组解构配合默认值，first 是 string
// 注意 rest 的类型是 string[] | undefined
const { labels: [first = "default", ...rest] = ["a"] } = matrix;
return { width, height, first, rest };
}
注意上面rest的类型：labels本身可选，外层默认值兜底后labels被视为string[]，但rest元素在空数组情况下是空数组而非undefined，因此其类型是string[]。类似的细节在混合嵌套中还有很多，例如在函数参数中对整个解构模式给默认值（function f({ a = 1 } = {}) {...}），这在React组件里非常常见，参数整体可选时必须给模式本身提供默认对象，否则调用方省略参数会导致运行时报错。
总结一套排查思路：遇到推导结果不符合预期时，先把解构模式逐层拆开，画出每一层的属性类型，再对每个带默认值的绑定标注“剔除undefined”的效果，最后检查是否有null混入或默认值类型不匹配。借助IDE的悬停提示逐个变量核对推断类型，嵌套再深的问题也能定位清楚。掌握这些规则后，解构默认值就不再是黑盒，而是可以精确预测的类型收窄工具。
TypeScript解构赋值类型推断修改时间：2026-09-04 12:36:37