对K&；R malloc的实现

K&R第8.7节中函数malloc（）的代码如下所示

void *malloc(unsigned nbytes) {
    Header *p, *prevp;
    Header *moreroce(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 */
    }
}

我主要被“分配尾端”部分弄糊涂了

假设p->s.size=5，nunits=2。根据代码，我们首先从p->s.size中减去2，将p前进3，记录该地址的分配大小并返回（void*）（p+1）

设p'表示自增量后的p，*表示自由空间。上述操作后的内存应如下所示：

p**p'**

实际上我们已经分配了2个单元的内存，但是p的剩余可用空间应该是2而不是3，因为一个单元被分配的尾部的头信息占用

所以我认为

p->s.size -= nunits;

应该由

p->s.size -= nunits + 1;

---

我错过什么了吗？

答案就在这一行

nunits = (nbytes+sizeof(Header)-1)/sizeof(header) + 1;

---

该行获取请求的字节数

nbytes

，将

sizeof（Header）-1进行四舍五入，除以
sizeof（Header）
以获得容纳
nbytes
所需的单位数。最后，它添加了1以为标题留出空间。因此，之后的所有代码都假定您为
n字节
（如果需要，加上填充）和标题保留了空间。
谢谢您的澄清！我把这两个变量弄混了。但是如果是这样的话，p是否应该自增p->s.size+1以到达标题的正确位置？这由返回
p+1
的
return
语句负责。基本上，代码基于块的概念，包括头、数据和填充。它在开始时调整请求大小，在结束时调整指针。中间的所有东西都使用块指针。仍然假设p->s.size=5。我们的内存地址索引范围为0到5。p最初为0，它的可用内存为1到5。如果nbytes=2，我认为p应该前进到4并返回5。但似乎p前进到3，并返回4。如果
p->s.size=5
，则内存地址为0,1,2,3,4。所以头是3，内存是4。