Tại sao, size sizeof (a? True: false) đưa ra một đầu ra gồm bốn byte?

Tôi có một đoạn mã nhỏ về sizeoftoán tử với toán tử ternary:

#include <stdio.h>
#include <stdbool.h>

int main()
{
    bool a = true;
    printf("%zu\n", sizeof(bool));  // Ok
    printf("%zu\n", sizeof(a));     // Ok
    printf("%zu\n", sizeof(a ? true : false)); // Why 4?
    return 0;
}

Đầu ra ( GCC ):

1
1
4 // Why 4?

Nhưng ở đây,

printf("%zu\n", sizeof(a ? true : false)); // Why 4?

toán tử ternary trả về booleankiểu và sizeof boollà1 byte trong C.

Vậy thì tại sao lại sizeof(a ? true : false)cho đầu ra bốn byte?

Đó là bởi vì bạn có #include <stdbool.h>. Tiêu đề đó xác định các macro true và falseđược 1và 0, vì vậy câu lệnh của bạn trông như thế này:

printf("%zu\n", sizeof(a ? 1 : 0)); // Why 4?

sizeof(int) là 4 trên nền tảng của bạn.

Ở đây, booleanloại trả về toán tử ternary ,

OK, có nhiều hơn thế!

Trong C, kết quả của việc này hoạt động ternary là loại int.^{[ghi chú bên dưới (1,2)]}

Do đó, kết quả giống như biểu thức sizeof(int), trên nền tảng của bạn.

Lưu ý 1: Trích dẫn C11 , chương §7,18,Boolean type and values <stdbool.h>

[....] Ba macro còn lại phù hợp để sử dụng trong #if chỉ thị tiền xử lý. họ đang

true

mở rộng đến hằng số nguyên 1,

false

mở rộng thành hằng số nguyên 0, [....]

Lưu ý 2: Đối với toán tử có điều kiện, chương §6.5.15, ( nhấn mạnh của tôi )

Toán hạng đầu tiên được đánh giá; có một điểm thứ tự giữa đánh giá của nó và đánh giá toán hạng thứ hai hoặc thứ ba (tùy theo đánh giá nào). Toán hạng thứ hai chỉ được ước tính nếu giá trị thứ nhất so sánh bằng 0; toán hạng thứ ba chỉ được ước tính nếu giá trị thứ nhất bằng 0; kết quả là giá trị của toán hạng thứ hai hoặc thứ ba (tùy theo giá trị nào được đánh giá), [...]

và

Nếu cả hai toán hạng thứ hai và thứ ba có loại số học, loại kết quả sẽ được xác định bởi các chuyển đổi số học thông thường, chúng được áp dụng cho hai toán hạng đó, là loại kết quả.[....]

do đó, kết quả sẽ là kiểu nguyên và do phạm vi giá trị, các hằng số chính xác là kiểu int .

Điều đó nói rằng, một lời khuyên chung chung, int main()tốt hơn là int main (void)nên thực sự tuân thủ tiêu chuẩn.

Các nhà điều hành ternary là một cá trích đỏ.

    printf("%zu\n", sizeof(true));

in 4 (hoặc bất cứ điều gì sizeof(int)trên nền tảng của bạn).

Các giả định sau đây boollà từ đồng nghĩa với charhoặc loại tương tự có kích thước 1 và intlớn hơn char.

Lý do tại sao sizeof(true) != sizeof(bool)và sizeof(true) == sizeof(int)chỉ đơn giản là bởi vì truelà không một biểu hiện của loại bool. Đó là một biểu hiện của loại int. Nó là #defined như 1trongstdbool.h .

Không có giá trị của loại booltrong C cả. Mỗi giá trị như vậy ngay lập tức được thăng cấp int, ngay cả khi được sử dụng làm đối số sizeof. Chỉnh sửa: đoạn này không đúng, các đối số sizeofkhông được quảng bá int. Điều này không ảnh hưởng đến bất kỳ kết luận nào.

Về loại boolean trong C

Một kiểu boolean được giới thiệu khá muộn trong ngôn ngữ C, vào năm 1999. Trước đó, C không có kiểu boolean mà thay vào đó được sử dụng intcho tất cả các biểu thức boolean. Do đó, tất cả các toán tử logic như > == !vv trả intvề giá trị 1hoặc0 .

Nó đã được tùy chỉnh cho các ứng dụng để sử dụng các loại sản xuất tại nhà, chẳng hạn như typedef enum { FALSE, TRUE } BOOL;cũng có intcác loại kích cỡ.

C ++ có loại boolean rõ ràng và tốt hơn nhiều, boolkhông lớn hơn 1 byte. Trong khi các kiểu boolean hoặc biểu thức trong C sẽ có 4 byte trong trường hợp xấu nhất. Một số cách tương thích với C ++ đã được giới thiệu trong C với tiêu chuẩn C99. C sau đó có một kiểu boolean _Boolvà tiêu đề stdbool.h.

stdbool.hcung cấp một số khả năng tương thích với C ++. Tiêu đề này xác định macro bool(cùng cách viết với từ khóa C ++) mở rộng ra _Bool, một loại là loại số nguyên nhỏ, có khả năng lớn 1 byte. Tương tự, tiêu đề cung cấp hai macro truevà falsecùng một cách viết với từ khóa C ++, nhưng có khả năng tương thích ngược với các chương trình C cũ hơn . Do đó truevà falsemở rộng đến 1và 0trong C và loại của họ làint . Các macro này không thực sự thuộc loại boolean như các từ khóa C ++ tương ứng.

Tương tự, đối với các mục đích tương thích ngược, các toán tử logic trong C vẫn trả về intcho đến ngày nay, mặc dù ngày nay C có kiểu boolean. Trong khi ở C ++, toán tử logic trả về a bool. Do đó, một biểu thức như sizeof(a == b)sẽ cho kích thước của một inttrong C, nhưng kích thước của một booltrong C ++.

Về toán tử điều kiện ?:

Toán tử điều kiện ?:là một toán tử kỳ lạ với một vài quirks. Đó là một sai lầm phổ biến để tin rằng nó tương đương 100% if() { } else {}. Không hẳn.

Có một điểm thứ tự giữa việc đánh giá toán hạng 1 và 2 hoặc 3. Các ?:nhà điều hành được đảm bảo chỉ đánh giá hệ 2 hoặc toán hạng thứ 3, vì vậy nó không thể thực hiện bất kỳ tác dụng phụ của các toán hạng không được đánh giá. Mã như true? func1() : func2()sẽ không thực thi func2(). Càng xa càng tốt.

Tuy nhiên , có một quy tắc đặc biệt nói rằng toán hạng thứ 2 và thứ 3 phải được loại hoàn toàn được thăng cấp và cân bằng với nhau bằng các chuyển đổi số học thông thường . ( Quy tắc quảng cáo ngầm định trong C được giải thích ở đây ). Điều này có nghĩa là toán hạng thứ 2 hoặc thứ 3 sẽ luôn lớn nhất bằng một int.

Vì vậy, nó không thành vấn đề truevà tình falsecờ thuộc loại intC vì biểu thức sẽ luôn cung cấp ít nhất kích thước của một intvấn đề.

Ngay cả khi bạn viết lại biểu thức thành nó vẫn sẽ trả về kích thước của một !sizeof(a ? (bool)true : (bool)false) int

Điều này là do quảng cáo kiểu ngầm thông qua các chuyển đổi số học thông thường.

Câu trả lời nhanh:

• sizeof(a ? true : false) đánh giá 4 bởi vì truevà falseđược định nghĩa <stdbool.h>theo 1và 0tương ứng, vì vậy biểu thức mở rộng thành sizeof(a ? 1 : 0)biểu thức số nguyên với loại int, chiếm 4 byte trên nền tảng của bạn. Vì lý do tương tự, sizeof(true)cũng sẽ đánh giá 4trên hệ thống của bạn.

Tuy nhiên, lưu ý rằng:

• sizeof(a ? a : a)cũng ước tính 4bởi vì toán tử ternary thực hiện các chương trình khuyến mãi số nguyên trên các toán hạng thứ hai và thứ ba của nó nếu đây là các biểu thức số nguyên. Điều tương tự tất nhiên xảy ra cho sizeof(a ? true : false)và sizeof(a ? (bool)true : (bool)false), nhưng đúc toàn bộ biểu thức như boolhành vi như mong đợi : sizeof((bool)(a ? true : false)) -> 1.

• cũng lưu ý rằng các toán tử so sánh đánh giá các giá trị boolean 1hoặc 0, nhưng có intkiểu : sizeof(a == a) -> 4.

Các toán tử duy nhất giữ bản chất boolean alà:

• toán tử dấu phẩy: cả hai sizeof(a, a)và sizeof(true, a)đánh giá 1tại thời điểm biên dịch.

• toán tử gán: cả hai sizeof(a = a)và sizeof(a = true)có giá trị là 1.

• toán tử gia tăng: sizeof(a++) -> 1

Cuối cùng, tất cả những điều trên chỉ áp dụng cho C: C ++ có ngữ nghĩa khác nhau về boolloại, giá trị boolean truevà false, toán tử so sánh và toán tử ternary: tất cả các sizeof()biểu thức này ước tính 1trong C ++.

Đây là một đoạn trích từ đó là những gì có trong nguồn

#ifndef __cplusplus

#define bool    _Bool
#define true    1
#define false   0

#else /* __cplusplus */

Có các macro truevà falseđược khai báo lần lượt là 1 và 0.

tuy nhiên trong trường hợp này, kiểu này là kiểu của hằng số theo nghĩa đen. Cả 0 và 1 đều là hằng số nguyên phù hợp với một int, vì vậy kiểu của chúng là int.

và sizeof(int)trong trường hợp của bạn là 4.

Không có kiểu dữ liệu boolean trong C, thay vào đó các biểu thức logic đánh giá các giá trị nguyên 1khi đúng khác 0.

Biểu thức có điều kiện thích if, for, while, hoặc c ? a : bmong đợi một số nguyên, nếu số lượng không phải là zero nó được coi là truengoại trừ một số trường hợp đặc biệt, đây là một chức năng tổng hợp đệ quy trong đó ternary-nhà điều hành sẽ đánh giá truecho đến khi ntầm 0.

int sum (int n) { return n ? n+sum(n-1) : n ;

Nó cũng có thể được sử dụng để NULLkiểm tra một con trỏ, đây là một hàm đệ quy in nội dung của Danh sách liên kết đơn.

void print(sll * n){ printf("%d -> ",n->val); if(n->next)print(n->next); }