C语言中的越界问题解析

最新推荐文章于 2023-04-01 14:05:06 发布

oodcloud

最新推荐文章于 2023-04-01 14:05:06 发布

阅读量5k

点赞数

分类专栏： C语言之路文章标签： c语言

本文链接：https://blog.csdn.net/SHRDLU/article/details/48339773

版权

本文详细分析了C语言中字符数组越界导致的溢出现象，结合示例解释了-1到-256的补码表示，以及在char类型变量中的存储情况。通过示例代码探讨了strlen函数计算字符串长度的原理，指出当遇到''时认为字符串结束。文章强调了理解char类型默认为有符号及其表示范围对于避免溢出的重要性。

摘要由CSDN通过智能技术生成

#include<stdio.h>
#include<string.h>
int main()
{
   char a[1000];
   int i;
   for(i=0; i<1000; i++)
   {
      a[i] = -1-i;
   }
   printf("%d",strlen(a));
   return 0;
   
	/*
答案是255。别惊讶，我们先分析分析。

for 循环内，当i 的值为0 时，a[0]的值为-1。关键就是-1 在内存里面如何存储。

我们知道在计算机系统中，数值一律用补码来表示（存储）。主要原因是使用补码，可以将符号位和其它位统一处理；同时，减法也可按加法来处理。另外，两个用补码表示的数相加时，如果最高位（符号位）有进位，则进位被舍弃。正数的补码与其原码一致；负数的补码：符号位为1，其余位为该数绝对值的原码按位取反，然后整个数加1。

按照负数补码的规则，可以知道-1 的补码为0xff，-2 的补码为0xfe……当i 的值为127时，a[127]的值为-128，而-128 是char 类型数据能表示的最小的负数。当i 继续增加，a[128]的值肯定不能是-129。因为这时候发生了溢出，-129 需要9 位才能存储下来，而char 类型数据只有8 位，所以最高位被丢弃。剩下的8 位是原来9 位补码的低8 位的值，即0x7f。

当i 继续增加到255 的时候，-256 的补码的低8 位为0。然后当i 增加到256 时，-257 的补码的低8 位全为1，即低八位的补码为0xff，如此又开始一轮新的循环……

按照上面的分析，a[0]到a