C语言：陷阱与缺陷详解

一、前言

二、字符指针

结论一：复制指针并不会复制指针所指向的内容。两个指针所指向位置相同，实际为同一个指针。

结论而：开辟两个数组，即使两个数组内容相同，地址也绝不相同。

三、边界计算与不对称边界

1.经典错误①

int main()
{
	int i = 0; int arr[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 0 };
	for (i = 0; i < 13; i++)
	{
		arr[i] = 0;
		printf("haha");
	}
	return 0;
}

计算的结果是程序陷入死循环

分析：

1.栈区默认先使用高地址，再使用低地址 

2.数组内元素随下标增长，地址由低到高变化

 调试后即可发现，i与arr[9]的地址相差3字节，所以i即为实际不存在的arr[12].

[补充知识：ansi c标准允许这种用法——数组中溢界元素的地址位于数组所占内存之后，这个地址可以进行赋值和比较，但是不能解引用（若是数组之前存在溢界则语法不允许）]

2.经典错误②

十米长的围栏每一米就需要一根栏杆支撑，则共需要几根栏杆？                               11

3、小结

栏杆问题你若不假思索可能会回答为10。栏杆问题的根源正是加减一带来的困惑

对此我们坚持以下原则

原则一：考虑最简单的特例（如考虑20到10间有几个数，20-10还要+1吗。不妨考虑10到10有几个数）

原则二：仔细计算边界

而在实际编程中，一个编程技巧则可以"一言以蔽之"，即不对称边界。

x>=0 && x<16  要优于 x>=0 && x<=15

不对称边界上界-下界就是之间所包含的数。

四、求值顺序

总结：c语言中只有四个运算符（&& ；|| ；?: ；，）明确规定了求值顺序

&&和||先对左边求值，只在需要时对右边求值：

if(y!=0 && x/y>a)

如此避免除0错误。

特别注意，赋值操作符不保证任何求值顺序，即使考虑了优先级和结合性，也会有意想不到的错误

int i=0;
while(i<n)
{
    y[i]=x[i++]
}

对于以上的代码，就不能确定y是否在i自增之前求值。

问题代码1：c+--c（我们可以根据"大嘴法"判断为c+（--c）)，但c自增的先后不得而知）

问题代码2：int a=(++i)+(++i)+(++i)  (同理)

问题代码3：answer=func()-func()*func()    (我们不知道哪个func被先调用)

五、运算符&& ||和！

这三种运算符返回值都为0或1。在结果为真是返回1，结果为假是返回0。

考虑一下代码，其功能是查询表中一个特定元素

int i = 0;
while (i < tabsize && tab[i] != x)
{
	i++;
}

现分析将&&替换成&仍然能"正常工作"的原因。

原因一：只要xy的值都限制在0~1,x&&y和x&y的结果始终相同。

原因二：数组结尾之后的下一个元素，只要不改变他的值而仅仅是读取，没有什么大的危害

原因三：不同与&&的求值顺序，&要求两边都要被求值

如果tabsize大小等于tab中元素的个数，即使i=tabsize后还会继续查找下去，陷入死循环

总结

本篇文章就到这里了，希望能够给你带来帮助，也希望您能够多多关注的更多内容！