静态类型无可选参数场景下，调整函数参数顺序并同步调用是否等价？

在你给定的前提（支持函数、无可选参数的静态类型语言，函数内部执行逻辑完全一致，且所有调用点的传参顺序随函数定义同步调整）下，两种实现从程序语义层面是完全等价的，运行结果不会有任何差异。

• 函数的参数位置本质上只是一套约定的映射规则：定义阶段规定第N个位置接收什么类型的值、绑定到哪个内部形参，调用阶段按这个规则传值即可。你调整定义的参数顺序、同时同步修改所有调用点的传参顺序，只是把这套映射规则整体做了替换，没有改变任何传入值和函数内部形参的对应关系，自然不会影响执行结果。
• 这个结论有明确的学术理论支撑，属于形式化编程语言领域的基础结论：对应λ演算中的**α变换（α-conversion）**规则，规则明确说明只要同步修改绑定变量的标识和所有对应的引用位置，表达式的语义不会发生任何变化。你这里的参数顺序调整本质上就是对「参数位置-绑定变量」的映射做了全局同步替换，完全符合α变换的适用条件。
• 同时这个结论也属于编程领域的常识性结论，日常开发中的参数重排重构就是基于这个逻辑，绝大多数主流IDE都提供自动化的参数重排功能，只要同步修改所有调用点，就不会引入任何逻辑问题。

如果存在超出你给定前提的情况，才有可能出现不等价：

• 语言支持按参数名传参，且你修改参数顺序的同时没有同步修改调用时传入的参数名
• 存在依赖函数签名的外部逻辑，比如反射调用、接口实现匹配，修改参数顺序会破坏签名一致性，导致逻辑异常
• 函数本身包含依赖参数位置的特殊隐式逻辑，比如和底层调用约定强绑定的原生函数，但这类场景不属于普通业务开发的常见情况

内容的提问来源于stack exchange，提问作者JJ Cheung