Tại sao sizeof (x ++) không tăng x?

Đây là đoạn mã được biên dịch trong dev c ++ windows:

#include <stdio.h>

int main() {
    int x = 5;
    printf("%d and ", sizeof(x++)); // note 1
    printf("%d\n", x); // note 2
    return 0;
}

Tôi dự kiến xlà 6 sau khi thực hiện ghi chú 1 . Tuy nhiên, đầu ra là:

4 and 5

Bất cứ ai có thể giải thích tại sao xkhông tăng sau ghi chú 1 ?

Từ tiêu chuẩn C99 (trọng tâm là của tôi)

6.5.3.4/2

Toán tử sizeof mang lại kích thước (tính bằng byte) của toán hạng của nó, có thể là một biểu thức hoặc tên được ngoặc đơn của một loại. Kích thước được xác định từ loại toán hạng. Kết quả là một số nguyên. Nếu loại toán hạng là loại mảng có chiều dài thay đổi, toán hạng được ước tính; mặt khác, toán hạng không được ước tính và kết quả là hằng số nguyên.

sizeoflà một toán tử thời gian biên dịch , vì vậy tại thời điểm biên dịch sizeofvà toán hạng của nó được thay thế bằng giá trị kết quả. Các toán hạng là không được đánh giá (trừ khi nó là một mảng chiều dài thay đổi) ở tất cả; chỉ loại kết quả quan trọng.

short func(short x) {  // this function never gets called !!
   printf("%d", x);    // this print never happens
   return x;
}

int main() {
   printf("%d", sizeof(func(3))); // all that matters to sizeof is the 
                                  // return type of the function.
   return 0;
}

Đầu ra:

2

như shortchiếm 2 byte trên máy của tôi.

Thay đổi kiểu trả về của hàm thành double:

double func(short x) {
// rest all same

sẽ đưa ra 8như đầu ra.

sizeof(foo) rất cố gắng để khám phá kích thước của một biểu thức tại thời điểm biên dịch:

6.5.3.4:

Toán tử sizeof mang lại kích thước (tính bằng byte) của toán hạng của nó, có thể là một biểu thức hoặc tên được ngoặc đơn của một loại. Kích thước được xác định từ loại toán hạng. Kết quả là một số nguyên. Nếu loại toán hạng là loại mảng có chiều dài thay đổi, toán hạng được ước tính; mặt khác, toán hạng không được ước tính và kết quả là hằng số nguyên.

Tóm lại: mảng có chiều dài thay đổi, chạy trong thời gian chạy. (Lưu ý: Mảng độ dài biến là một tính năng cụ thể - không phải là mảng được phân bổ malloc(3).) Mặt khác, chỉ có loại biểu thức được tính toán và tại thời điểm biên dịch.

sizeoflà một toán tử dựng sẵn thời gian biên dịch và không phải là một hàm. Điều này trở nên rất rõ ràng trong các trường hợp bạn có thể sử dụng nó mà không cần dấu ngoặc đơn:

(sizeof x)  //this also works

Ghi chú

Câu trả lời này đã được hợp nhất từ ​​một bản sao, điều này giải thích ngày muộn.

Nguyên

Ngoại trừ mảng chiều dài thay đổi sizeof không đánh giá các đối số của nó. Chúng ta có thể thấy điều này từ dự thảo tiêu chuẩn C99 Phần 6.5.3.4 toán tử sizeof đoạn 2 có nội dung:

Toán tử sizeof mang lại kích thước (tính bằng byte) của toán hạng của nó, có thể là một biểu thức hoặc tên được ngoặc đơn của một loại. Kích thước được xác định từ loại toán hạng. Kết quả là một số nguyên. Nếu loại toán hạng là loại mảng có chiều dài thay đổi, toán hạng được ước tính; mặt khác, toán hạng không được ước tính và kết quả là hằng số nguyên.

Một nhận xét ( hiện đã bị xóa ) hỏi liệu một cái gì đó như thế này sẽ đánh giá vào thời gian chạy:

sizeof( char[x++]  ) ;

và thực sự nó sẽ, một cái gì đó như thế này cũng sẽ hoạt động ( Xem cả hai sống ):

sizeof( char[func()]  ) ;

vì chúng là cả hai mảng có chiều dài thay đổi. Mặc dù, tôi không thấy sử dụng thực tế trong một trong hai.

Lưu ý, mảng có chiều dài thay đổi được trình bày trong dự thảo phần tiêu chuẩn C99 Bộ 6.7.5.2 khai báo mảng đoạn 4 :

[...] Nếu kích thước là một biểu thức hằng số nguyên và loại phần tử có kích thước không đổi đã biết, loại mảng không phải là kiểu mảng có chiều dài thay đổi; mặt khác, kiểu mảng là kiểu mảng có chiều dài thay đổi.

Cập nhật

Trong C11, câu trả lời thay đổi cho trường hợp VLA, trong một số trường hợp nhất định, không xác định được biểu thức kích thước có được đánh giá hay không. Từ phần 6.7.6.2 khai báo mảng có ghi:

[...] Trong đó biểu thức kích thước là một phần của toán hạng của toán tử sizeof và việc thay đổi giá trị của biểu thức kích thước sẽ không ảnh hưởng đến kết quả của toán tử, không xác định được biểu thức kích thước có được đánh giá hay không.

Ví dụ trong trường hợp như thế này ( xem trực tiếp ):

sizeof( int (*)[x++] )

Vì toán hạng của sizeoftoán tử không được đánh giá, bạn có thể làm điều này:

int f(); //no definition, which means we cannot call it

int main(void) {
        printf("%d", sizeof(f()) );  //no linker error
        return 0;
}

Bản demo trực tuyến: http://ideone.com/S8e2Y

Đó là, bạn không cần xác định hàm fnếu nó chỉ được sử dụng sizeof. Kỹ thuật này chủ yếu được sử dụng trong siêu lập trình mẫu C ++, vì ngay cả trong C ++, toán hạng của sizeofkhông được đánh giá.

Tại sao điều này làm việc? Nó hoạt động vì sizeoftoán tử không hoạt động theo giá trị , thay vào đó nó hoạt động theo loại biểu thức. Vì vậy, khi bạn viết sizeof(f()), nó hoạt động trên loại biểu thức f(), và không có gì ngoài kiểu trả về của hàm f. Kiểu trả về luôn giống nhau, bất kể giá trị nào hàm sẽ trả về nếu nó thực sự thực thi.

Trong C ++, bạn thậm chí có thể:

struct A
{
  A(); //no definition, which means we cannot create instance!
  int f(); //no definition, which means we cannot call it
};

int main() {
        std::cout << sizeof(A().f())<< std::endl;
        return 0;
}

Tuy nhiên, có vẻ như, sizeoflần đầu tiên tôi tạo một thể hiện A, bằng cách viết A()và sau đó gọi hàm ftrên cá thể, bằng cách viết A().f(), nhưng không có điều đó xảy ra.

Bản trình diễn: http://ideone.com/egPMi

Đây là một chủ đề khác giải thích một số tính chất thú vị khác của sizeof:

• sizeof lấy hai đối số

Việc thực thi không thể xảy ra trong quá trình biên dịch. Vì vậy ++i/ i++sẽ không xảy ra. Cũng sizeof(foo())sẽ không thực hiện chức năng nhưng trả về đúng loại.

sizeofchạy ở thời gian biên dịch, nhưng x++chỉ có thể được đánh giá tại thời gian chạy. Để giải quyết điều này, tiêu chuẩn C ++ cho rằng toán hạng của sizeofkhông được đánh giá. Tiêu chuẩn C nói:

Nếu loại toán hạng [của sizeof] là kiểu mảng có độ dài thay đổi, toán hạng được ước tính; mặt khác, toán hạng không được ước tính và kết quả là hằng số nguyên.

sizeof() Toán tử chỉ cho kích thước của kiểu dữ liệu, nó không đánh giá các phần tử bên trong.