Question

我很难在类项目的一些代码中找到分段错误（这部分是未分级的）。我正在为OS类实现一个队列，并且在add函数中遇到分段错误。

void AddQueue(QElem * head, QElem * item) {
    printf("WHERE\n");
    if(head == NULL){
        printf("THE\n");
        head = item;
        //item->next = item;
        //item->prev = item;
    }
    else{
        printf("$^&*\n");
        (head->prev)->next = item;
        printf("ARE\n");
        item->prev = (head->prev);
        printf("YOU\n");
        item->next = head;
        printf("FAILING\n");
        head->prev = item;
    }
    printf("!?!?!?\n");
}

我有一个测试功能，我从另一个班级打电话......

void TestAddQueue()
{
    printf("********************************************\n");
    printf("Begin testing the add test function\n");
    printf("********************************************\n");

    QElem * queue;
    InitQueue(queue);


    for(int i = 0; i < 10; i++)
    {
        printf("Adding element %d\n", i+1);
        QElem * newElem = NewItem();
        printf("Changing payload value\n");
        newElem->payload = i+100;
        printf("Adding to the queue\n");
        AddQueue(queue, newElem);
        printf("Item added, payload value = %d\n", queue->payload);
        printf("The previous payload = %d\n", queue->prev->payload);

    }
    for(int i = 0; i < 10; i++)
    {
        printf("Rotating list", i+1);
        RotateQ(queue);
        printf("Printing element %d\n", i+1);
        printQElem(queue);
    }
}

这是NewItem函数......

QElem * NewItem()
{
    // just return a new QElem struct pointer on the heap
    QElem * newItem = calloc(1,sizeof(QElem));
    newItem->next = newItem;
    newItem->prev = newItem;
    newItem->payload = -1;
    return newItem;
}

...这是运行程序的输出......

********************************************
Begin testing the add test function
********************************************
Adding element 1
Changing payload value
Adding to the queue
WHERE
THE
!?!?!?
Segmentation fault

现在传递给add函数的头指针应该是NULL，因为它发送到初始化函数，它只是将指针的值设置为NULL，所以我不认为这会导致我的问题。

我的猜测是以下一行导致问题...

printf("Item added, payload value = %d\n", queue->payload);

当我尝试获取有效负载值时，我尝试访问的结构不再存在，或者某种方式将队列指针移动到无效空间。任何正确方向的反馈或推动都会受到赞赏。

附注：这是在Unix服务器环境（bash）中编译的，目前我无法访问IDE来调试和查看变量。

Answer 1

在C语句中，按值传递，这意味着它们被复制。而更改副本当然不会改变原件。

所以在AddQueue函数中，变量head是一个副本，您可以根据需要进行更改，您最初传递给函数的变量不会完全改变。

为了能够更改您需要的参数通过引用传递，C不具备，但可以使用指针进行模拟。这当然意味着要通过引用传递指针，必须将指针传递给指针。

所以对于你的代码来说就像

void AddQueue(QElem ** head, QElem * item) {
    if(*head == NULL){
        *head = item;
    }
    ...
}

...

AddQueue(&queue, newElem);

上述更改的作用首先是使AddQueue获取指向QElem的指针，从而使其模拟传递引用的习语。要使用原始指针，请使用解引用运算符*，它为您提供指针指向的值（在本例中为原始指针）。然后要实际传递指针指针，你必须在指针变量上使用address-of运算符&。

Answer 2

head = item对AddQueue函数之外的内容没有任何影响。如果将空指针作为head传递给AddQueue，则AddQueue完成后该指针仍为空。

Answer 3

感谢@Joachim，我能够按预期运行队列。请参阅下面的重构代码。

首先是添加功能......

////////////////////////////////////////////////////////////////////////////////
//
//  Add Queue
//
//      Adds a queue item, pointed to by `item`, to the end of the queue pointed
//      to by `head`.
//
//      Note: Tested 2-12-2015 using proj_1.c tests. PASSED -Dave
//
////////////////////////////////////////////////////////////////////////////////
int AddQueue(QElem ** head, QElem ** item) {

    //If the queue is empty...
    if(*head == NULL){
        //Point the head to the item.  The new item's next/prev were initialized
        //to point to itself already.
        *head = *item;
    }
    //If there are already elements in the queue...
    else{
        // insert the new element at the end of the list (just to the left
        // of the head) setting the next and previous values of the
        // appropriate nodes to the new values.
        ((*head)->prev)->next = *item;
        (*item)->prev = ((*head)->prev);
        (*item)->next = *head;
        (*head)->prev = *item;
    }
    return TRUE;
}

接下来是新项目功能......

////////////////////////////////////////////////////////////////////////////////
//
//  New Item
//
//      Returns a pointer to a new queue element created in heap memory.
//
//      Note: Calloc is a more precise way of allocating, but is basically the
//      same as malloc, the 1 denotes how many of the item to reserve mem for.
//      -Dave
//
//      Note: Tested 2-12-2015 using proj_1.c tests. PASSED -Dave
//
////////////////////////////////////////////////////////////////////////////////
QElem * NewItem()
{
    // just return a new QElem struct pointer on the heap with values initialized
    QElem * newItem = calloc(1,sizeof(QElem));
    newItem->next = newItem;
    newItem->prev = newItem;
    newItem->payload = -1;
    return newItem;
}

现在为测试添加功能......

////////////////////////////////////////////////////////////////////////////////
//
//  A test function for the add function.  It will create a queue of items
//  and attempt to iterate through them and print the value of the payload
//
////////////////////////////////////////////////////////////////////////////////
void TestAddQueue(QElem ** queue){
    printf("********************************************\n");
    printf("Begin testing the add test function\n");
    printf("********************************************\n");

    InitQueue(&(*queue));

    for(int i = 0; i < 10; i++)
    {
        printf("Adding element %d\n", i+1);
        QElem * newElem = NewItem();
        printf("Changing payload value\n");
        newElem->payload = i+100;
        printf("Adding to the queue\n");
        AddQueue(&(*queue), &newElem);
        printf("Item added, payload value = %d\n", newElem->payload);
        printf("The previous payload = %d\n", (*queue)->prev->prev->payload);

    }
}

C程序分段故障

3 个答案: