一个C堆分配的问题

burning423

下面是一个简单的程序:
int main(int argc,char* argv[])
{
char *pRes = (char*)malloc(2);
pRes[0] = 'a';
pRes[1] = 'a';
pRes[2] = 'a';
free(pRes);
return 0;
}
程序不能正常终止,出错语句调试出来是在free(pRes)语句.
当我把pRes[2] = 'a';语句注释掉时,程序能正常终止.
我觉得跟堆的分配有关,我不清楚,在系统中,对于free(pRes)是如何来判断堆的边界的.感觉是加了pRes[2] = 'a';一句就会把原有的堆分配的边界破坏掉了.

newbie1984

这是不可预料的问题, 访问了超越边界的内存区域, 通常保护机制的话是允许的时候后面直接就退出的, 这个问题看编译器实现, 我觉得没有深入考究的必要性

scuwb

char *pRes = (char*)malloc(2);
分配了2个字节的空间,却使用到没有分配的空间~~ 估计不同的编译器,实现的情况不一样~

cuteorange

程序不能正常终止??

在32位机器上，pRes-8 ~ pRes-1存放malloc分配的空间大小，在这里为2

Roemer

再底层就是系统调用的过程了~~

egmkang

估计得看具体实现了

jakepain

高手请指点啊
我怎么感觉分配了2个单元，却使用了三个单元啊
是不是我太菜了？

nicozhou

越界访问会导致未定义错误，“程序不能正常终止”可能是未定义的一种吧？

burning423

我的意思是,在这个堆分配过程中,内核是如何来判断边界的?就是free函数是如何知道free多少字节的空间的?还有如下程序:
int main(int argc,char* argv[])
{
char *pRes = (char*)malloc(2);
char *pRes1 = (char*)malloc(2);
char *pRes2 = (char*)malloc(2);
pRes[0] = 'a';
pRes[1] = 'a';
pRes[2] = 'a';
free(pRes);
return 0;
}
那么pRes,pRes1,pRes2这三个变量所指向的堆地址是相连的还是之间存在空隙的?我在VC下测试结果是之间存在空隙的.而且还挺大的,我不知道编译器里是以什么样的规则来进行堆分配的.

nicozhou

原帖由 burning423 于 2008-10-29 10:47 发表
我的意思是,在这个堆分配过程中,内核是如何来判断边界的?就是free函数是如何知道free多少字节的空间的?还有如下程序:
int main(int argc,char* argv[])
{
char *pRes = (char*)malloc(2);
char *pRes1 = (c ...

free多少，从哪里开始，从哪里结束，是由malloc决定的。