c - 由于 'sudden' 指针更改而无限循环

Question

我明白，在编程世界里，没有什么事情是突然发生的，但我真的被困在这里了……在我的 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 的条件得到测试之后，它具有非 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)

Answer 1

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