此代码来自K & R书 - 第8章第7节:示例 - 存储分配器。这段代码至少对我来说没有意义。 “Header”是一个结构体和一个“限制性最强的对齐类型”的联合,这是一种长类型。然后,Malloc将找到一个足够大的可用空间,其大小为标题大小的倍数。K&R malloc代码没有意义吗?
static Header base; /* empty list to get started */
static Header *freep = NULL; /* start of free list */
/* malloc: general-purpose storage allocator */
void *malloc(unsigned nbytes)
{
Header *p, *prevp;
Header *morecore(unsigned);
unsigned nunits;
nunits = (nbytes+sizeof(Header)-1)/sizeof(Header) + 1;
if ((prevp = freep) == NULL) { /* no free list yet */
base.s.ptr = freeptr = prevptr = &base;
base.s.size = 0;
}
for (p = prevp->s.ptr; ; prevp = p, p = p->s.ptr) {
if (p->s.size >= nunits) { /* big enough */
if (p->s.size == nunits) /* exactly */
prevp->s.ptr = p->s.ptr;
else { /* allocate tail end */
p->s.size -= nunits;
p += p->s.size;
p->s.size = nunits;
}
freep = prevp;
return (void *)(p+1);
}
if (p == freep) /* wrapped around free list */
if ((p = morecore(nunits)) == NULL)
return NULL; /* none left */
}
}
这段代码的奇数部分是语句nunits = (nbytes+sizeof(Header)-1)/sizeof(Header) + 1;
,然后在比较if (p->s.size >= nunits)
用于查找单位一个足够大的空间,在头部的大小方面。前者不应该只是nunits = (nbytes+sizeof(Header))/sizeof(Header)
?原始代码将评估为比它应该低的值。什么是+ -1s?为什么分配空间比想要的少。
保持运营商的优先考虑,并再次分析... –
@duffymo:而不是告诉我,你不能告诉我代码如何工作?顺便说一句,你读过那本书吗?注意到很多错别字?但没有人对此说过任何话。 – 1der
假设这是第一次调用'malloc',并且您已经请求了1个字节,即'malloc(1)',并且看到了哪些'nunits'返回了您的建议修正和书中的代码。 – dirkgently