1 基本概念
1.1 定义与核心思想
按名称传递是一种参数传递机制。其基本特点是：函数被调用时，实参表达式不会先被求值并复制到形参中，而是以“名称关联”的方式保留在调用环境里；函数体每次引用该参数时，都会回到原始表达式所在的环境重新取得值或再次计算。
这种机制的核心并不在于“传了一个值”或“传了一个地址”，而在于把参数视为对原表达式的一个可重复访问入口。由此，函数内部对参数的使用，可能对应多次求值，也可能受到外部变量当前状态的影响。
1.2 与其他传递机制的区别
按名称传递常被用来和其他常见参数传递方式对照，以突出它在求值时机、别名关系和副作用表现上的差异。
1.2.1 与按值传递的区别
按值传递在调用时会先求出实参的值，再把该值交给函数内部使用。函数执行过程中，形参通常只是这个值的副本，后续对形参的操作不会反向影响实参本身。
按名称传递则不同。它保留的是表达式与其上下文的联系，函数内部每次使用参数时都可能重新计算原表达式，因此结果不一定固定，也更容易受外部状态变化影响。
1.2.2 与按引用传递的区别
按引用传递通常把参数绑定到某个变量的存储位置，函数内部对形参的读写会直接作用于同一块位置，因此可形成明确的双向影响。
按名称传递并不等同于“传地址”。它关注的是表达式的再访问而非存储位置的共享。换言之，按引用传递强调同一对象的别名关系，按名称传递强调对原始表达式的延迟求值与回溯访问。
1.2.3 与按需要传递的区别
按需要传递可以看作按名称传递的改进版本。两者都具有延迟求值的特征，但按需要传递通常会在第一次求值后缓存结果，后续再次使用同一参数时直接复用已算出的值。
按名称传递则一般不缓存，每次都重新展开并求值，因此更容易产生重复计算。两者的差异在于“是否共享第一次求值的结果”。
1.3 形式化表述
在形式化讨论中，按名称传递可被理解为：把实参表达式及其环境作为一种“待展开的替身”传入函数体；当函数体引用该参数时，再将该表达式代入原环境中进行求值。
这种表述通常会涉及替换、环境、作用域和求值规则等概念。它强调参数绑定并非静态完成，而是在运行过程中按需触发，且每次触发都可能得到新的结果。
2 求值与执行过程
2.1 调用时的绑定方式
在按名称传递中，调用阶段并不立即计算参数值，而是建立一个指向实参表达式及其上下文的绑定关系。函数参数在语法上像一个普通变量，但其解释方式更接近“可回溯到原表达式的占位名”。
因此，调用动作完成后，函数内部看似已经有了形参，实际上只是获得了一个延迟访问入口。真正的求值发生在参数被读取的那一刻。
2.2 参数使用时的重新求值
函数体内每次访问该参数时，系统都会依据当初保存的表达式与环境重新求值。若该参数在函数内部出现多次，那么同一表达式可能被重复执行多次。
这种行为使按名称传递在某些场景下具有灵活性，例如能够让参数随着外部状态变化而呈现不同结果；但也会带来额外开销，尤其是在表达式本身计算成本较高时。
2.2.1 作用域环境的回溯
参数被使用时，求值过程会回到原始调用点所在的环境中，查找相关变量的当前绑定。也就是说，参数并非脱离上下文后独立保存一个静态值，而是与定义调用时的上下文保持联系。
这种回溯机制使得参数的语义依赖于作用域结构。若调用点中的变量状态已发生变化，重新求值得到的结果也可能随之改变。
2.2.2 表达式的延迟展开
按名称传递的实质之一，是把实参表达式的展开推迟到真正使用时再发生。它不是“先算完再传”，而是“先记住、后展开”。
这种延迟展开在逻辑上类似把表达式包裹在一个可重复触发的求值入口中。每次进入这个入口，表达式都会重新展开一次，因此执行过程具有明显的动态性。
2.3 副作用与求值顺序
由于参数的求值被延后，并且可能在一次函数调用中多次发生，因此副作用与求值顺序会变得更复杂。若实参包含赋值、输入输出或其他可观察动作，调用结果就不仅取决于表达式本身，还取决于它被使用的次数与先后顺序。
2.3.1 多次求值问题
多次求值是按名称传递最显著的特征之一。若某个表达式会产生副作用，重复求值可能导致副作用重复发生；即便没有副作用，重复计算也会增加时间成本。
因此，在分析程序时，不能只看参数“内容”是否相同，还要考虑该内容被触发了几次。这个特点使得按名称传递在某些情况下不够高效，但在表达式需要按需使用时又十分自然。
2.3.2 非确定性表现
当实参包含依赖外部状态的成分时，重复求值可能带来看似不稳定的结果。例如，同一参数在不同位置被访问时，返回值可能不同。若再叠加副作用，执行顺序还会进一步影响最终表现。
这种非确定性并不意味着语义混乱，而是说明按名称传递把“使用参数”与“计算参数”绑定得更紧密，因而程序的可观察行为更依赖上下文变化。
3 编程语言中的实现
3.1 经典语言中的按名称传递
按名称传递曾在一些早期程序设计语言中作为重要概念被讨论，尤其是在算法描述和语言理论研究阶段。它常被用于表达更接近数学公式式的参数使用方式。
3.1.1 早期算法语言实例
在早期算法语言的设计讨论中，按名称传递曾被视为一种较具表达力的机制。它允许形式参数像原表达式一样参与运算，从而支持某些看起来更自然的抽象描述。
不过，这类设计也暴露出实现复杂、行为不够直观等问题，因此后来的语言往往转向更稳定、更易预测的传参策略。
3.1.2 解释器与编译器实现思路
从实现角度看，按名称传递可以通过保存表达式、环境以及必要的上下文信息来模拟。解释器在参数被访问时重新调用求值例程；编译器则可能把参数访问改写为对原表达式的再计算逻辑。
这种实现方式比简单的值复制更复杂，因为它不仅要保存数据，还要保存“如何再次计算”的信息。若语言还支持嵌套作用域与局部变量，处理过程会更加细致。
3.2 通过宏与替换模拟
在某些语言环境中，按名称传递可借助宏展开或文本替换风格的机制进行模拟。虽然这种做法不一定与严格的运行时传参完全一致，但在效果上可部分表现出“把表达式带入函数体”的特征。
3.2.1 参数替换模型
参数替换模型的直观理解是：将函数体中出现的形参直接替换为实参表达式，再执行替换后的代码。这样一来，函数内部每次使用该形参时，实际上都在重新引用原表达式。
这种模型便于说明按名称传递的直觉，但若不加限制，可能引入重复展开、执行效率低下和语义歧义等问题。
3.2.2 避免变量捕获的方法
在替换过程中，若实参表达式中的变量名称与函数体局部变量发生冲突，就可能出现变量捕获。为避免这一问题，通常需要进行重命名或采用更严格的绑定规则。
这类处理体现了按名称传递与作用域管理之间的紧密关系。只有正确处理名称绑定，才能保持表达式在原有上下文中的含义不被意外改变。
3.3 与惰性求值机制的关系
按名称传递常被视为惰性求值思想的早期形态之一，因为二者都将计算推迟到真正需要时再发生。但两者并不完全相同。
3.3.1 按名称传递与延迟计算
二者都具有“先保存、后求值”的特征。区别在于，按名称传递通常围绕参数机制展开，重点在函数调用；而延迟计算则是更广泛的求值思想，可出现在多个层面。
因此，按名称传递可以看成一种特殊的延迟计算安排，但不能简单等同于所有形式的懒执行。
3.3.2 按需缓存与共享求值
按需要传递引入缓存后，第一次求值完成的结果会被保存，后续访问直接复用。这样既保留了延迟计算的优势，又减少了重复执行的成本。
相比之下，按名称传递缺少共享求值，重复展开是其内在属性之一。正因如此，按需要传递在现代语言理论中往往更受重视。
4 性质与理论分析
4.1 语义性质
按名称传递的语义重点在于：参数的意义不是一个固定值，而是一个可在上下文中再次激活的表达式。程序行为因此更依赖调用位置、使用次数以及外部环境状态。
4.1.1 可观察行为
从可观察行为看，按名称传递会影响输出结果、执行次数以及副作用出现的时间点。若程序中包含外部读写操作，用户往往能直接感受到这种机制带来的差异。
这使得程序的表面语法与实际行为之间可能存在较大距离。一个参数看似只被传入一次，实际上可能在函数内部触发多轮计算。
4.1.2 终止性与可计算性影响
由于参数可能被多次求值，某些本可终止的表达式在特定调用路径下会产生额外开销；反过来，某些依赖条件分支的表达式也可能因为延迟求值而避免不必要的计算。
从可计算性角度看，按名称传递本身并不改变语言的基本计算能力，但会影响程序的运行轨迹和效率特征，使分析复杂度上升。
4.2 代数与逻辑解释
在代数和逻辑层面，按名称传递常被用来说明表达式替换、作用域传播与求值策略之间的关系。它为研究函数式语义和程序变换提供了一个重要参照。
4.2.1 λ演算视角
从 λ 演算角度看，按名称传递可理解为一种偏向直接替换的求值策略。实参并不先被约简为值，而是在函数体中按需展开，类似把表达式作为“可重复展开项”保留下来。
这一视角有助于分析归约顺序和表达式等价性，也能解释为什么相同函数在不同策略下会呈现不同执行结果。
4.2.2 操作语义视角
在操作语义中，按名称传递通常通过小步或大步规则来刻画。相关规则会描述：参数在调用时如何记录环境、在被访问时如何重新进入求值过程，以及如何处理嵌套绑定。
这种描述方式更适合严格定义语言行为，也便于与其他策略比较其细节差异。
4.3 适用场景与局限
按名称传递并非普遍最优的机制，它更适合强调表达式延迟展开、控制求值顺序或模拟某些高阶结构的场景。
4.3.1 灵活控制结构
在某些设计中，按名称传递能够实现较灵活的控制效果，例如让参数在不同分支中按需计算，或者让某些表达式只在真正用到时才发生求值。
这种特性使它在语言理论和早期语言设计中具有研究价值，也能帮助说明“参数并不一定等于值”这一概念。
4.3.2 性能与可预测性问题
其主要局限在于性能与行为预测。重复计算会带来额外成本，而副作用重复出现或顺序变化，则会降低程序结果的直观性。
因此，在实际语言设计里，这一机制往往需要与缓存、约束求值顺序或更明确的副作用管理方式配合使用，才能获得较好的可用性。
5 相关概念比较
5.1 按值结果传递
按值结果传递通常先把实参求值并作为局部副本传入，函数结束时再将结果写回某个对应位置。它兼具“输入”和“输出”特征，因此与按名称传递相比，更强调调用结束后的结果同步，而不是调用过程中对原表达式的反复访问。
5.2 按共享传递
按共享传递指多个引用指向同一对象或同一数据结构共享部分。它与按名称传递的相似处在于，都可能让函数内部看到外部状态变化；但按共享传递侧重对象共享，按名称传递侧重表达式求值与环境回溯。
5.3 按名调用与延续式机制
按名调用可被理解为以“名称”延后参数求值的一类调用方式，而延续式机制则关注程序执行到某一点之后“剩余计算”的表示与传递。二者都涉及控制流程的显式化，但关注点不同：前者处理参数，后者处理执行上下文的后续部分。
5.4 与宏系统的比较
宏系统通常在语法层面对代码进行展开，强调代码结构的变换；按名称传递则发生在函数调用语义层面，强调表达式在运行时的回溯求值。两者都可能呈现“把一段表达式带到别处使用”的效果，但实现阶段和语义边界并不相同。
6 历史与发展
6.1 早期研究背景
按名称传递的思想主要出现在程序语言理论形成初期。当时研究者试图为函数调用、表达式求值与变量作用域建立更严格的形式模型，于是将参数如何被解释作为核心议题之一。
这一阶段的讨论为后来的求值策略研究奠定了基础，也推动了对“延迟计算”与“共享结果”等概念的进一步区分。
6.2 在编程语言设计中的影响
按名称传递对语言设计的影响主要体现在两个方面：一是促使设计者更清楚地区分不同参数传递方式；二是推动了对惰性求值、引用语义和副作用管理的深入思考。
尽管它并未成为大多数通用语言的默认机制，但其思想在很多后续方案中以变体形式保留下来，尤其是在需要灵活控制求值时机的场合。
6.3 后续求值策略的发展
随着语言实现技术成熟，按名称传递的不足逐渐显现，尤其是重复计算和行为不易预测的问题。于是，按需要传递、缓存求值、引用语义和更精细的副作用控制等策略逐步发展起来。
这些后续方案在保留延迟求值优势的同时，尽量减少按名称传递带来的开销与不稳定性，也使参数机制的分类更加清晰。