可选链.md

TypeScript 可选链、空值合并和非空断言

在 TypeScript 中，可选链（Optional Chaining）、空值合并（Nullish Coalescing）和非空断言（Non-null Assertion）是处理 null/undefined 的重要语法。以下是详细解释：

---

1. 可选链 ?.（Optional Chaining）

作用：安全访问嵌套对象的属性或方法，避免因中间值为 null/undefined 而抛出错误。

语法示例：

const result = obj?.prop?.nestedProp?.method?.();

行为：

• 如果 obj、prop、nestedProp 或 method 为 null/undefined，整个表达式返回 undefined。
• 如果所有中间值存在，则正常执行。

常见场景：

// 安全访问属性
const name = user?.profile?.name; // 如果 user 或 profile 是 null/undefined，返回 undefined

// 安全调用方法
user?.updateProfile?.(); // 如果 updateProfile 不存在，不执行

// 安全访问数组
const item = arr?.[0]; // 如果 arr 是 null/undefined，返回 undefined

---

2. 空值合并 ??（Nullish Coalescing）

作用：当左侧值为 null 或 undefined 时，返回右侧的默认值。

语法示例：

const value = input ?? defaultValue;

行为：

• 仅在左侧是 null/undefined 时使用右侧默认值。
• 对比 ||（逻辑或）的区别：|| 会对所有假值（0、""、false、NaN）生效。

示例：

const age = 0;
console.log(age ?? 18); // 0（因为左侧不是 null/undefined）
console.log(age || 18); // 18（因为 0 是假值）

---

3. 非空断言 !（Non-null Assertion）

作用：明确告诉 TypeScript，某个值一定不是 null/undefined（需开发者自己确保安全性）。

语法示例：

const value = obj!.prop!.nestedProp;

行为：

• 跳过 TypeScript 的类型检查，强制认为值存在。
• 如果实际运行时值为 null/undefined，会抛出错误！

示例：

// 假设 user 是从外部获取的，开发者明确知道它非空
const name = user!.name;

// 非空断言数组
const items = data!.results!.map(...);

---

4. 双非断言 !!（Double Negation）

作用：将任意值转换为布尔值（true/false）。

语法示例：

const hasValue = !!value;

行为：

• 等价于 Boolean(value)。
• 对假值（0、""、null、undefined、false、NaN）返回 false，其他返回 true。

示例：

console.log(!!0); // false
console.log(!!"hello"); // true
console.log(!!null); // false

---

对比总结

语法	作用	适用场景
a?.b	安全访问嵌套属性/方法	不确定中间值是否存在时
a ?? b	默认值（仅对 null/undefined 生效）	需要区分 0、"" 和 null/undefined
a!	断言值非空（跳过类型检查）	开发者明确知道值非空时
!!a	强制转换为布尔值	需要明确的 true/false 判断

---

组合使用示例

// 安全访问 + 默认值
const name = user?.profile?.name ?? "Anonymous";

// 非空断言 + 可选链
const length = data!.results?.length ?? 0;

注意事项

1. 滥用 ! 的风险：如果实际值为 null/undefined，会导致运行时错误。
2. 与 || 的区别：?? 仅处理 null/undefined，而 || 处理所有假值。
3. 可选链的性能：a?.b 等价于 a == null ? undefined : a.b，无副作用。

合理使用这些语法能显著提升代码的健壮性和可读性！