这是怎么回事?

最新推荐文章于 2025-11-21 02:57:39 发布

原创最新推荐文章于 2025-11-21 02:57:39 发布 · 4.8k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#exception #测试 #access #library #语言 #c

c/c++ 专栏收录该内容

2 篇文章

订阅专栏

博主实现C语言Standard C Library的strcat函数并测试，编译通过但运行出错，错误为STATUS_ACCESS_VIOLATION。经修改测试代码、查阅教程和多次测试后发现，问题在于将字符串赋值给指针时，指针指向的是常量，内容不能被修改。

看了一下Standard C Library的一些源码，照着实现了一个
    char* strcat(char* s1,const char* s2)
函数，测试一下
main()
{
    char* s1="abce";
    char* s2="efgh";
    char* s3=strcat(s1,s2);
    printf("%s",s3);
}
编译时通过，运行时却出现错误
    handle_exceptions: Exception: STATUS_ACCESS_VIOLATION
就是不知道怎么回事，把测试代码改为:
main()
{
    char s1[]="abce";
    char s2[]="efgh";
    char* s3=strcat(s1,s2);
    printf("%s",s3);
}
测试通过。郁闷极了，不知道*s1="abcd";出了什么问题。用
    printf("%s",s1);
将s1打印出来，却又是OK的。

翻开C语言教程:找到以下解释:
当一个指针变量在未取得确定地址前使用是危险的，容易引起错误。但是对指针变量直接赋值是可以的。因为C系统对指针变量赋值时要给以确定的地址，因此
    char *ps="hello";
或
    char *ps;
    ps="hello";
都是合法的。

这点颇令人费解，既然*s1="abcd"; s1的地址确定了，却为什么不能对该地址进行操作?
再测试
    for(;*s1!='/0';s1++)
        printf("%c",*s1);
仍然通过。好郁闷，突然想起，"abcd"是一个常量，*s1的内容是常量，不能被修改
    for(;*s1!='/0';s1++)
        *s1='a';
这时候运行出现了上述错误
    handle_exceptions: Exception: STATUS_ACCESS_VIOLATION

搞了半天，终于明白了。依稀记得以前ZL也碰到过这样的问题，唉。