使用C实现队列实现中的分段错误

Question

我已经在C中实现了一个简单的队列系统，但是我遇到了函数append的问题。这不会每次都发生，只是几次，但我找不到共同点。

gdb说分段错误是由行while (*h){引起的，但我认为是可以的。

这里的功能是：

int pop (int *h){ 
    int ret = *h, i; 

    for (i = 0; i < 52; i++){ 
     if (!*(h+i)){ 
      *(h+i-1) = 0; 
      break; 
     } 
     else{ 
      *(h+i-1) = *(h+i); 
     } 
    } 
    return ret; 
} 


void append(int *h, int i){ 
    while (*h){ 
     ++h; 
    } 
    *h = i; 
} 

非常感谢你。

注意：队列大小是固定的，所以进出它的值的数量也是如此，所以问题不在于超出界限。

编辑

我有固定它。下面是功能工作：

int pop (int *h){ 
    int ret = *h, i; 

    for (i = 1; i < 52; i++){ 
     if (!h[i]){ 
      h[i-1] = 0; 
      break; 
     } 
     else{ 
      h[i-1] = h[i]; 
     } 
    } 
    return ret; 
} 


void append(int *h, int i){ 
    int j; 

    for (j = 0; j<52; j++){ 
     if (!h[j]) break; 
    } 
    h[j] = i; 
} 

Answer 1

对于神起见，使用数组符号[]代替指针引用*()。 在这里你的代码有正确的符号，它明显的问题出在哪里。

int pop (int *h){ 
    int ret = *h, i; 

    for (i = 0; i < 52; i++){ <--- Change to i=1 
    if (!h[i]){              
     h[i-1] = 0;  <------ Buffer underflow when h[0] == 0 
     break;              
    } 
    else{ 
     h[i-1] = h[i];  <------ Buffer underflow when h[0] != 0 
    } 
    } 
    return ret; 
} 


void append(int *h, int i){ Where's the buffer overflow check ???? 
    while (*h){ 
    ++h; 
    } 
    *h = i; 
} 

你是否还用0值初始化了你的数组？此外，它真的希望你的堆栈/队列不能包含0值吗？

编辑：这里修正版本

int pop (int *h) 
{ 
    int ret = h[0], i = 1; 
    do { 
    h[i-1] = h[i]; 
    } while(h[i] && i<52); 
    return ret; 
} 


void append(int *h, int value) 
{ 
int i; 
    for(i=0; i<52; i++) { 
    if(!h[i]) 
     break; 
    } 
    if(i<52) 
    h[i] = value; 
    else 
    fprintf(stderr, "Array is full\n"); 
}