Tại sao sizeof int là sai, trong khi sizeof (int) là đúng?

Chúng ta biết rằng đó sizeoflà một toán tử được sử dụng để tính toán kích thước của bất kỳ kiểu dữ liệu và biểu thức nào, và khi toán hạng là một biểu thức, dấu ngoặc đơn có thể được bỏ qua.

int main()
{
        int a;

        sizeof int;
        sizeof( int );
        sizeof a;
        sizeof( a );

        return 0;
}

cách sử dụng đầu tiên sizeoflà sai, trong khi những cách sử dụng khác đúng.

Khi nó được biên dịch bằng gcc, thông báo lỗi sau sẽ được đưa ra:

main.c:5:9: error: expected expression before ‘int’

Câu hỏi của tôi là tại sao tiêu chuẩn C không cho phép loại hoạt động này. Sẽ sizeof intgây ra bất kỳ sự mơ hồ?

Những điều sau có thể không rõ ràng:

sizeof int * + 1

Đó là (sizeof (int*)) + 1, hoặc (sizeof(int)) * (+1)?

Rõ ràng ngôn ngữ C có thể đã đưa ra một quy tắc để giải quyết sự mơ hồ, nhưng tôi có thể tưởng tượng tại sao nó không bận tâm. Với ngôn ngữ như hiện tại, một chỉ định kiểu không bao giờ xuất hiện "trần trụi" trong một biểu thức và vì vậy không cần quy tắc để giải quyết xem thứ hai đó *là một phần của kiểu hay một toán tử số học.

Ngữ pháp hiện có đã giải quyết được sự mơ hồ tiềm ẩn của sizeof (int *) + 1. Nó là (sizeof(int*))+1, không phải sizeof((int*)(+1)) .

C ++ có một vấn đề tương tự cần giải quyết với cú pháp ép kiểu hàm. Bạn có thể viết int(0)và bạn có thể viết typedef int *intptr; intptr(0);, nhưng bạn không thể viết int*(0). Trong trường hợp đó, giải pháp là kiểu "naked" phải là một tên kiểu đơn giản, nó không thể chỉ là bất kỳ id kiểu cũ nào có thể có khoảng trắng trong đó hoặc dấu chấm câu ở cuối. Có lẽ sizeofcó thể đã được xác định với cùng một hạn chế, tôi không chắc.

Từ tiêu chuẩn C99

6.5.3.4.2
Các sizeofnhà điều hành mang lại kích thước (tính theo byte) của toán hạng của nó, có thể là một biểu thức hoặc tên trong ngoặc của một loại.

Trong trường hợp của bạn intkhông phải là biểu thức cũng như tên trong ngoặc đơn.

Có hai cách để sử dụng toán tử sizeof trong C. Cú pháp như sau:

C11 6.5.3 Unary operators
...
sizeof unary-expression
sizeof ( type-name )

Bất cứ khi nào bạn sử dụng một kiểu làm toán hạng, bạn phải có dấu ngoặc đơn, theo định nghĩa cú pháp của ngôn ngữ. Nếu bạn sử dụng sizeof trên một biểu thức, bạn không cần dấu ngoặc đơn.

Tiêu chuẩn C đưa ra một ví dụ như vậy về nơi bạn có thể muốn sử dụng nó trên một biểu thức:

sizeof array / sizeof array[0]

Tuy nhiên, vì lợi ích của tính nhất quán và để tránh các lỗi liên quan đến quyền ưu tiên của toán tử, cá nhân tôi khuyên bạn nên luôn sử dụng () bất kể tình huống nào.