局部使用可变变量的无副作用函数是否为纯函数？是否符合FP要求？

首先明确核心：函数式编程的核心诉求之一是使用纯函数，而纯函数的定义是：

• 相同输入始终返回相同输出（无依赖外部可变状态）
• 执行过程中无任何外部副作用（不修改外部变量、不进行IO等）

你给出的imp函数虽然内部用了var和while循环，存在局部可变状态，但这些可变状态完全被封装在函数内部，既没有逃逸到外部，也不会影响外部环境，同时严格满足“相同输入得到相同输出”的要求——从全局视角看，它是引用透明的。

代码分析 #

先看两段实现：

def imp(x: Int): Int = {
  var y = x // in case x is an immutable value
  while (y < 10) {
    y += 1
  }
  return y
}

def tailRec(x: Int): Int = {
  if (x >= 10) return x
  else tailRec(x + 1)
}

val x = 2;
imp(x); //10
tailRec(x); //10

• tailRec是典型的函数式写法：依赖尾递归，全程无可变状态，通过递归调用完成逻辑。
• imp用了命令式的循环和局部可变变量，但它的对外行为和纯函数完全一致——作为黑盒来看，你无法区分它和tailRec的输入输出特性。

结论 #

这种函数依然属于函数式编程的范畴。函数式编程并非完全禁止可变状态，而是禁止未被封装的、会对外产生影响的可变状态。局部的可变如果被严格限制在函数内部，不破坏全局的引用透明性，那么它就是可接受的——甚至在实际开发中，为了优化性能，很多函数式语言的标准库内部都会用局部可变来实现，但对外暴露的依然是纯函数接口。

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