数组越界问题

系统其它 专栏收录该内容
29 篇文章 0 订阅

如下代码,对于两个局部数组遍历s1和s2,其中s1的大小为4,而字符串“test”在给其赋值时,将导致最后的结束符赋值到紧随其后的s2数组的开始。而后,在数组s2赋值时,第二个字符串“test”的第一个字符t由将覆盖之前的结束符。

#include <stdio.h>
#include <string.h>

int main()
{
    char s1[4] = "test";
    char s2[] = "test";

    if (strcmp(s1, s2) == 0)
        printf("equal - s1=(%s) s2=(%s)\n", s1, s2);
    else
        printf("not equal - s1=(%s) s2=(%s)\n", s1, s2);

    return 0;
}

 

运行结果如下。由于数据s1没有了结束符,其一直打印到s2数组的结束符。

$ gcc strequal.c -o strequal
$ ./strequal                
not equal - s1=(testtest) s2=(test)


代码修改如下,这次将s1数组的赋值放到s2数组初始化之后。执行结果如下。

int main()
{
    char s1[4];
    char s2[] = "test";

    strcpy(s1, "test");
	
    if (strcmp(s1, s2) == 0)
        printf("equal - s1=(%s) s2=(%s)\n", s1, s2);
    else
        printf("not equal - s1=(%s) s2=(%s)\n", s1, s2);

    return 0;
}

$ gcc strequal.c -o strequal
$ ./strequal                
not equal - s1=(test) s2=()

由于s1在拷贝赋值之后,“test”的字符串结束符越界,拷贝到了s2数组的第一个元素位置,导致s2变为空字符串。


修正以上的错误,需要将s1数组设置的足够大,另外在其赋值时,例如strcpy最好使用strncpy指定长度保证不越界。另外,如果其后的数组s2可定义为指针类型。如下:

    char s1[4];
    char *s2 = "test";

 

这样也会打破两个变量地址相邻的情况。因为函数中的变量位于栈内,而指针在堆上,两者的地址不会连续,但这非最终解决方案。

 

 

展开阅读全文
  • 3
    点赞
  • 0
    评论
  • 1
    收藏
  • 一键三连
    一键三连
  • 扫一扫,分享海报

相关推荐
©️2020 CSDN 皮肤主题: 编程工作室 设计师:CSDN官方博客 返回首页
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值