assert与if的区别(讲个小故事一下就明白了)

记得我好像给小明说过：记住了，assert是在debug模式下才有效，它是一个用于调试的宏，除非你修改系统宏，我想吃饱了没事干才那样做。

今天：

我：小明，这是release版本要上线了，下面这两句代码是你写的？怎么没有if判断呢？

  int* p = (int*)malloc(sizeof(int))；

   assert(p);

小明：哥，是我写得啊，assert不是也是用来判断的吗，好像跟if判断没啥差别吧。

我：我给你两个大嘴巴子，来来来，哥给你说道下，别人写malloc这个接口的人都知道可能会为空的，明知道可能会为空，你还用啥assert，你自己调到release模式下看看这两句，就问你assert还有效吗？不记得我以前给你说过的吗，我就问你如果debug模式下没报错，而release版本出去后p为空你就等着挨骂灾难降临吧，还不赶快用if去处理了！！！

小明：哎呀，哥，还真是你说的那样，，，我居然以为它们没啥差别，，那你看我下面这个该怎么去判断比较合适呢？

int a =  b/c/m*n;   //b c m n都为正数

//小明想在这里加个对a的判断，毕竟e = f/a里的a是除数不能为0嘛，一旦为0,e不知道会出现什么莫名其妙的鬼东西

e = f/a;   

我：assert(0 != a); //如果我们认为a为0是绝不允许的，因为一旦发生表明int a =  b/c/m*n;可能这里的计算出BUG了，但这些变量都是正数，本身看起来好像没问题，但就是担心a为0，那我们就assert来试探试探;

      if(0 == a) return; //而如果用if，就是你默认a可能为0，这里如果用return返回来处理，如果程序中断了还好，但如果不影响程序执行，就表明你计算a的值那里埋下了BUG，你却发现不了，以后要是用到同样的计算就出麻烦了。

小明：哥，大哥，我懂了，也就是assert在调试期间用来检查我的猜测或者决不允许出现的情况有没有发生吧，一旦发生就表明我的程序很可能有BUG，而if就是我理所应当处理的各种情况，且这些情况如果发生并不代表程序发生BUG。所以，它们两不能乱用。

小明：那。。。哥，那我上面对a的判断明显是该在debug模式下用assert来检查下计算有没有bug吧，如果用if，我就默认a可以为0了，，，我也就很可能发现不了计算中可能出现的BUG了。

我：终于开窍了，师傅我领你进门，修行在你个人，师傅我也不一定说得全对，如果发现师傅有什么不对的，你也可以指出来的，哈哈！！！

小明：哥，你真逗。