Reaching Definitions
定义 Definition
Reaching definitions：通常指编译原理/程序分析中的一个概念——在程序的某个位置上，哪些变量赋值（定义）可能“到达”该位置且未被后续赋值覆盖；常用于数据流分析（data-flow analysis）、优化与静态分析。（在其他语境中也可字面理解为“正在得出/形成定义”，但最常见的是上述技术含义。）
发音 Pronunciation
IPA: /ˈriːtʃɪŋ ˌdɛfɪˈnɪʃənz/
例句 Examples
Reaching definitions help the compiler know which assignment a variable might come from.
“到达定义”帮助编译器判断一个变量的值可能来自哪一次赋值。
By computing reaching definitions at each program point, the optimizer can eliminate redundant loads and improve performance.
通过在每个程序点计算到达定义，优化器可以消除冗余读取并提升性能。
词源与用法来源 Etymology & Origin
- reaching 来自动词 reach（到达），表示“能到达某处的/到达中的”。
- definition 在程序分析中常指“对变量的定义（赋值）”，而不仅是日常的“词义解释”；其词源来自拉丁语 definire（界定、限定）。
- 作为术语，reaching definitions 主要在编译器的数据流分析传统中固定下来，用于描述“某定义是否能沿控制流路径到达某点且未被重定义”。
相关词 Related Words
文学与经典文本 Literary & Notable Works
- Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）：在数据流分析章节系统讲解 reaching definitions。
- Modern Compiler Implementation（Andrew W. Appel 系列）：以实现视角介绍到达定义等经典分析。
- Engineering a Compiler（Cooper & Torczon）：在优化与静态分析内容中讨论到达定义及其应用。
Select Language