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

int main ()
{
    char str1[9] = "Are you ";
    char str2[4] = "ok?";

    strcat (str1, str2);

    printf("%s\n",str1);
    printf("%c",str1[10]);

    return 0;
}

谭浩强书上说，strcat（str1， str2）的目的是将str2的字符串连接到str1后面，最后输出str1，要求str1足够大，以便能后放下str2的字符串，在上面的程序中，str1的空间并不能放下str2，但是却能输出正确的结果。

推测，字符串的连接是将地址连接在一起。那么str1还有必要定义足够的空间吗？

还有，谭的书还值得看吗？

偶然的可行不等于正确！

可行的依据是什么呢？

你这里可行是恰好前后两个字符串定义在紧邻的位置，你在中间插入别的数据看看，或者把两个变量对调一下位置。自己多试就知道了，彩票不是那么容易中的。

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

int main ()
{
    char str2[4] = "ok?";
    char str3[5] = "haha";
    char str1[9] = "Are you ";

    strcat (str1, str2);

    printf("%s\n",str1);
    printf("%c",str1[10]);

    return 0;
}

对调，插其他数据后，结果还是正确！

你把所有字符串输出来看看，看破坏了什么？

你如果觉得没问题，就这样写程序好了，再刻意弄点可行的例子，好支持自己的看法。

输出str3，确实出问题了，str1空间不够，自动向上扩张，但str3的地址并没有变，导致str3和str1的部分重合，这样说不知对不对？

是的。C语言并不检查数组越界，往后面的地址读和写数据，是否出问题，取决于那些地址是作什么用的，一旦它破坏了程序或系统的数据，就会出现不可预知的结果。像现在这样祗是破坏后面一些串，算是最轻微的，那种经常弹出“程序停止运行”错误框的现象，往往就是这样造成的。

刚看了一下你的发帖历史，这个问题跟第一次问的是相同性质呀。