Ada语言：Put过程是否修改变量？Factorial调用值异常咨询

Put过程并没有修改你的变量A，问题的核心出在你对in out参数的行为理解、Factorial函数的实现逻辑，以及代码的调用顺序上，下面逐一拆解：

1. in out参数的本质 #

你的Factorial函数形参声明为in out Natural，这意味着：

• 函数可以读取实参（比如变量A）的初始值
• 函数对形参的修改会直接同步到外部的实参上
• 这是一种带副作用的参数传递方式，不是单纯的输入参数

2. Factorial函数的副作用 #

看你的Factorial实现：

function Factorial (n : in out Natural) return Natural is
   n_fac : Natural := 0;
begin
   if n = 0 or n = 1 then
      n_fac := 1;
   else
      n_fac := n;
      loop
         n_fac := n_fac * Integer'Pred(n);
         n := n - 1; -- 这里直接修改了形参n，同步到外部实参
         exit when n = 1;
      end loop;
   end if;

   return n_fac;
end Factorial;

只要输入的n>1，函数执行结束后，实参会被强制修改为1——这是函数内部n := n -1循环到退出条件的必然结果。

3. 第一块代码的执行逻辑 #

Put ("Factorial of" & Integer'Image(A) & " is "); -- 此时A=4，输出对应文本
A := factorial(A); -- 调用factorial(4)：函数先把A改成1，再返回24；随后赋值操作将24覆盖了A的1
Put(A, Width => 0); -- 输出24

你看到的A最终为24，是因为A := factorial(A)的赋值操作，把函数返回的阶乘结果覆盖了函数修改后的1，并非函数没有修改A。

4. 第二块代码的执行逻辑 #

Put ("Factorial of" & Integer'Image(A) & " is "); -- 此时A=4，输出对应文本
Put(factorial(A), Width => 0); -- 调用factorial(4)：函数把A改成1，返回24并被Put输出
A := factorial(A); -- 此时A已经是1，调用factorial(1)：函数返回1，且不会修改A的值（因为n=1触发分支），最终A被赋值为1

这里的关键是第一次调用factorial(A)时，已经把A改成了1，第二次调用是基于A=1执行的，所以最终A的结果是1。

修正建议 #

如果你的需求只是计算阶乘，不需要修改输入变量，应该把参数改为in类型（纯输入参数），避免不必要的副作用：

修改后的factorial.ads #

function Factorial (n : in Natural) return Natural;

修改后的factorial.adb #

function Factorial (n : in Natural) return Natural is
   n_fac : Natural := 1;
   Temp : Natural := n; -- 使用临时变量计算，不修改输入参数
begin
   if n = 0 or n = 1 then
      return 1;
   else
      loop
         n_fac := n_fac * Temp;
         Temp := Temp - 1;
         exit when Temp = 1;
      end loop;
      return n_fac;
   end if;
end Factorial;

修改后，无论怎么调用Factorial，输入变量A都不会被修改，结果完全符合预期。

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