如何证明递归函数的正确性？

使用数学归纳法来证明

递归书写方法

• 严格定义递归函数作用，包括参数，返回值，Side-effect（对于全局变量，数组值的改变）
• 先一般，后特殊
• 每次调用 必须 缩小问题规模
• 每次问题缩小程度必须为1

写一个方法前先写该先写该方法的注释，说明参数和返回值！！！

链表的创建

• 结点的定义

  class Node{
   			private final int value;
   			private Node next;
   			
   			Node(int value) {this.value = value;}
   			getter/setter;
  }
  

  为什么要用final定义value？

• 创建链表