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

• Assignment
• Definition
• Use
• Data-Flow Analysis
• Control-Flow Graph
• Liveness
• Available Expressions
• Static Analysis

文学与经典文本 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）：在优化与静态分析内容中讨论到达定义及其应用。