ダブルポインタと構造体

Question

キューを使ってenqueue,dequeueするプログラムをポインタのポインタを引数に持つ関数で作りたいです。
deq操作を行う関数とキューの中をカラにする関数で警告がでます。無視して実行するとセグメンテーション違反になります。どう改良すればいいでしょうか。

訂正

void enq(struct LIST **head, struct cell **tail, int val,int n){
  struct LIST *p;
  if(n==1){
    p = (struct LIST *)malloc(sizeof(struct LIST);
    p->num = val;
//ここでセグメンテーション違反になってしまいます。
    p->next = NULL;
    *head = *tail = p;
  }
  else{
    p = (struct LIST *malloc(sizeof(struct LIST));
    p->num = val;
    p->next = NULL;
    (*tail)->next = p;
    *tail = p;
  }
}

int deq(struct LSIT **head){
  int deqdata;
  struct LSIT *p;
  deqdata = (*head)->num;
  p = *head;//警告
  head = &(*head)->next;
  free(p);
  return deqdata;
}


void free_queue(struct LIST **head){
  struct LIST *p;
if(head!=NULL)
    free(p);//警告
}

コンパイル
In function ‘deq’:
警告: assignment from incompatible pointer type
In function ‘free_queue’:
警告: ‘p’ may be used uninitialized in this function

ちゃんとコンパイルできたけどdeqを行ったら強制終了されました。

Answer 1

セグメンテーション違反になっているところの説明だけしますね。
mallocはメモリを確保します。
返却されるのはその確保したメモリの先頭アドレスです。
提示のコードはそのアドレスをダブルポインタとして扱おうとしています。

ダブルポインタとは
int a;
int *pa = &a; // 実体のアドレス
int **ppa = &pa; // ポインタ変数のアドレス＝ダブルポインタ

ダブルポインタの変数には、アドレスが入った変数のアドレスを入れないといけないところ、提示のコードでは領域の先頭アドレスを入れてしまっているのが原因です。
mallocで確保した領域は初期化されていませんから、先頭アドレスにある不定値をアドレスに見立てて参照しようとしてセグメンテーション違反になっています。
またmallocする領域のサイズもsizeof(struct cell *)では正しくありません。
struct cell * はアドレスですから、4バイト（32ビット環境）とか8バイト（64ビット環境）とかになります。
以下、サンプルです（修正方法ではありません）

// 領域確保
struct cell *p;
p = (struct cell *)malloc(sizeof(struct cell));
p->num = val;

// ダブルポインタでアクセス
struct cell **pp;
pp = &p;
(*pp)->num = val;

Answer 2

こんにちは。

p = (struct cell **)malloc(sizeof(struct cell *));
(*p)->num = val;

sizeof(sruct cell*)はどんな値になると思いますか？
cell構造体へのポインタのサイズですので、4(32bitビルド)や8(64bitビルド)ですね。
cell構造体のサイズはわかりませんが、たぶん、8より大きく、かつ、numは8より後ろにあるのでは？

一部分だけザッと書いてみます。

struct cell *p;
if(n==1){
  p = (struct cell *)malloc(sizeof(struct cell));
  p->num = val;
  p->next = NULL;
  *head = *tail = p;
}

呼び出し側は、struct cell *head;のような定義で、enq(&head, ...);のように呼び出します。

Answer 3

まずenqもdeqも期待通りには動かないと思いますよ。

処理的にはdeqの前にenqが行われているはずなので、enqがうまく動かない以上、deqでの動作を期待するのは無理があります。ちなみに動的変数でない方法で試験用リストを作ってdeqを呼んだのならば当然エラー停止します。

Answer 4

ただの誤字かもしれませんがcelになってますよ。もしcell以外にcelという構造体宣言が存在していたらまずいです。

Comments

[indehi]

ただのごじでした。ありがとうざいます。
けどちゃんとコンパイルできませんでした。。。