char型配列の初期化

Question

###わからないこと
char型配列の初期化で

char a[8] = {0};
char b[8] = "";

だと何が違いますか？
どう確かめたらいいでしょうか...

Answer 1

質問中のふたつの例は、結果に違いがありません。

実態として広く処理系が提供されている ISO/IEC 9899:1999 (JISX3010:2003) だと項目 6.7.8 に、最新仕様である ISO/IEC 9899:2018 だと 6.7.9 に書かれています。

JIS から初期化に関連する部分を抜き出すと

集成体型の要素又はメンバの個数より波括弧で囲まれた並びにある初期化子が少ない場合、または大きさが既知の配列の要素数よりその配列を初期化するための文字列リテラルの文字数が少ない場合、その集成体型の残りを、静的記憶域期間をもつオブジェクトと同じ規則で暗黙に初期化する。

となっていて、静的記憶域期間をもつオブジェクトの説明を見ると

そのオブジェクトの型が算術型の場合、 (正又は符号無しの) 0 に初期化する。

という場合に当てはまります。

よって、質問中の a と b はいずれも全ての要素が 0 で初期化されます。

Answer 2

簡単なメモリダンプしました。

usr ~/Project/c % ./a.out 
+0 +1 +2 +3 +4 +5 +6 +7 +8 +9 +A +B +C +D +E +F|  -- ASCII --
--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+----------------
00 00 00 00 00 00 00 00                         ........
+0 +1 +2 +3 +4 +5 +6 +7 +8 +9 +A +B +C +D +E +F|  -- ASCII --
--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+----------------
00 00 00 00 00 00 00 00                         ........
usr ~/Project/c % cat main.c 
#include <stdio.h>

extern void dump(void *buf, int size);

int main(void)
{
    char a[8] = {0};
    char b[8] = "";

    dump(a,sizeof a);
    dump(b,sizeof b);

    return 0;
}

結果としては変わらないようです。