删除有序数组中的重复项并输出数组长度

这是LeetCode上的一道练习题，我一开始是用指针写的

int removeDuplicates(int* nums,int numsSize)
{
	int *p=nums,*q=nums+1;
	while(q-nums<numsSize){
		if(*p==*q);
		else
			*++p=*q;
		q++;
	}
	return p-nums+1;
}

我在VS上面测试的时候是完全正确的，但是在LeetCode网站上提交的时候报错：ERROR:heap-buffer-overflow，意思就是有溢出的情况出现（报错的截图如下）

后来通过不断地调试以及参考正确的答案，发现只要添加一句话就能成功编译输出正确的结果

if(numsSize==0)
	return 0;

就是在函数中判断一下输入数组的长度是否为零，即数组为空。我一开始认为有序数组不会存在没有数据的情况，没想到不进行判断也会出现溢出的情况。

正确的函数

int removeDuplicates(int* nums,int numsSize)
{
	int *p=nums,*q=nums+1;
	if(numsSize==0)
		return 0;
	while(q-nums<numsSize){
		if(*p==*q);
		else
			*++p=*q;
		q++;
	}
	return p-nums+1;
}

有的网友解答也说到，如果不进行判断的话，当数组为空的情况下最后的返回值p-nums+1为1。如果有人有其他的见解，为什么会导致error，欢迎大家一起讨论。