このキューインプリメンテーションで何が問題になっていますか？

Question

以下は私のキュー実装です。私のキューは単に頭と後ろの2つのqノードの配列です。エンキューとデキューは、内部キューの実装を処理することになっています。

異なる整数でエンキューを呼び出すと、Q[0].next == Q[1].nextへの出力は1になります。私は間違いを理解することができません。

struct Qnode{ 
int index; 
struct Qnode *next; 
}; 
typedef struct Qnode qnode; 

qnode* makeQueue(){ 
    qnode *Q; 
    Q = (qnode *) malloc(2*sizeof(qnode)); 
    qnode head,tail; 
    head.next = NULL; 
    tail.next = NULL; 
    head.index = 0; 
    tail.index = -1; 
    Q[0] = head; 
    Q[1] = tail; 
    return Q; 
} 

void enQueue(qnode *Q, int index){ 
    qnode node,head = Q[0], rear = Q[1]; 
    node.index = index; 
    node.next = NULL; 
    if(head.next == NULL && rear.next == NULL){ 
     head.next = &node; 
     rear.next = &node; 
    } 
    else{ 
     (rear.next)->next = &node; 
     rear.next = &node; 
    } 
    Q[0].index = head.index + 1; 
} 

あなたはenQueue機能

qnode node,head = Q[0], rear = Q[1]; 
node.index = index; 
node.next = NULL; 
if(head.next == NULL && rear.next == NULL){ 
    head.next = &node; 
    rear.next = &node; 
} 

に問題があるおかげ

Answer 1

は、上記のコードの断片はhead.nextとrear.nextにローカルスコープ変数のアドレスを割り当てている：すなわち、割り当てられた変数をスタック。

node変数は、関数が終了するまで存在します。だから、これらのポインタへのアドレスは、関数の外有効ではありません。それは外の機能にアクセスすることは違法であり、Undefined Behavior

はまた、その関数に行われたすべての変更がQ配列に反映されません：あなたは配列要素のローカルスコープのコピーを変更しています。