废话不多说,直接上图
初看只当是段子,再看已是段中人
事情经过:
我在写动态顺序表的尾插函数时,写出了如下代码,可以跑,但是这段代码有一个bug暂时先不提
//动态顺序表的尾插 void SLPushBack(SL* psl, SLDataType x) { if (psl->size == psl->capacity) { SLDataType* p = (SLDataType*)realloc(psl->a, psl->capacity == 0 ? 4 : 2 * psl->capacity); //int newcapacity = psl->capacity == 0 ? 4 : psl->capacity * 2; //SLDataType* p = (SLDataType*)realloc(psl->a, newcapacity * sizeof(SLDataType)); if (p == NULL) { perror("realloc fail"); exit(-1); } else { psl->a = p; //psl->capacity = newcapacity; } } psl->a[psl->size++] = x; }
后来,为了增加代码的可读性,又改为了以下代码,结果发现居然不能跑?!
//动态顺序表的尾插 void SLPushBack(SL* psl, SLDataType x) { if (psl->size == psl->capacity) { //SLDataType* p = (SLDataType*)realloc(psl->a, psl->capacity == 0 ? 4 : 2 * psl->capacity); int newcapacity = psl->capacity == 0 ? 4 : psl->capacity * 2; SLDataType* p = (SLDataType*)realloc(psl->a, newcapacity); if (p == NULL) { perror("realloc fail"); exit(-1); } else { psl->a = p; psl->capacity = newcapacity; } } psl->a[psl->size++] = x; }
经过调试发现问题是出现在realloc扩容函数,扩容大小不对
SLDataType* p = (SLDataType*)realloc(psl->a, newcapacity)
改为:SLDataType* p = (SLDataType*)realloc(psl->a, newcapacity * sizeof(SLDataType))
OK,改完之后确实能跑了。随后我就想第一个代码为什么能跑?第一个代码的扩容大小也不对呀,为什么能跑呢?
其第三行正确的应该改为:
SLDataType* p = (SLDataType*)realloc(psl->a, psl->capacity == 0 ? 4 : 2 * psl->capacity * sizeof(SLDataType));
经过大量测试,反正第一个代码就是能跑,不知道什么原因。最后归结为是VS编译器的偶然性Bug,因为我又在DEV编译器上试了一下,第一个代码是跑不了的。
总结:写代码需要小心谨慎和大量测试,不然如果程序出现了Bug还能跑,我们是很难发现这个Bug的。如果开发项目时出现这种情况,程序的Bug就是一个潜在的隐患,如果某一天该Bug突然导致程序崩溃,那么我们是很难找到问题原因的。