废话不多说,直接上图
初看只当是段子,再看已是段中人
事情经过:
我在写动态顺序表的尾插函数时,写出了如下代码,可以跑,但是这段代码有一个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突然导致程序崩溃,那么我们是很难找到问题原因的。