PEP 823：None 感知访问运算符
内容提要
该PEP提议为Python新增两个None感知访问运算符`?.`和`?[]`，用于安全遍历可能为None的嵌套对象，避免抛出AttributeError或TypeError。运算符先求值左侧，若为None则短路返回None，否则继续正常访问，从而简化可选属性的链式访问，替代繁琐的if判断和临时变量。PEP仅聚焦这两个运算符，不涉及`??`合并运算符。
延伸解读
与 PEP 505 的关系及范围限定
PEP 823 是 PEP 505 的延续，但范围大幅收窄。PEP 505 曾同时提出 None 合并运算符 ?? 和 ??=，而 PEP 823 只聚焦 ?. 和 ?[] 两个访问运算符，合并运算符被移至 PEP 824。两者可独立采纳，这意味着即使 ?. 和 ?[] 被接受，?? 也不会自动生效。读者需注意，本 PEP 不涉及赋值场景，?. 和 ?[] 仅用于读取，尝试赋值会触发 SyntaxError。
短路行为与括号的边界
?. 和 ?[] 的短路仅作用于由属性访问、下标、调用及其 None 感知变体组成的链式表达式。一旦遇到其他运算符（如 or、in、+），短路即被打破。例如 a?.b.c or "Hello" 中，若 a 为 None，整个 a?.b.c 返回 None，但 or 仍会继续求值并返回 "Hello"。括号也会终止短路：(a?.b).c 在 a 为 None 时会抛出 AttributeError，因为括号内的结果被当作独立值处理。
不处理缺失属性，只处理 None
?. 和 ?[] 只检查左侧是否为 None，不会处理属性或键缺失的情况。对于字典，若键可能不存在，仍需先用 dict.get(key) 获取，再对结果使用 ?[]。例如 data.get("customer")?["user"]?["name"]。若直接对可能缺失的键使用 ?[]，仍会抛出 KeyError。因此，该运算符适合嵌套对象中可选属性为 None 的场景，而非任意结构化数据的缺失字段。
被拒绝的替代方案与设计取舍
PEP 明确拒绝了几种替代方案：不采用捕获 AttributeError/TypeError 的方式，因为会掩盖拼写错误等真实问题；不引入 maybe 软关键字，因为会隐式检查所有属性，可能隐藏意外返回 None 的缺陷；不添加 ? 一元后缀运算符，因为过于泛化且语义不清。这些拒绝理由体现了设计上强调显式性和可预测性，避免过度自动化导致调试困难。
Q&A
PEP 823 提议为 Python 添加哪两个运算符？它们的作用是什么？
PEP 823 提议添加 `?.` 和 `?[]` 两个 None 感知访问运算符。它们用于安全地遍历可能为 None 的嵌套对象，避免抛出 AttributeError 或 TypeError。运算符先求值左侧，若为 None 则短路返回 None，否则继续正常访问。
None 感知访问运算符如何实现短路行为？
运算符先求值左侧（base），检查是否为 None。若为 None，则跳过右侧（tail）的所有求值（包括函数参数和下标），直接返回 None；否则正常执行属性或下标访问。这避免了访问 None 的属性或下标时抛出异常。
使用 `?.` 和 `?[]` 能替代哪些常见的 Python 代码模式？
可以替代繁琐的 `if ... is not None` 检查、赋值表达式（海象运算符）和临时变量。例如，将嵌套的 if 判断简化为 `data.customer?.user?.name.lower()`。也适用于字典/列表的嵌套访问，如 `data.get("customer")?["user"]?["name"].lower()`。
None 感知访问运算符与 PEP 505 有什么关系？
PEP 505 最早提出 None 感知访问运算符，但已被推迟。PEP 823 旨在捕捉当前讨论状态，并仅聚焦于 `?.` 和 `?[]` 两个访问运算符，不涉及 `??` 合并运算符（后者移至 PEP 824）。两者可独立采用。
None 感知访问运算符在什么情况下会破坏短路？
短路仅适用于由 primary 表达式（名称、属性访问、下标、调用及其 None 感知变体）组成的链。一旦遇到其他运算符（如 `or`、`in`、`+` 等）或括号分组结束，短路就会中断。例如 `(a?.b).c` 在 a 为 None 时会抛出 AttributeError。
为什么 PEP 823 拒绝添加 `maybe` 关键字或异常捕获方案？
`maybe` 关键字会自动为每个属性添加 None 检查，可能隐藏意外的 None 值，导致 AttributeError 被静默。异常捕获方案（捕获 AttributeError/TypeError）会掩盖拼写错误等真实问题，且结果不明确。显式的 `?.` 和 `?[]` 让开发者能精确控制哪些部分可能为 None。
None 感知访问运算符支持赋值吗？
不支持。None 感知表达式只能用于 Load 上下文，赋值会引发 SyntaxError。例如 `a?.b = 1` 会报错。但如果表达式只是更大表达式的一部分（如函数参数），则不影响。
PEP 823 对 Python 语法做了哪些具体修改？
添加了新的 `?` 标记，并更新了 primary 语法规则以包含 `none_aware_attribute` 和 `none_aware_subscript`。新增 AST 节点 `NoneAwareAttribute` 和 `NoneAwareSubscript`，它们没有 `expr_context` 属性（始终为 Load）。
