strcpy重叠拷贝问题

maozone

麻烦请教一下,这段代码为什么会出现下面运行结果:

1. #include <stdio.h>
   
2. int main()
   
3. {
   
4.         int iLen;
   
5.         char str[1024];
   
6.         char sub[128];
   
7.         char *p1;
   
8.         char *p2;
   
9.        
   
10.         strcpy(str, "1,2,3,4,5,6,7,9,10,11,12,13,14,15,16,17,18,19,20");
    
11.         strcpy(sub, "12");
    
12.         printf("sub=%s\nstr=%s\n", sub, str);
    
13.         p1 = strstr(str, sub);
    
14.         iLen = strlen(sub) + 1;
    
15.         p2 = p1 + iLen;
    
16.         strcpy(p1, p2);
    
17.         printf("str=%s\n", str);
    
18. }

复制代码

sub=12
str=1,2,3,4,5,6,7,9,10,11,12,13,14,15,16,17,18,19,20
str=1,2,3,4,5,6,7,9,10,11,13,14,15,17,17,18,19,20
拷贝后结果不对，16没有了，而17重复。
strcpy这里改成memmove，或者直接用指针逐个赋值就没问题。
但是一般来说p2>p1时用strcpy应该不会有问题阿！

maozone

操作系统:redhat6.3 64bit
GCC信息:
Target: x86_64-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=web://bugzilla.redhat.com/bugzilla --enable-bootstrap --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-gnu-unique-object --enable-languages=c,c++,objc,obj-c++,java,fortran,ada --enable-java-awt=gtk --disable-dssi --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-1.5.0.0/jre --enable-libgcj-multifile --enable-java-maintainer-mode --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --disable-libjava-multilib --with-ppl --with-cloog --with-tune=generic --with-arch_32=i686 --build=x86_64-redhat-linux
Thread model: posix
gcc version 4.4.6 20120305 (Red Hat 4.4.6-4) (GCC)

cokeboL

重叠               

cokeboL

wait，两个17？

maozone

是的,拷贝后结果不对.
strcpy这里改成memmove，或者直接用指针逐个赋值就没问题。
但是一般来说p2>p1时用strcpy应该不会有问题的阿

windoze

strcpy的两个参数如果重叠，是一个UB。

maozone

如果dest大于src重叠出现错误很好理解，但是为什么src大于dest也会有问题？这个是让人疑惑的地方，能否帮忙解答一下。
按照strcpy的实现

1. *dest++ = *src++

复制代码

应该不会出现问题啊，实际测试也确实没有问题。

wangyb

你不觉的你这样用指针非常糟糕么？
char *总要指向一个已经分配好地址空间的char []变量，如果是c++ ，也可以new一个。
你光定义一个char *p;这个一个游荡的变量，没有分配内存，是非常危险的

think1008

本来就是这个结果，内存重叠用memmove吧。

safedead

maozone 发表于 2015-07-12 08:20
如果dest大于src重叠出现错误很好理解，但是为什么src大于dest也会有问题？这个是让人疑惑的地方，能否帮忙 ...

这个，怎么说呢，strcpy的实现并不是简单的

dest++ = src++;

memmove更加复杂
有兴趣的话建议你去看看glibc的源代码
为每一个支持的cpu都有对应的版本

不要用C/C++的语言特性去理解C/C++库的实现