关于MATLAB嵌套函数变量作用域的若干技术问询

问题1：嵌套函数变量的“局部性”与工作区保存 #

你给出的示例代码：

function main
   nestedfun1
   nestedfun2

   function nestedfun1
      x = 1;
   end

   function nestedfun2
      x = 2;
   end
save('maindata')
end

疑问解答 #

官方说的“保持局部性”，是指每个嵌套函数的变量仅属于自身的本地工作区，不会自动共享到父函数或其他嵌套函数。调用nestedfun1和nestedfun2时，各自的x只会在自己的工作区中创建，函数执行完毕后，对应工作区的变量会被清理，不会留在内存里，也不会传递到父函数main的工作区。

而save('maindata')保存的是父函数main的工作区，这个工作区里自始至终没有定义过x，所以生成的maindata.mat确实是空的，你的判断完全正确。

问题2：父函数与嵌套函数的变量共享 #

你给出的示例代码：

function main2
nestfun2

   function nestfun2
      x = 5;
   end 
   
x = x + 1;
end

疑问解答 #

a) 为何调用nestfun2在x=x+1之前，函数仍能正常运行？

MATLAB解析函数时，会全局扫描整个父函数及其所有嵌套函数的代码。它发现嵌套函数nestfun2里给x赋了值，同时父函数里有x = x+1的引用，会自动把x标记为父函数与嵌套函数的共享变量。共享变量的存储位置在父函数的工作区，所以nestfun2执行时，是在父函数工作区创建了x并赋值为5，后续父函数的x=x+1就能直接引用这个已经存在的变量，不会报错。

b) MATLAB会解析哪一行代码来确定变量的创建？

MATLAB采用静态作用域解析，会扫描整个函数文件的所有代码（包括嵌套函数）。这里x的实际创建是由嵌套函数的x=5完成的，但因为被标记为共享变量，它的存储位置在父函数工作区，生命周期由父函数管理。简单说，只要父函数和嵌套函数中出现对同一变量的赋值或引用，MATLAB就会识别它为共享变量，变量的创建以第一次赋值为准（这里就是nestfun2里的x=5）。

c) 为何x=5能传递到父函数的x=x+1中？

你对“局部性”的理解有偏差。官方说的“保持局部性”，针对的是未被标记为共享的变量——这类变量只属于定义它的嵌套函数工作区，不会对外暴露。但当嵌套函数和父函数中同时存在对同一变量的赋值/引用时，MATLAB会触发共享变量机制，此时变量存储在父函数工作区，嵌套函数可以修改它，父函数也能访问，这属于MATLAB嵌套函数的共享规则，并不是打破“局部性”。

d) 删除x=x+1后函数正常，但仅保留x时会报错？

• 删除x=x+1后，嵌套函数里的x=5是它自己的局部变量（因为父函数没有任何对x的引用或赋值，不会触发共享机制），函数执行完毕后局部变量被销毁，父函数main2没有其他操作，所以能正常运行。
• 但如果仅保留父函数里的x（即只写x;），此时父函数试图引用x，但嵌套函数里的x=5是局部变量，MATLAB不会自动触发共享机制（共享需要双方至少有一方赋值且另一方有引用/赋值的交互），父函数的工作区里没有定义x，自然会报“Identifier 'x' is not a function or a shared variable”的错误。

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