纯函数的执行顺序是否始终满足交换律？

答案是肯定的：只要严格符合纯函数的定义，独立的纯函数调用执行顺序完全不会影响最终结果，不存在例外情况。

先明确纯函数的核心定义 #

纯函数必须满足两个关键条件：

• 无副作用：不修改任何外部状态（包括全局变量、I/O输出、传入参数的可变状态等）
• 引用透明：相同输入永远返回相同输出，结果仅由输入参数决定

非函数式场景的本质：不是纯函数的问题 #

你给出的非函数式反例中，问题出在对变量x的重复赋值（突变），而非函数本身：

fn foo() -> 2 // 纯函数
fn bar() -> 3 // 纯函数

x = foo();
x = bar(); // 这里是对外部变量x的突变

// 交换后x的最终值改变，但foo和bar的返回值从未变化
x = bar();
x = foo();

这里交换顺序影响的是外部变量x的最终状态，和纯函数的执行结果无关——foo()始终返回2，bar()始终返回3，顺序变化并没有改变这两个函数的输出。

独立纯函数的交换性验证 #

当纯函数的调用彼此独立（没有输入依赖）时，交换执行顺序完全不影响程序的最终状态：

x = foo(); // x = 2
y = bar(); // y = 3

// 交换顺序后，x和y的最终值完全一致
y = bar(); // y = 3
x = foo(); // x = 2

这也是纯函数可以被安全并行执行的核心原因——它们之间没有状态依赖，执行顺序不影响结果。

副作用破坏交换性：函数已不再是纯函数 #

如果函数存在副作用（比如控制台打印、修改全局状态），那它本身就不符合纯函数的定义了：

fn foo() -> print("Hello") // 有I/O副作用，不是纯函数
fn bar() -> print("Hi") // 有I/O副作用，不是纯函数

foo(); // 打印"Hello"
bar(); // 打印"Hi"

// 交换顺序改变的是副作用的表现，和纯函数无关
bar(); // 打印"Hi"
foo(); // 打印"Hello"

这类函数的执行顺序影响的是副作用的输出，而非函数的返回结果，本质是它们不属于纯函数范畴。

关于依赖型纯函数的说明 #

如果纯函数之间存在输入依赖（比如let a = foo(); let b = bar(a);），此时顺序不能交换，但这是逻辑上的依赖要求，而非纯函数的交换性失效——bar需要foo的输出作为输入，这种情况下的顺序是逻辑需求，和纯函数本身的特性不冲突。

内容的提问来源于stack exchange，提问作者Sreyas Sabbani