绝大多数C语言编程教材在介绍到数组时都会提到:数组下标是从 0 开始编号的,使用数组时一定不能超出定义的元素个数。这当然没什么好说的,初学者看到这句话,一般都会遵守。
奇怪的C语言数组
不过,总有人乐意折腾,小明发现在C语言编程里定义了数组后,使用数组即使超出了最大的元素个数,也能得到正确的结果,他的 C 语言代码是下面这样的:
#include int main() { int a[5] = {0}; int i; for(i=1; i<=5; i++) a[i] = i*2; for(i=1; i<=5; i++) printf("a[%d] = %dn", i, a[i]); return 0;}
以上 C 语言代码编译后,运行结果如下:
# ./a.out a[1] = 2a[2] = 4a[3] = 6a[4] = 8a[5] = 10
这样的结果让小明困惑不已,到底是为什么呢?现在我们将C语言比作“一位仁慈的皇帝”,它赏赐给了每一个王爷(进程)一块领地(内存)。王爷如何管理领地,皇帝就不管了,但是每一个王爷都不能侵犯别人的领地(进程不能直接使用别的进程内存),否则就杀死侵犯者(进程引用非法指针会引发“段错误”,进程就死(退出运行)了)。
王爷有感于皇帝的仁慈,颁布了如下法令:在本王领地里,臣民们可以自由使用土地。这条法令其实已经可以解答小明的困惑了,臣民 a 去王府登记,领了 5 亩地,a 自然可以使用 a[0] 到 a[4] 这 5 亩地。
a 真的可以随意使用土地吗?
但是现在王国里只有 a 一个人,所以其它土地暂时都是无主的,按照法令,“臣民们可以自由使用土地”,所以 a 使用 a[5] 这块无主地,王爷也是不管的。那 a 就嚣张了,它还使用了 a[6] 到 a[10] 这几块地,请看如下C语言代码:
#include int main() { int a[5] = {0}; int b[10] = {0}; int i; for(i=1; i<=10; i++) a[i] = i*2; for(i=1; i<=10; i++) printf("a[%d] = %dn", i, a[i]); return 0; }
编译执行c语言要下载什么软件,得到如下结果:
# ./a.out a[1] = 2a[2] = 4a[3] = 6a[4] = 8a[5] = 10a[6] = 12a[7] = 14a[8] = 16a[9] = 18a[10] = 20
似乎一切都很正常。细心的朋友应该能够看到,王国里又来了新居民 b,它去王府登记,打算申请 10 亩地种玉米。王府查了登记簿,发现之前只有 a 申请了 5 亩地,所以就把 a 旁边的 10 亩地分配给了 b。拿到地的 b 高高兴兴的把地犁了一遍(int b[10] = {0};),打算种玉米。现在,我们将C语言代码稍作修改,把 b 的土地情况也打印出来:
// 将printf("a[%d] = %dn", i, a[i]);// 修改为printf("a[%d] = %d, b[%d] = %dn", i, a[i], i-1, b[i-1]);
再编译C语言程序,运行结果如下:
b 辛辛苦苦犁好的地,就这么被 a 种上它自己的东西了。其实出现这种情况,从某种程度上来说也是必然的。想想看,a 使用了 a[5] 到 a[10] 这些无主地时,并没有去王府登记,所以王府根本不知道 a 使用了这些地。当居民 b 来申请土地时,非常有可能把这些土地分配给 b。这就导致了冲突。
总结一下
现在已经能够解答小明的困惑了:C语言是一门非常自由的语言,它给了程序员最大的自由,它相信每个C语言程序员都是高手,都知道自己在做什么c语言要下载什么软件,在C语言中,高手们使用 p[-1] 这种访问数组元素的方式也并不是没有。
现在来考虑 a 和 b 的冲突:如果 a 和 b 私下商量好,b 愿意把自己的一部分土地让给 a 使用,那即使冲突也没有什么问题,王国内依然一派和气。
但是仍然不建议像 a 那样霸道的使用别人的土地,因为很难遇到像 b 这么好说话的居民。另外,假如皇帝要求王爷进贡 10 亩玉米,王爷查看土地登记簿,发现 b 已经申请了 10 亩土地种玉米,就放心了。结果,b 的一部分土地被 a 拿去种别的东西了,导致王爷无法完成皇帝的任务被杀头,整个王国就都完蛋了。
欢迎在评论区一起讨论,质疑。文章都是手打原创,每天最浅显的介绍C语言、linux等嵌入式开发,喜欢我的文章就关注一波吧,可以看到最新更新和之前的文章哦。
本文到此结束,希望对大家有所帮助!