代码健壮性 —— 异常保护和合法性检测

• 参数：
  
  • 入参；
    
    • 是否为空
  • 返回值；
    
    • 是否为空；
    • 根据返回状态码或返回值判断函数执行的状态；

1. 参数的合法性检测（validate）

• 指针是否为空

  if (p == NULL)
      ...

• 内存申请：要判断是否申请成功；

• 序列访问：
  
  • 序列是否为空；
  • 是否越界；
• 序列是否为空 ⇒ 删除序列中的元素 ⇒ 此时是否为空；
  
  • 对于 Stack 的 pop 操作；
• 对列表或者二维列表（比如图的邻接矩阵表示法），通过下标的方式进行索引时，下标是否合法；
• 所要设置的对象一定要存在；
  
  • 比如对于一个邻接表增加一条边，
    
    • 首先要求表中至少有一个结点；
    • 起点和终点必须都各自存在；
    • 需要对起点和终点是否已经存在边进行判断；