各位讨论一下以下程序错在什么地方？(最好能给你的理由的出处)
    char *s1;

    if((s1=(char *)malloc(40)) == NULL)
    {
        printf("out of memory!\n");
        exit(1);
    }
    s1 = "This is string";
    printf("%s\n",s1);
    free(s1);

s1 = "This is string";
这句话是把原本指向malloc分配的40字节内存的指针s1修改为指向另外一处保存着如上字符串常量的内存
于是当初malloc分配的内存没有指针指向它了，于是找不到了
而s1由于现在指向的不是动态分配的内存，所以free失败

应该没问题的，下面的程序可以运行
#include<stdio.h>
int main()
{  char *s1;
   s1=(char *)malloc(40);

    if(s1 == NULL)
    {
        printf("out of memory!\n");
        exit(1);
    }
    s1 = "This is string";
    printf("%s\n",s1);
   
    return 0;
}

不是运行结果正确就可以说你的程序正确。
你这个程序最后加一个free(s1)，照样死。
根本什么都没有改。

同意2楼的说法。同时我又想到了另外一个问题："This is string"这个常量字符串存在内存中的什么位置？（free是针对“堆”的操作，显然"This is string"不是存在“堆”中的）。

尽管"This is string"这个常量字符串确实不在你所说的堆中，但是并不是因为这个原因才不能free的。

能不能free不在于被free的东西在不在堆中，而在于被free的东东是不是某个*alloc的产物。
例如
char *p=malloc(40);
p++;
这个p现在肯定指在堆里面，但是一样不能free

PS:那个字符串具体在哪里这个无关紧要吧

学习中！！

请教三楼，exit(1)有的里面是0，有的是1，都是什么含义啊，能仔细解释一下吗，谢谢。

感觉学到很多东西！！

按照一般操作系统的约定，exit用来退出程序并向操作系统汇报结果，0表示正常，其它值表示不正常。