Tại sao sizeof (my_arr) [0] biên dịch và sizeof bằng nhau (my_arr [0])?

Tại sao mã này biên dịch?

_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 khẳng định đầu tiên rõ ràng là chính xác, nhưng tôi đã dự đoán dòng cuối cùng sẽ thất bại, vì sự hiểu biết của tôi là sizeof()nên đánh giá theo một số nguyên, không thể được coi là một mảng. Nói cách khác, nó sẽ thất bại theo cách tương tự như dòng sau:

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

Thật thú vị, những điều sau đây thực sự không biên dịch (mà nên làm điều tương tự, phải không?):

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

lỗi: đối số loại không hợp lệ của unary '*' (có 'long unsign int') _Static_assert (* sizeof (my_arr) == 4, "");

Nếu có vấn đề, tôi đang sử dụng gcc 5.3.0

sizeofkhông phải là một chức năng. Đó là một toán tử đơn nguyên như !hay ~.

sizeof(my_arr)[0]phân tích cú pháp như sizeof (my_arr)[0], chỉ sizeof my_arr[0]với dấu ngoặc đơn thừa.

Điều này cũng giống như !(my_arr)[0]phân tích như !(my_arr[0]).

Nói chung, các toán tử postfix có độ ưu tiên cao hơn các toán tử tiền tố trong C. sizeof *a[i]++Parses là sizeof (*((a[i])++))(các toán tử postfix []và ++được áp dụng cho ađầu tiên, sau đó là các toán tử tiền tố *và sizeof).

(Đây là phiên bản biểu thức của sizeof. Ngoài ra còn có một phiên bản loại, có tên loại được ngoặc đơn : sizeof (TYPE). Trong trường hợp đó, các parens sẽ được yêu cầu và là một phần của sizeofcú pháp.)

sizeofcó hai "phiên bản": sizeof(type name)và sizeof expression. Cái trước đòi hỏi một cặp ()xung quanh đối số của nó. Nhưng cái sau - cái có biểu thức là một đối số - không có ()xung quanh đối số của nó. Bất cứ điều gì ()bạn sử dụng trong đối số được xem là một phần của biểu thức đối số, không phải là một phần của sizeofchính cú pháp.

Do my_arrtrình biên dịch được biết đến như là một tên đối tượng, không phải tên loại, sizeof(my_arr)[0]trình biên dịch của bạn thực sự được xem như sizeofđược áp dụng cho một biểu thức : sizeof (my_arr)[0], trong đó (my_arr)[0]là biểu thức đối số. Tên ()xung quanh là hoàn toàn thừa. Toàn bộ biểu thức được hiểu là sizeof my_arr[0]. Điều này tương đương với trước đây của bạn sizeof(my_arr[0]).

(Điều này có nghĩa là, BTW, rằng trước đây của bạn sizeof(my_arr[0])cũng chứa một cặp không cần thiết ().)

Đó là một quan niệm sai lầm khá phổ biến rằng sizeofcú pháp bằng cách nào đó đòi hỏi một cặp ()xung quanh đối số của nó. Quan niệm sai lầm này là những gì đánh lừa trực giác của mọi người khi diễn giải các biểu thức như sizeof(my_arr)[0].

[]có độ ưu tiên cao hơn sizeof. Như vậy sizeof(my_arr)[0]là giống như sizeof((my_arr)[0]).

Đây là một liên kết đến một bảng ưu tiên.

Bạn đang sử dụng phiên bản của sizeoftoán tử lấy một biểu thức làm tham số. Không giống như kiểu lấy một kiểu, nó không yêu cầu dấu ngoặc đơn. Do đó, toán hạng chỉ đơn giản (my_arr)[0], với dấu ngoặc đơn là dự phòng.