'--p' 如何在 for(p=&(*L).elem[(*L).length-1];p>=q;--p) 中工作？

Question

我正在尝试调试以下代码：

Status ListInsert_Sq(SqLIst *L, int i, LElemType_Sq e)
{
    LElemType_Sq *newbase;
    LElemType_Sq *p, *q;

    if(i<1 || i>(*L).length+1)
        return ERROR;                   
    if((*L).length >= (*L).listsize)
    {
        newbase = (LElemType_Sq*)realloc(LElemType_Sq *)realloc((*L).elem, ((*L).listsiz+LISTINCREMENT)*sizeof(LElemType_Sq));
        if(!newbase)
            exit(OVERFLOW);

        (*L).elem = newbase;
        (*L).listsize += LISTINCREMENT; 
     } 

     q = &(*L).elem[i-1];
     for(p=&(*L).elem[(*L).length-1];p>=q;--p)
        *(p+1) = *p;

    *q = e;
    (*L).length++;

    return OK;
} 

这里使用--p 正确吗？ 具体来说，我想知道列表的最后一个元素是否会被前一个元素移动或覆盖？

谢谢！

Answer 1

重写后，猜测的代码意图如下：

---

#include <stdlib.h>
#include <string.h>
#include "listmeuk.h"

Status ListInsert_Sq(SqLIst *lp, int index, LElemType_Sq elem)
{
    if(index<1 || index>lp->length+1) return ERROR; // this assumes 1-based indexing
    index--; // transform to zero-based indexing

    if(lp->length >= lp->listsize)
    {
        LElemType_Sq *newbase;
        newbase = realloc(lp->elem, (lp->listsiz+LISTINCREMENT) *sizeof *newbase);
        if(!newbase) exit(OVERFLOW);

        lp->elem = newbase;
        lp->listsize += LISTINCREMENT; 
     } 

    if(index < lp->length) memmove(&(lp->elem[index+1]), &(lp->elem[index]), (lp->length-index) * sizeof lp->elem[0] );

    lp->elem[index] = elem;
    lp->length++;

    return OK; 

} 

Answer 2

这段代码（我在其中添加了缺少的分号）：

for(p=&(*L).elem[(*L).length-1];p>=q;--p)
    *(p+1) = *p;

将p 设置为指向数组elem 中最后分配的元素。然后*(p+1) = *p; 将这个最后设置的元素复制到上面新分配的空间（使用realloc 分配）。 （“分配的元素”是指已分配值的元素。）

然后--p 递减指针以指向前一个元素。 （对指针使用算术以数组元素为单位工作。）然后*(p+1) = *p; 将倒数第二个分配的元素复制到最后一个分配的元素的前一个空间。然后循环以这种方式继续，有效地将每个元素移动到数组的另一空间。

最终，当索引为i-1 的元素被移动时，循环似乎打算停止，因为q 被设置为具有q = &(*L).elem[i-1]; 的元素的地址。

但是，它有缺陷。如果i 为1，则q 指向数组的第一个元素，p 最终将到达该元素，--p 将尝试递减p 以指向数组开头之前。 C 标准未定义此尝试的行为。 （这假定L 指向数组的开头。有可能L 指向超出其开头的数组，在这种情况下不会出现此问题。）