看 《K&R C》Pointers and Arrays 模拟strcpy函数突然想到的

xiaowh00

  看第五章指针与数组的时候关于模拟库函数strcpy(char *s,char *t)的时候，我突然想到一个问题（菜鸟，大神别笑），那就是如果t存了一个很长长的字符串，当我们用*s++=*t++的时候，如果当初s分配的地址距离t的地址的区间小于t的长度，会不会发生s覆盖t的情况？

实际修改了下书上的例子，发现我的担心好像是多余的
代码
#include <stdio.h>

void strcpy(char *,char *);

main()
{
        char *s;
        char *t="I love you";
        strcpy(s,t);
}

void strcpy(char *s,char *t)
{
        int i;
        i=0;
       
        while(*s++=*t++!='\0')
        {
                printf("%p\n",s);
                printf("%p\n",t);
        }
}

结果
0x7ffff1b4a561
0x400629
0x7ffff1b4a562
0x40062a
0x7ffff1b4a563
0x40062b
0x7ffff1b4a564
0x40062c
0x7ffff1b4a565
0x40062d
0x7ffff1b4a566
0x40062e
0x7ffff1b4a567
0x40062f
0x7ffff1b4a568
0x400630
0x7ffff1b4a569
0x400631
0x7ffff1b4a56a
0x400632

貌似这两个变量的地址差的很远。。。。

接着我又改了一下上面的程序
代码
#include <stdio.h>

main()
{
        char *s;
        char *t;
        printf("%p\n",s);
        printf("%p\n",t);
}

结果
0x7fff59599fb0
(nil)

t的地址是空，得到上面例子的结果的时候，我在猜是不是编译器会给初始化和没有初始化的变量分配相隔很远的地址（可能是代码区，数据区之类的），以免我说的上面的情况出现，但是第二个例子的结果我又晕了？

龙骨五钱

编译器会保证不会出现这样的情况的，因为你分配内存时需要指定大小，是吧？
第一个例子，s都没初始化你就用？？

xiaowh00

但是他不一定知道我定义一个char *t就是为了复制s呀？回复 2# 龙骨五钱


   

龙骨五钱

你的第二个例子，不就是两个变量没有初始化吗？没有初始化的话变量的值不是不确定的吗？这有什么不好理解的？？

龙骨五钱

xiaowh00 发表于 2012-07-05 14:40
但是他不一定知道我定义一个char *t就是为了复制s呀？回复 2# 龙骨五钱

你的s都没初始化。

folklore

do you menas that:

1. 
   
2. #include <stdio.h>
   
3. #include<string.h>
   
4. int main(){
   
5.         long endstring=0;
   
6.         char sdes[256];        // Hight address@x86
   
7.         char ssrc[2]={0};        // Low address@x86
   
8.         for(int iChar=0;iChar<(sizeof(sdes)/sizeof(sdes[0]));iChar++) sdes[iChar]='.';
   
9.         printf("Before overwriting: %s\n",sdes);
   
10.         strcpy(ssrc,"It is a test");
    
11.         printf("After overwrote: %s\n",sdes);
    
12.         return 0;
    
13. }
    

复制代码

龙骨五钱

folklore 发表于 2012-07-05 14:49
do you menas that:

他可能只是不明白字符串的原理。

mirnshi

内存覆盖吗？

xiaowh00

我的意思是用来存放结果的指针分配的地址增加后，有没有可能会覆盖s分配的地址，没看懂你的代码要做什么。。。回复 6# folklore


   

xiaowh00

是，就是当s的指针不断增加的过程中，有没有可能覆盖t中原来的数据，还是有什么机制保证不可能发生这种情况，还是我还没搞懂指针的内涵？s回复 8# mirnshi