구조 변수가 지정에 의해 변경되지 않음

Question

struct st 
{ 
    int a1 : 3; 
    int a2 : 2; 
    int a3 : 1; 
} 

void main(void) 
{ 
    x.a3 = -1; 

    if (x.a3 == -1) printf("TRUE\n"); 
    else printf("FALSE\n"); 

    x.a3 = 1; 
    if (x.a3 == 1) printf("TRUE\n"); 
    else printf("FALSE\n"); 
} 

경우에 따라 'x.a3 = -1;' 첫 번째 경우는 TRUE입니다.
그러나 'x.a3 = 1'이 두 번째로 변경되지 않는 이유는 무엇입니까? 여전히 x.a3 = -1입니다.

및
'x.a3 = 1;'을 입력하면 처음에는 x.a3 = = 1! 그것은 변하지 않습니다!

Debug Result in XCode

Answer 1

문제는, 서명 1 비트 변수는 두 개의 값, -1 및 0를 (약 Two's complement 읽기) 보유 할 수 있습니다. 1 (+ 1) 값을 보유하는 것으로는 충분하지 않습니다. 가변의 부호의 당 멤버 a3 예약 된 메모리 위치에 저장되어있는 할당

x.a3 = 1; 

1 일정한 정수 값을 기록하는 동안, 그러나 변수에 액세스하는 동안

는 (부연 어쩌면 signed 또는 unsigned, 구현 정의 된 동작, §6.7.2/P5)에 따라 표현이 메모리에서 읽혀집니다.

2의 보수에서의 1 저장된 값의 표현은, 반드시 그렇게 == 1와 조건 체크가 실패 (MSB의 값에 따라) -1 결과를 생성한다.

Answer 2

필드 a3은 1 비트 int이므로 0 인 경우 (비트가 0 인 경우) 또는 -1 (부호 비트 인 비트가 1 인 경우) -1 만 유지할 수 있습니다. . 따라서 값 1을 할당하려고하면 해당 값의 표현이 저장되고 주어진 데이터 유형의 표현은 -1이됩니다.

1 비트의 int에있는 값 -1이 1 비트의 unsigned int에서 값 1과 동일한 표현을 가지므로 같은 것을 비교하지 않는다고해서.

Answer 3

int a3 : 1; 

은 var를 저장하는 데 사용할 공간을 정의하는 비트 필드가있는 구조체입니다. a1에 -1과 0 값만 저장할 수있는 1 비트의 부호있는 int를 작성합니다. a3에 값 1을 넣으려는 경우 의도 한 구문은 int a3 = 1이고 여러 가지 방법 중 하나입니다. 그렇게 할 수 있습니다.

struct st 
{ 
    int a1 : 3; 
    int a2 : 2; 
    int a3 : 1; 
}; 


void main(void) 
{ 
    struct st x = {1,2,3}; 
    x.a3 = -1; 

    if (x.a3 == -1) printf("TRUE\n"); 
    else printf("FALSE\n"); 

    x.a3 = 1; 
    if (x.a3 == 1) printf("TRUE\n"); 
    else printf("FALSE\n"); 
}