Induction Variable

释义 Definition

归纳变量 / 诱导变量：在循环中按固定规律（通常每次迭代增加或减少一个常量）变化的变量，常用于描述循环进度、数组下标或计数；在编译器优化中，它是识别与变换循环的重要线索。（在更广义的编译原理里，也可指与“基本归纳变量”呈线性关系的变量。）

发音 Pronunciation (IPA)

/ɪnˈdʌkʃən ˈvɛriəbəl/

例句 Examples

The loop uses i as an induction variable.
这个循环使用 i 作为归纳变量。

In compiler optimization, detecting an induction variable can help eliminate redundant calculations inside a loop.
在编译器优化中，识别归纳变量有助于消除循环内部的冗余计算。

词源 Etymology

induction 源自拉丁语 inductio，有“引入、推导”之意，在数学里常指“归纳（法）”；variable 源自拉丁语 variabilis，意为“可变化的”。合起来强调：该变量在循环迭代中按可预测的规则“逐步推导/递进”变化，因此在程序分析中很关键。

相关词 Related Words

• Loop
• Iteration
• Counter
• Index
• Invariant
• Optimization
• SSA
• Strength Reduction

文献与作品中的用例 Literary / Notable Works

• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）：在循环优化相关章节中讨论归纳变量与强度削减等优化。
• Advanced Compiler Design and Implementation（Steven Muchnick）：系统介绍归纳变量分析（induction variable analysis）及其在循环变换中的应用。
• Engineering a Compiler（Cooper & Torczon）：在循环优化/数据流分析语境下使用该术语，说明如何识别与利用归纳变量。