在realloc之后使用原始指针？

Question

我正在阅读Richard Reese的新书(2013年5月)O'Reilly的书"理解和使用C指针",我对其中的一些代码有疑问,第87页.

if (++length > maximumLength) {
    char *newBuffer = realloc (buffer, maximumLength += sizeIncrement);

    if (newBuffer == NULL) {
        free (buffer);
        return NULL;
    }

    currentPosition = newBuffer + (currentPosition - buffer);
    buffer = newBuffer;
}

我希望变量的名称是不言自明的; 如果需要上下文,我将编辑以提供整个代码块,而不仅仅是这个摘录.

我的问题是关于这条线currentPosition = newBuffer + (currentPosition - buffer);.我的理解realloc()是,当新分配成功时,最初分配的内存被释放.如果这是正确的,那么有问题的线是使用悬空指针,不是吗？都buffer和currentPosition上表达的RHS是指向存储器已经被释放.

我的直觉是重写这个以避免使用悬挂指针length,这毕竟已经存在了.我想用以下代码替换最后两行:

buffer = newBuffer;
currentPosition = buffer + length;

但是,大概写入的代码是有效的,因为两个指针仍然保存地址(尽管是垃圾),并且这两个地址之间的偏移仍然可以作为重新分配的方式来计算currentPosition.那么我是否只是对此感到不安？

概括问题:一旦指针悬空,为了任何目的使用指针中包含的地址是否安全,例如计算偏移量？谢谢.

Answer 1

一旦指针悬空,是否可以安全地使用指针中包含的地址用于任何目的,例如计算偏移量？

不,这不安全.之后free指针值是无效地址和无效地址不能用于指针运算,而不调用未定义的行为.