C++中能否将带空值校验的destroy函数改为指针引用版本？

首先解决核心疑问：完全可以去掉空值校验，因为C++标准从一开始就明确规定，delete一个空指针（包括nullptr或老式的NULL）是安全操作，不会触发任何未定义行为。原来的if (song)判断其实是多余的——不管指针有没有指向有效内存，直接delete都没问题，空指针的情况下delete啥也不会做。

那改成Song*&（指针的引用）的核心价值在哪？

• 彻底避免野指针隐患：原来的函数是值传递指针，函数内部的song是外部指针的副本，就算你在函数里把它设为nullptr，外面的指针还是会指向已经被释放的内存（也就是野指针）。改成引用传递后，你可以在delete之后直接把外部的指针置空：

  void destroy(Song*& song) {
      delete song;
      song = nullptr; // 这一步能让外部指针直接变成安全的空指针
  }
  

  调用完destroy后，外部变量就不会再是野指针，后续就算不小心重复调用destroy或误操作这个指针，也不会出问题。

当然，改成引用传递也有个小限制：

• 不能传临时指针或const指针：比如写destroy(new Song());会直接编译报错，因为临时对象无法绑定到非const的左值引用。调用这个函数时，必须传一个可修改的左值指针变量——这其实也是件好事，能避免一些不合理的调用方式（比如用destroy去直接处理临时分配的对象，本来就没必要）。

总结：去掉空值校验完全合法，改成指针引用的版本不仅更简洁，还能额外解决野指针的问题，只要你注意调用时的参数要求就行。

内容的提问来源于stack exchange，提问作者O.B.