TypeScript中为何为永不会生效的默认值设置不触发报错？

首先要明确两个客观事实：

• 示例代码里的x = 42默认值确实是永远不会触发的死代码
• TypeScript 核心编译器不在此场景抛错，是它的设计边界决定的，不是逻辑缺陷

为什么这个默认值完全不生效 #

JavaScript 解构默认值的触发逻辑非常固定：只有当解构获取到的属性值严格等于undefined时，才会启用设置的默认值。
而你给入参对象标注的类型是{ x: number }，等于直接向 TypeScript 明确了类型约定：传入的参数对象中，x属性必然存在、类型为有效数字、绝对不会是undefined。
既然 TS 已经基于你的类型标注确认了x不可能为undefined，那触发默认值的前提条件从类型层面就被彻底排除了，这个=42自然永远走不到。

为什么 TypeScript 核心编译器不在这里报错 #

TypeScript 的核心类型检查有非常清晰的职责边界：它只会在代码实际运行行为和标注的类型不兼容、可能引发运行时类型错误时抛出编译错误，从来不会主动执行「检测代码是否冗余、是否永远不会运行」的死代码扫描工作。
在这个场景下：

• 你写的解构默认值x = 42本身语法完全合法
• 解构得到的x的类型会被 TS 推导为number，和你给整个入参标注的{x: number}类型完全兼容，不存在任何类型层面的冲突
• TS 没有任何理由因为"这段代码没有实际作用"就抛出编译错误——冗余代码检测从来不是 TS 核心编译器的职责范围。

你提出的修正检查由什么工具承载 #

你判断的两个修正方向（删掉永远触发不了的默认值、将参数类型调整为x?: number让默认值真正发挥作用）本身完全正确，但这类「检测无意义冗余逻辑」的工作，本来就是交给上层代码检查工具（比如 ESLint 配合 TypeScript 规则集）完成的。
只要开启对应检测规则，工具就会主动扫描这类永远触发不了的默认值、永远不可能成立的条件判断，给你弹出明确提示。

内容的提问来源于stack exchange，提问作者Marc-André Lafortune