2

我明白，在编程世界中，什么都没有发生，但我真的被困在这里......在我的 while 循环结束时，条件内的指针突然从 NULL 变为“某事”

我有以下功能：

tListInstr *copyList (tListInstr *sourceList)   {

    tListInstr *newList;
    listInit(&newList);
    listFirst(sourceList);

    while(sourceList->active != NULL){
        InstructionGenerate(newList, 
                        sourceList->active->Instruction.instType,
                        sourceList->active->Instruction.addr1,
                        sourceList->active->Instruction.addr2,
                        sourceList->active->Instruction.addr3);

        listNext(sourceList);
        if(sourceList->active == NULL)
            printf("wtf????\n");
    }

    return newList;
}

解释代码，它是解释器的一部分，该函数复制源语言中被调用函数的3个地址代码指令列表并返回副本，sourceList要复制的列表（它永远不会为NULL）newList显然是新列表。listInit分配内存并初始化新列表，listFirst将活动设置sourceList为它的第一项。listNext将活动转移到下一个项目，就在当前活动的后面。InstructionGenerate将新指令附加到newList.

好吧，我的问题是，在循环结束时sourceList->active 显然是 NULL，因为我wtf????在终端上得到了无限的，但是在它被打印并while 测试了 get 的条件之后，它具有非 NULL 值（我检查过）并且 while 循环无限地。

有趣的是，当我删除InstructionGenerate 呼叫时，它运行正常。但是InstructionGenerate 不会/不应该sourceList 以任何方式影响指针，因为它正在使用newList，如果它以某种奇怪的方式我不明白做某事sourceList，我会在它被调用后更改活动并在它被调用之前测试条件.

我认为这不会有任何帮助，但这里是InstructionGenerate 它调用的代码和函数：

void InstructionGenerate(tListInstr *l, int varType,void *addr1, void *addr2,void *addr3){
    tInstr I;
    I.addr1 = addr1;
    I.addr2 = addr2;
    I.addr3 = addr3;
    I.instType = varType;
    listInstInsert(l,I);
}

void listInstInsert(tListInstr *L,tInstr I)
{
    tListItem ptr = malloc(sizeof(struct listItem));
    if(ptr == NULL)
        return;
    else
    {
        ptr->Instruction = I;
        if (L->first == NULL){
            ptr->nextItem = NULL;
            L->first = ptr;
            L->end = ptr;
        }
        else{
            ptr->nextItem = NULL;
            L->end->nextItem = ptr;
            L->end = ptr;
        }
    }
}

最后struct是

typedef struct tInstr
{
    int instType;
    void *addr1;
    void *addr2;
    void *addr3;
} tInstr;

typedef struct listItem
{
    tInstr Instruction;
    struct listItem *nextItem;
} *tListItem;

typedef struct tListInstr
{
    struct listItem *first;
    struct listItem *end;
    struct listItem *active;
} tListInstr;

编译：
gcc 4.4.5 版（Debian 4.4.5-8）
gcc 4.5.4 版（GCC）

4

1 回答 1

1

您很可能在某处的指针操作中有错误。我没有看到任何免费调用，因此您很可能没有悬空指针问题。您很可能使用未初始化的指针或以某种方式滥用指针。也许它在一帧中指向堆栈上的有效区域，而不是在另一帧中。流水线是导致您雄辩地陈述“无限wtf”的原因。当执行if中的比较指令时，值为NULL。当在循环前置条件中再次比较它时，一些流水线更改已生效，将其设置为非 NULL 值。

于 2013-03-09T06:33:46.883 回答