#include<stdio.h>
#include<string.h>
int main(void)
{
    char s[]="123456789";
    char d[]="123";
    strcpy(d,s);
    printf("%s,\n%s",d,s);
    return 0;
}

输出结果为
123456789
56789

这个，strcpy 是不安全的函数，你这个输出结果跟 s 和 d 的初始内存地址有关系。在不同的编译情况下初始内存地址不同，那么你这个程序的输出就不会相同。
不相信的话，可以打印两个数组的地址。
可以试试加了优化选项的编译结果和未优化的。

最开始的mem

1234\0123456789\0

strcpy之后

12345689\06789\0

在little ending的OS上会是这样的behavior.

#include<stdio.h>
#include<string.h>
int main(void)
{
    char s[]="123456789";
    char d[]="123";
    printf("S: %X\nD: %X\n", s, d);
    strcpy(d,s);
    printf("%s,\n%s\n",d,s);
    return 0;
}

不加任何优化的输出(gcc 编译)：

数组 s 的 地址之比 d 大4个字节，原来的数组长度分别是 s 10 bytes, d 4bytes;
strcpy(d,s) 这个函数不会检查缓冲区越界的情况，直接把 s 的内容往 d 的地址开始写。
写之前 内存排布：

strcpy 之后

那么此时 s 开始的输出就是 5 一直到 \0 了
PS： 不知道为什么可以用程序来验证的， 打印地址什么的是基础技巧了。。。。

这是 gcc 开启了 O2 优化选项后编译的输出结果
这个时候内存的初始排布就变化了，不会重现那样的结果。。。。。。

果然！谢谢啦

其实楼上已经解释的很详细了  补充一下

函数的调用是用堆栈来完成的  包括主函数也是这样的  函数里面的临时变量都保存在堆栈里面

因为堆栈是一种后进先出的数据结构  所以两个字符串的存储结构就如楼上的第一个图所示
1  2  3 \0  1  2  3  4  5  6  7  8  9 \0
d           s
后面的楼上都已经解释了

你现在也这么低调了~~