Tại sao sizeof được gọi là toán tử thời gian biên dịch?

Ban đầu, đây là một phần của một câu hỏi khác .

Tại sao được sizeofgọi là toán tử thời gian biên dịch? Nó không thực sự là một nhà điều hành thời gian chạy? Và nếu nó thực sự là một toán tử thời gian biên dịch, làm thế nào nó giúp tạo ra mã di động chạy giống nhau trong các máy tính khác nhau? Hãy giải thích chi tiết.

sizeof()cung cấp cho bạn kích thước của kiểu dữ liệu , không phải kích thước của một thể hiện cụ thể của loại đó trong bộ nhớ.

Ví dụ: nếu bạn có một đối tượng dữ liệu chuỗi được phân bổ một mảng ký tự có kích thước thay đổi trong thời gian chạy, sizeof()thì không thể sử dụng để xác định kích thước của mảng ký tự đó. Nó sẽ chỉ cung cấp cho bạn kích thước của con trỏ.

Kích thước của một kiểu dữ liệu luôn được biết đến tại thời điểm biên dịch.

bởi vì toàn bộ "cuộc gọi" của sizeof được tính toán tại thời điểm biên dịch và bất cứ điều gì nằm giữa dấu ngoặc đơn đều bị loại bỏ và không chạy trong thời gian chạy,

kết quả hoàn toàn dựa trên thông tin loại tĩnh có sẵn cho trình biên dịch

Tại sao sizeof được gọi là toán tử thời gian biên dịch?

Bởi vì, tại thời gian biên dịch, trình biên dịch sẽ tính toán kích thước của biểu thức và thay thế giá trị hằng số thời gian biên dịch.

Nó không thực sự là một nhà điều hành thời gian chạy?

Không. Bạn thậm chí có thể sử dụng sizeofđể đánh giá kích thước của biểu thức mà bạn không thể thực thi một cách hợp pháp (nghĩa là điều đó sẽ phát sinh Hành vi không xác định), miễn là trình biên dịch có thể tìm ra loại biểu thức là gì.

Ngoài ra, ngay cả trước C ++ 11 constexpr, bạn có thể sử dụng sizeofbiểu thức theo cách bạn không thể sử dụng biểu thức thời gian chạy.

Và nếu nó thực sự là một toán tử thời gian biên dịch, thì nó giúp ích như thế nào trong việc tạo mã di động ...

Các loại có thể khác nhau về kích thước trên các nền tảng khác nhau. Sử dụng các sizeofbiểu thức thay vì các giả định được mã hóa cứng có nghĩa là mã của bạn sẽ không bị hỏng khi bạn biên dịch trên một nền tảng khác và các loại của bạn thay đổi kích thước.

C ++ không thực sự lưu trữ siêu dữ liệu cho các đối tượng trong thời gian chạy để kiểm tra kích thước phải được biên dịch thời gian. Để biết ví dụ về cách C ++ không xác thực kích thước, hãy khai báo một mảng có intkích thước tùy ý và đọc qua phần cuối của nó. Nếu bạn may mắn, bạn sẽ nhận được segfaultnhưng nhiều khả năng bạn sẽ chỉ đọc vô nghĩa, vì C ++ không theo dõi kích thước của mảng của bạn.

Xem một lỗi phân tách chương trình C / C ++ có thể đọc qua phần cuối của một mảng (UNIX) không? cho một ví dụ từ SO.