구조체 최소 크기??

구조체 패딩이 문제가 아닙니다.

#ifndef TRUE
#define TRUE 1
#endif
#ifndef FALSE
#define FALSE 0
#endif
typedef union bitbool{
    char truefalse;
    struct tf{
        unsigned true_false : 1;
        unsigned            : 7;
    } tf;
} bool; // bool 형이 없응께 =_=;

공용체의 크기는 멤버 중 가장 큰 크기를 갖는 멤버의 크기 이상이 되어야 합니다. sizeof(bool)이 1바이트가 될 것이라고 기대하시면 안됩니다.

먼저 공용체에 대한 개념 이해가 필요합니다.

#ifndef TRUE
#define TRUE 1
#endif
#ifndef FALSE
#define FALSE 0
#endif
typedef union bitbool __attribute__((packed)){
    char truefalse;
    struct tf{
        char true_false : 1;
        char x: 7;
    } tf;
} bool; // bool 형이 없응께 =_=;

pack 하고, unsigned 를 char 로 바꾸면 되지 않을까요?

_Bool 은 참고로 C99 표준에서 표준화된 것입니다.

구조체의 패딩이 아니라, unsigned 이기 때문에 4 byte로 잡히는 것입니다.
bit field를 8bit만 사용한다고 1 byte로 만들지는 않겠죠..

해당 컴파일러가 bit-field 를 위한 storage unit 으로 4 bytes 크기를
선택한 이상 padding 과는 무관합니다. 따라서 어찌되었든 처음 GunSmoke
님의 답변이 맞습니다.

bit-field 를 위한 메모리 할당을 위해 각 implementation 은 자기
나름대로의 필요에 따라 적절한 크기의 addressable storage unit 을
도입할 수 있습니다. 물론, 가장 간편하게는 해당 시스템의 word 에 맞도록
하는 것이지만, bit-field 의 type 이 signed/unsigned int 라고 해서 그
storage unit 의 크기도 sizeof(int) 가 될 것이라 생각해서는 안 됩니다.
예를 들어, 어떤 implementation 에서 메모리 정렬 제한으로 얻을 수 있는
이득이 없고, 두 storage unit 사이로 한 bit-field 멤버가 걸칠 수
있다면, unsigned foo:8 이라는 멤버에 1 byte 크기의 storage unit 을
할당하는 것도 가능합니다 - 이 경우 그 bit-field 멤버만을 갖는 구조체의
크기는 1 byte 가 될 수 있습니다.

pack 은 물론 bit-field 를 unsigned/signed int 외에 다른 데이터형으로
선언하는 것 역시 이식성을 제한합니다.

implementation 이 bit-field 를 unsigned/signed char 로 선언하는 확장과
_Bool 의 지원 두 가지 선택을 제공한다면, 장래를 생각해 _Bool (혹은
<stdbool.h>) 를 선택하는 것이 나을 것 같습니다.

그럼...

저기 위에 손님으로 글 쓴 사람이 저인지라 확실히 하는게 좋을 것 같아서... :-)

전웅님 말이 맞습니다. 최소한 gcc에서만큼은 padding 문제가 아니라 bit-field 구조체의 크기 문제입니다. 틀린 답변을 올려서 죄송합니다 -_-;

#include <stdio.h>

union A
{
    char a1;
    unsigned char a2[3];
} a[2];

struct B
{
    char b1[2];
    char b2;
} b;

struct G {
    unsigned int h:1;
    unsigned int i:7;
} g;

union C
{
    char a;
    struct D {
        unsigned int e:1;
        unsigned int f:7;
    } d;
} c;

int main(void)
{
    printf("%d\n", sizeof(a));
    printf("%d\n", sizeof(b));
    printf("%d\n", sizeof(c));
    printf("%d\n", sizeof(g));
    return 0;
}

정렬제한 때문이라고 생각했는데 그다지 강력하게 제한받지는 않는 것 같군요.

하여간 gcc에서의 특성을 정리해보자면

1) 구조체 맴버들의 시작주소는 정렬제한을 지킨다. 단 char형이 아닌 경우에만.
2) 구조체의 크기가 꼭 4의 배수일 필요는 없다. 구조체의 맴버가 전부 char형인 경우에는 4의 배수가 아닐 수도 있다. (어차피 무의미하기 때문일까요?)
3) 비트필드 구조체는 반드시 4의 배수 크기를 갖는다.

1, 2번은 이해가 가는데 3번의 경우에는 굳이 정렬제한을 지킬 필요가 있는지 궁금하군요. 어차피 별도의 처리과정을 거쳐야 되는 만큼 정렬제한이 무의미하지 않을까요?

그런데 요점은 단지 bool 형을 사용하는 것이라면
위의 복잡한 구조체를 사용하거나 1 byte 크기의 변수를 사용하는 것보다는 그냥 int형을 사용하는 것이 더 좋을 것 같군요.

진짜로 int 형을 그대로 쓰라는 뜻은 아니었습니다.

typedef enum {
    FALSE = 0,
    TRUE = 1
} BOOL;

그리고 위의 bool 타입의 경우

bool is_not_null(void *ptr) { return ptc != NULL; }

그리고 char형이라고 해서 메모리를 적게 사용할지는 모르겠군요.
일반적인 함수의 변수라면 메모리 사용이 문제될일은 많지 않을것 같구요.
전역 변수라해도 메모리 사용이 줄어들지는 않을 것 같습니다.
(물론 bool형인 초대형 배열이 있다면 이야기는 다르지만요 :)

그리고 속도도 int형이 char형이나 같거나 빠를 겁니다.

_Bool은 위에서 다른 분들이 이야기 한 것입니다.

부끄러운 일이 아닐 수 없습니다.
스스로 자기 답변에 대해 정/오를 확신할 능력이 없는 사람이 남의 질문에 답을 하려고 하다니...
더 열심히 공부해야겠음을 느낍니다.

PS. 제가 귀가 좀 얇죠;;

제가 잘못보고 답변 한것 같습니다. :oops:

순간적으로 unsigned char 로 보았네요;;;

아..실수투성이~