グローバル変数、自動変数について

Question

質問内容

int型の配列をグローバル変数と自動変数にわけて同じように宣言すると配列の中身が異なりました。自動変数で宣言した方は下記のようになることがわかるのですが、グローバル変数の方はなぜこのようになるのかわかりません。解説よろしくお願いします。

該当のソースコード

#include<stdio.h>
int b[5];
int main(void){
  int a[5];
  int i;
  printf("a:");
  for(i=0;i<5;i++){
    printf("%d ",a[i]);
  }
  putchar('\n');
  printf("b:");
  for(i=0;i<5;i++){
    printf("%d ",b[i]);
  }
  return 0;
}
実行結果
a:6422352 4200859 4200752 0 2748416
b:0 0 0 0 0

Answer 1

グローバル変数やstaticのint型は、初期化子が無い場合０になります。

JIS規格書より：

自動記憶域期間をもつオブジェクトを明示的に初期化しない場合，その値は不定とする。静的記憶域期間をもつオブジェクトを明示的に初期化しない場合，次の規定に従う。

a)そのオブジェクトの型がポインタ型の場合，空ポインタに初期化する。
b)そのオブジェクトの型が算術型の場合，（正又は符号無しの）0 に初期化する。
c)そのオブジェクトが集成体の場合，各メンバに a）〜d）の規定を（再帰的に）適用し初期化する。
d)そのオブジェクトが共用体の場合，最初の名前付きメンバに a）〜d）の規定を（再帰的に）適用し初期化する。

Answer 2

グローバル変数は自動変数と違って、明示的に初期化されていないとき、0初期化されることが規格で決まっているからです。