递归程序参数值的疑惑

onthetrip

对于递归程序参数值的变化情况，有一个问题一直没有搞清楚：当程序回归时，参数值应该是当初递进时的值，但有些参数为什么却可以是最新的值。附件以二叉树排序为案例，请各位大侠帮我解惑。谢谢！

我是来讨说法的

你先了解一下数据结构 栈 的相关概念和性质来提问

onthetrip

我是来讨说法的 发表于 2018-8-14 12:54
你先了解一下数据结构 栈 的相关概念和性质来提问

谢谢回复。了解了一下，可还是不懂是怎么回事。附件中nPnt和nCount两个参数有性质上有什么不一样，nPnt是压栈参数，而nCount不是？能否针对这个问题解释一下，谢谢。

我是来讨说法的

onthetrip 发表于 2018-8-14 13:07
谢谢回复。了解了一下，可还是不懂是怎么回事。附件中nPnt和nCount两个参数有性质上有什么不一样，nPnt是 ...

递归这种玄乎的东西没办法描述，况且又是二叉排序树这种更复杂的了只能来个最简单的阶乘递归，道理是一样，还是理解不来那就没办法

onthetrip

我是来讨说法的 发表于 2018-8-14 13:47
递归这种玄乎的东西没办法描述，况且又是二叉排序树这种更复杂的了只能来个最简单的阶乘递归，道理是一样 ...

谢谢，我仔细体会一下，看来这东西要靠悟性啊。

香川群子

onthetrip 发表于 2018-8-14 14:33
谢谢，我仔细体会一下，看来这东西要靠悟性啊。

你的问题，可以这么理解：

递归参数的传递，要看递归函数中对参数的赋值方法。
Sub InOrder(aBST, arr, aData, nPnt, nCount&)

其中nCount的赋值改变，是在递归函数处理过程中进行，
nCount = nCount + 1

而在参数传递过程中没有改变：
Call InOrder(aBST, arr, aData, aBST(nPnt, -1), nCount)
Call InOrder(aBST, arr, aData, aBST(nPnt, 0), nCount)

因此nCount在递归函数的参数传递过程中都是直接传递，保持不变。
赋值结果是 0，1，2，3，4，5，6


但是，Sub InOrder(aBST, arr, aData, nPnt, nCount&)中第4参数的nPnt
在递归参数传递过程中，每次都是重新赋值的，
Call InOrder(aBST, arr, aData, aBST(nPnt, -1), nCount)
Call InOrder(aBST, arr, aData, aBST(nPnt, 0), nCount)

即，nPnt = aBST(nPnt, -1)
或   nPnt = aBST(nPnt, 0)

这样的参数，当然也会在递归回溯时发生变化（回到赋值之前的状态）即参数有记忆。
而这参数的记忆特性，正是递归计算的魅力所在。
如果参数不能进行传递中的改变、以及回溯中的返回记忆，很多情况下递归算法也就没有办法得到正确结果了。

哈哈。
总之，一句话，在call 进入递归时，如果传递过程中参数有赋值改变，则会有记忆作用，
如果没有赋值改变，而只是直接传递，则不会因回溯而改变仅仅在过程中计算得到的赋值结果。

onthetrip

香川群子 发表于 2018-8-14 17:29
你的问题，可以这么理解：

递归参数的传递，要看递归函数中对参数的赋值方法。

太感谢了，很详细，终于好像搞懂了。如果有问题再请教您！
再次感谢！