これは何故エラーになるのでしょうか？

Question

int *h = {1, 2, 3, 4, 5, 6};
    printf("%d", *(h));
    
    int h_2[] = {1, 2, 3, 4, 5, 6};
    printf("%d", *(h_2));

*hとh[]は同義なのではないのでしょうか？

Answer 1

違います。 *hとh[]が同じなのは仮引数の場合です。

---

追記:

K&R2日本語版ですと、121ページに仮引数に関して「まったく同一である」と書いてあります。注意するべきことは、それ以外についても「同一である」とは言っていないことです。仮引数以外ではちゃんと理解して使い分ける必要があります。

---

追記2:

ちなみにC99以降では複合リテラルが使えるので、固定長配列もリテラルとして作ることができます。配列リテラルへのポインタ、という形でint *hを初期化できます。

#include <stdio.h>
int main(void)
{
    int *h = (int[]){0, 1, 2, 3}; // 複合リテラル
    printf("h = {%d, %d, %d, %d}\n", h[0], h[1], h[2], h[3]);
    printf("sizeof(h) = %zd\n", sizeof(h));
    return 0;
}

ただし、複合リテラルの実体は文字列リテラルなどと違いブロック内でしか有効ではありませんので注意が必要です。

Comments

[foo45]

なるほど

[yohhoy]

<del>「複合リテラルの実体は文字列リテラルなどと違いブロック内でしか有効ではありません」は部分的に正しいですね。複合リテラルを構成する要素が全て定数値ならば、複合リテラルの実体もブロック外でも有効です（回答中の例示コードが該当）。</del>

<del>とはいえ、ブロック内でのみ有効と考えた方が無難（安全）なことには賛同します。</del>

訂正：ちゃんと確認したら、上記コメントは誤りでした。ごめんなさい。ブロックスコープの複合リテラルは、そのスコープ内でのみ有効でした。定数値云々は、ファイルスコープに記述する際の話でした。

Answer 2

int *h = {1, 2, 3, 4, 5, 6};
int h_2[] = {1, 2, 3, 4, 5, 6};

h_2は配列ですが、*hは配列ではありません。

関数などで使う場合 h = &h_2[0] や a(int *p) a(h_2)とやりますけど
関数で渡るのは、先頭のポインターだけであり、配列を渡してる訳ではありません。

Answer 3

int * は、integer へのポインターです。配列として値を初期化することはできません。
次のプログラムの実行結果を予想することはできますか？
理解できない場合、ポインター、配列についての理解が不十分だと思われます。

#include <stdio.h>

int main(void) {
  //int *h = {1, 2, 3, 4, 5, 6};
  //printf("%d", *(h));

  int h_2[] = {1, 2, 3, 4, 5, 6};
  printf("%d\n", *(h_2));
  printf("%d\n", *(h_2 + 1));

  printf("%d\n", h_2[0]);
  printf("%d\n", h_2[1]);
  printf("\n");

  int *h_3 = h_2;
  printf("%d\n", *(h_3));
  printf("%d\n", *(h_3 + 1));

  printf("%d\n", h_3[0]);
  printf("%d\n", h_3[1]);
  printf("\n");

  int *h_4 = &h_2[0];
  printf("%d\n", *(h_4));
  printf("%d\n", *(h_4 + 1));

  printf("%d\n", h_4[0]);
  printf("%d\n", h_4[1]);

  printf("int h_2[]  size=%ld\n", sizeof(h_2));
  printf("int* h_3   size=%ld\n", sizeof(h_3));
  printf("int* h_4   size=%ld\n", sizeof(h_4));

  return 0;
}

実行例：

$ gcc 1.c
$ ./a.out
1
2
1
2

1
2
1
2

1
2
1
2
int h_2[]  size=24
int* h_3   size=8
int* h_4   size=8