自動変数と静的変数の違い

Question

質問

下記のプログラムで静的変数である、main関数内のlistを自動変数として宣言すると最初のscanf文を読み込む前に実行中断してしまいます。自分ではこのプログラムだとlistが自動変数でも静的変数でも結果変わらないと思っていたのですが、なぜ実行中断してしまうのか解説していただけると有り難いです。

該当のソースコード

#include <stdio.h>
#include <string.h>
#include <ctype.h>
#include <stdlib.h>

typedef struct List{
  int size;
  int *number[1024];
}List;

void initList(List *List){
  int i;
  List->size=0;
  for(i=0;i<1024;i++){
    List->number[i]=NULL;
  }
}

void Listadd(List *List,int x){
  if(List->number[List->size/1024]==NULL){
    List->number[List->size/1024]=malloc(sizeof(int)*1024);
  }
  List->number[List->size/1024][List->size%1024]=x;
  List->size++;
}

void ListPrint(List *List){
  int i;
  for(i=0;i<List->size;i++){
    printf("%d ",List->number[i/1024][i%1024]);
  }
  printf("\n");
}

void ListDelete(List *List){
  int i;
  List->size=0;
  for(i=0;i<1024;i++){
    free(List->number[i]);
    List->number[i]=NULL;
  }
}


int main(void){
  static List list[1024];
  int n,q,t,a,x;
  int i;
  scanf("%d%d",&n,&q);
  for(i=0;i<n;i++){
    initList(&list[i]);
  }
  while(q--){
    scanf("%d%d",&a,&t);
    if(a==0){
      scanf("%d",&x);
      Listadd(&list[t],x);
    }else if(a==1){
      ListPrint(&list[t]);
    }else if(a==2){
      ListDelete(&list[t]);
    }
  }
  return 0;
}

補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

Answer 1

kazuma-sさんが仰るようにスタック・オーバフローが発生したのでしょうね。
自動変数はスタック領域に確保されるので、大きなサイズの変数宣言には向きません。

Answer 2

Linux を使っていませんか？

コマンドラインで ulimit -a を実行してみてください。
スタックサイズの制限が 8Mバイトのはずです。

ポインタのサイズが 8バイトなら、sizeof(List) は 8Kバイトで
それを 1024個確保すると、8Mバイトを使い切ってしまいます。

Comments

[kelt22]

コマンドプロンプトを使っていますが、配列の要素数を1024から100に変更すると自動変数でもうまく実行できたのでスタック・オーバフローが起こっていたと思います。解説ありがとうございました。