3. 函数工作区与变量作用域

在 MATLAB 中编写函数时，很多初学者会遇到一类“看起来莫名其妙”的问题：函数里明明给变量赋了值，回到命令行却查不到；两个函数使用了同名变量，却互不干扰；而有时又因为一个全局变量被意外修改，导致整个计算结果偏离预期。这些现象背后，都是函数工作区与变量作用域在起作用。理解它们，是从“能写出函数”走向“能写出可靠函数”的关键一步。

一、函数工作区是独立的内存空间

MATLAB 每调用一次函数，就会为该函数创建一个独立的工作区（workspace），函数内部的所有局部变量都存放在这个工作区中。函数执行结束后，该工作区随之销毁，局部变量也随之释放。这意味着：函数内部的变量与基础工作区（base workspace）中的变量即使同名，也是两个完全不同的实体。

例如下面这个函数，内部定义了 a 和 b：

function y = calcSum(a, b)
    temp = a + b;      % temp 是局部变量
    y = temp * 2;
end

在命令行执行 r = calcSum(3, 5) 后，基础工作区只会多出一个 r，其值为 16；而 temp、函数内的 a、b 都不会出现在基础工作区中。这正是函数封装性的体现：输入通过参数传入，输出通过返回值传出，中间变量对外不可见。这种隔离让函数可以放心使用常见变量名（如 i、temp、result），而不必担心与调用者的变量冲突。

需要特别注意的是，MATLAB 的函数参数采用值传递语义。函数内部修改形参，不会改变调用者传入的实参变量。例如在函数内写 a = a + 100，调用者的原变量保持不变。若确实需要“带回”修改结果，应通过输出参数显式返回。

二、全局变量：共享方便，风险也大

当多个函数需要共享同一份数据时，可以使用 global 声明全局变量。全局变量存放在全局工作区中，任何声明了它的函数都可以读写。典型写法如下：

global GRAVITY
GRAVITY = 9.81;

function E = potentialEnergy(m, h)
    global GRAVITY
    E = m * GRAVITY * h;
end

全局变量的优点是跨函数共享、无需层层传参；缺点同样明显：任何一处修改都会影响所有使用者，数据流变得隐式，函数不再“输入决定输出”，调试难度陡增。工程实践中应遵循几条纪律：全局变量名使用大写或带前缀以醒目；在函数开头集中声明；尽量只读不写；能用参数传递解决的，就不要用全局变量。对于常量型数据，更推荐用函数返回或 persistent 配合初始化来实现。

三、持久变量：跨调用保留，但只属于本函数

persistent 声明的变量在函数多次调用之间保留其值，但作用域仍限于该函数内部，其他函数和基础工作区都看不到它。它适合做“只初始化一次”的缓存或计数器：

function n = callCounter()
    persistent count
    if isempty(count)
        count = 0;      % 仅在首次调用时执行
    end
    count = count + 1;
    n = count;
end

连续调用 callCounter 会依次返回 1、2、3……直到用 clear callCounter 清除该函数后计数才重置。持久变量的风险在于状态隐式累积：如果初始化条件写错，或忘记在合适时机清除，函数行为会依赖历史调用，难以复现。因此务必保证初始化分支明确，并在文档中说明其状态特性。

四、调试案例：同名变量引发的计算偏差

下面用一个可复现的示例说明作用域对计算结果的影响。假设需要计算一组数据的“归一化加权和”，编写了两个函数：

function s = normalizeData(x)
    global SCALE
    SCALE = max(x);          % 本意：记录缩放因子
    s = x / SCALE;
end

function y = weightedSum(x, w)
    global SCALE
    xn = normalizeData(x);
    y = sum(xn .* w) * SCALE;   % 误以为 SCALE 仍是原值
end

调用 weightedSum([2 4 6], [0.2 0.3 0.5]) 时，normalizeData 把全局变量 SCALE 设为 6，随后 weightedSum 又乘上 6，结果被放大。若调用者此前已把 SCALE 设为其他值，结果还会随调用顺序变化。这就是全局变量造成的隐式耦合：函数输出不再只由输入决定。

修正方式是取消全局变量，让 normalizeData 通过第二个输出参数返回缩放因子：

function [s, scale] = normalizeData(x)
    scale = max(x);
    s = x / scale;
end

function y = weightedSum(x, w)
    [xn, scale] = normalizeData(x);
    y = sum(xn .* w) * scale;
end

此时无论调用顺序如何，结果都稳定可复现。调试时可用 dbstop if error 配合 whos 查看各工作区变量，或在函数内临时插入 disp(whos) 观察局部变量清单，快速确认某个变量究竟属于哪个作用域。

总结来看，函数工作区提供隔离，保证封装可靠；全局变量提供共享，但以牺牲可预测性为代价；持久变量提供跨调用状态，但要求严格的初始化纪律。写函数时优先用参数和返回值表达数据流，把全局变量限制在真正的常量场景，把持久变量限制在明确的缓存场景，才能让计算结果稳定、可调试、可复现。