[Thinking in C] gcc对数组越界的处理

1. 刚做了道编程题：

给出一个不多于5位的整数，
要求
1、求出它是几位数
2.分别输出每一位数字
3、按逆序输出各位数字，例如原数为321,应输出123

样例输入
12345

样例输出
5
1 2 3 4 5
54321

2.我提交的代码如下：

#include <stdio.h>
#include <string.h>
int main()
{
	int len;             //num输入，len存储数组长度
	int num;
	int i;
	char s[5];               //最大存储5个字符
	scanf("%d",&num);
	sprintf(s,"%d",num);  //转换为数字字符串 
	len = strlen(s);

	printf("%d\n",len);
	for ( i=0;i < len;i++){
		printf("%c ",s[i]);
	}
	printf("\n");
	for ( i= len-1;i>=0;i--){
		printf("%c",s[i]);
	}
	printf("\n");
    return 0;
}

(根本不报错.jpg)

我用gcc编译一切都是正常的，但是上传到编程网站上会提示我数组越界，运行错误。。

3. 根本原因

3.1 字符数组的结尾有个\0，所以 存储的值应多一位，代码应该这样写：

#include <stdio.h>
#include <string.h>
int main()
{
	int len;             //num输入，len存储数组长度
	int num;
	int i;
	char s[6];               //最大存储5个有效字符,注意字符数组以\0结尾
	scanf("%d",&num);
	sprintf(s,"%d",num);  //转换为数字字符串 
	len = strlen(s); // strlen函数计算的是有效字符串的长度，即不包含结尾的\0

	printf("%d\n",len);
	for ( i=0;i < len;i++){
		printf("%c ",s[i]);
	}
	printf("\n");
	for ( i= len-1;i>=0;i--){
		printf("%c",s[i]);
	}
	printf("\n");
    return 0;
}

3.2 gcc不报错的原因是因为：

gcc-4.3.2以后对数组越界进行了优化，譬如：定义了数组s[6]，当越界操作出现后，访问会被限制在数组边界上，即访问s[6]会最终限制为s[5]，不会真正发生越界。

gcc -v 查下当前的版本：

所以说写代码一定要规范，虽然高版本的gcc不会报错，但是万一移植到低版本的gcc环境就会出大问题的。

参考链接： https://blog.51cto.com/lion3875/530264