编码技巧：递归书写方法【学习笔记】

如何证明递归函数正确执行?

写递归函数的过程 = 证明递归函数正确性的过程

---

递归书写方法

Side-effect：副作用

• 函数不光操作参数和返回值，它还操作了一些全局状态，
• 在运行过程中对全局状态会发生一些改变，
• 还有一种情况，函数在运行过程中对参数本身会发生一些改变

Side-effect【EG】：

• 比如说传了一个数组，但是在函数过程中改变数组中元素的值or改变它们的顺序

通常来说，比较理想的做法：

• 函数运行完，没有Side-effect
• 在运行过程中可以产生Side-effect（改一些全局变量）
• 但是再return之后，就要把全局变量改回去。

---

在数学归纳法中：
会先说n=1的情况【特殊情况】下会这样…

但是在写程序的时候，建议：

先把假设和推导部分写出来，然后写特殊情况

为什么？

• 自然数不一定从1开始，也有可能是从0开始
• 在程序里的情况更加复杂，
  • 可能是1【一般情况】
  • 可能是1，0，空数组，null…【特殊情况】

做法：
先把一般逻辑推导写完，再找特殊值是什么。

---

不缩小就是死循环。

---

参照数学归纳法：

• 每次为1的递推关系