[c] “sizeof (a? true : false)”가 4 바이트의 출력을 제공하는 이유는 무엇입니까?

C의 부울 유형에 대해

부울 형식은 1999 년 C 언어에서 상당히 늦게 소개되었습니다. 그 전에 C에는 부울 형식이 없었지만 대신 int모든 부울 식에 사용 되었습니다. 따라서 > == !etc 와 같은 모든 논리 연산자 는 int의 값 1또는0 .

응용 프로그램에서와 같은 집에서 만든 유형을 사용하는 것은 사용자 지정이었으며 typedef enum { FALSE, TRUE } BOOL;,이 int유형 은 크기가 큰 유형으로 분류됩니다.

C ++는 bool1 바이트보다 크지 않은 훨씬 나은 명시 적 부울 형식을 가졌습니다 . C의 부울 유형 또는 표현식은 최악의 경우 4 바이트로 끝납니다. C ++와의 호환성 방식은 C에서 C99 표준으로 도입되었습니다. 그런 다음 C는 부울 유형 _Bool과 헤더를 얻습니다 stdbool.h.

stdbool.hC ++과의 호환성을 제공합니다. 이 헤더는 bool확장 가능한 매크로 (C ++ 키워드와 동일한 철자)를 정의합니다.이 _Bool정수는 1 바이트의 큰 정수형 유형입니다. 마찬가지로 헤더는 두 개의 매크로 true와 falseC ++ 키워드와 같은 철자를 제공 하지만 이전 C 프로그램과의 하위 호환성을 제공 합니다. 따라서 true과 false에 확장 1및 0C와 자신의 유형입니다int . 이러한 매크로는 실제로 해당 C ++ 키워드와 같은 부울 유형이 아닙니다.

마찬가지로, 이전 버전과의 호환성을 위해, C의 논리 연산자는 여전히 를 반환 intC는 현재 부울 타입을 가지고에도 불구하고, 오늘날까지. C ++에서 논리 연산자는을 반환합니다 bool. 따라서와 같은 표현식 은 C sizeof(a == b)의 크기를 제공 int하지만 boolC ++ 의 크기는 제공합니다 .

조건부 연산자에 대하여 ?:

조건부 연산자 ?:는 몇 가지 단점이있는 이상한 연산자입니다. 100 %에 해당한다고 생각하는 것은 흔한 실수 if() { } else {}입니다. 좀 빠지는.

첫 번째와 두 번째 또는 세 번째 피연산자의 평가 사이에는 시퀀스 지점이 있습니다. ?:에만 두번째 또는 세번째 피연산자 중 하나를 평가하는이 평가되지 않습니다 피연산자의 부작용을 실행할 수 있도록 운영자가 보장됩니다. 같은 코드 true? func1() : func2()는 실행되지 않습니다 func2(). 여태까지는 그런대로 잘됐다.

그러나 일반적인 산술 변환 을 통해 두 번째와 세 번째 피연산자가 암시 적으로 형식을 승격하고 균형을 이루어야한다는 특수 규칙이 있습니다. ( C의 암시 적 유형 승격 규칙은 여기에 설명되어 있습니다 ). 이것은 두 번째 또는 세 번째 피연산자가 항상 최소한 int.

그것은 그 문제되지 않도록 true및 false유형 될 일이 int표현은 항상 적어도의 크기를주지 않기 때문에 C에 int상관없이.

표현식을 다시 쓰더라도 여전히 !sizeof(a ? (bool)true : (bool)false) int

이는 일반적인 산술 변환을 통한 암시 적 유형 승격 때문입니다.

답변

#ifndef __cplusplus

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

#else /* __cplusplus */

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

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