Mengapa sizeof (my_arr) [0] mengkompilasi dan sizeof sama (my_arr [0])?

Mengapa kode ini dikompilasi?

_Static uint32_t my_arr[2];
_Static_assert(sizeof(my_arr) == 8, "");
_Static_assert(sizeof(my_arr[0]) == 4, "");
_Static_assert(sizeof(my_arr)[0] == 4, "");

2 menegaskan pertama jelas benar, tetapi saya akan berharap baris terakhir gagal, karena pemahaman saya adalah yang sizeof()harus mengevaluasi ke literer integer, yang tidak dapat diperlakukan sebagai array. Dengan kata lain, itu akan gagal dengan cara yang sama seperti baris berikut gagal:

_Static_assert(4[0] == 4, "");

Menariknya, yang berikut ini memang gagal dikompilasi (yang seharusnya melakukan hal yang sama, bukan?):

_Static_assert(*sizeof(my_arr) == 4, "");

galat: argumen tipe tidak valid dari '*' unary (memiliki 'int unsigned lama') _Static_assert (* sizeof (my_arr) == 4, "");

Jika itu penting, saya menggunakan gcc 5.3.0

sizeofbukan fungsi. Ini operator seperti unary !atau ~.

sizeof(my_arr)[0]mem-parsing as sizeof (my_arr)[0], yang hanya sizeof my_arr[0]dengan kurung redundan.

Ini seperti !(my_arr)[0]mem - parsing seperti !(my_arr[0]).

Secara umum, operator postfix memiliki prioritas lebih tinggi daripada operator prefix di C. sizeof *a[i]++parses as sizeof (*((a[i])++))(operator postfix []dan ++diterapkan aterlebih dahulu, kemudian operator prefix *dan sizeof).

(Ini adalah versi ekspresi sizeof. Ada juga versi tipe, yang mengambil nama tipe tanda kurung:. sizeof (TYPE)Dalam hal ini parens akan diperlukan dan bagian dari sizeofsintaks.)

sizeofmemiliki dua "versi": sizeof(type name)dan sizeof expression. Yang pertama membutuhkan sepasang ()argumen. Tapi yang terakhir - yang berekspresi sebagai argumen - tidak ada di ()sekitar argumennya. Apa pun yang ()Anda gunakan dalam argumen dipandang sebagai bagian dari ekspresi argumen, bukan bagian dari sizeofsintaks itu sendiri.

Karena my_arrdiketahui kompiler sebagai nama objek, bukan nama tipe, Anda sizeof(my_arr)[0]sebenarnya dilihat oleh kompiler sebagaimana sizeofditerapkan pada ekspresi:, di sizeof (my_arr)[0]mana (my_arr)[0]ekspresi argumen. Nama ()array di sekelilingnya murni berlebihan. Seluruh ekspresi diartikan sebagai sizeof my_arr[0]. Ini sama dengan sebelumnya sizeof(my_arr[0]).

(Ini berarti, BTW, bahwa sebelumnya Anda sizeof(my_arr[0])juga berisi sepasang berlebihan ().)

Ini adalah kesalahpahaman yang agak luas bahwa sizeofsintaksis entah bagaimana memerlukan sepasang ()argumen. Kesalahpahaman ini adalah yang menyesatkan intuisi orang ketika menafsirkan ekspresi seperti itu sizeof(my_arr)[0].

[]memiliki prioritas lebih tinggi dari sizeof. Begitu sizeof(my_arr)[0]juga dengan sizeof((my_arr)[0]).

Berikut ini tautan ke tabel prioritas.

Anda menggunakan versi sizeofoperator yang menggunakan ekspresi sebagai parameter. Berbeda dengan yang mengambil jenis, itu tidak memerlukan tanda kurung. Oleh karena itu, operannya sederhana (my_arr)[0], dengan tanda kurung menjadi berlebihan.