bool a = false; // 0
a = ~a;
// a : 00000000 00000000 00000000 00000000 (프로모션된 값)
// ~a : 11111111 11111111 11111111 11111111
// a : 0이 아닌 값을 bool로 변환하니 1
a = ~a;
// a : 00000000 00000000 00000000 00000001
// ~a : 11111111 11111111 11111111 11111110
// a : 0이 아닌 값을 bool로 변환하니 1
"b = true" is evaluated to (bool)true
"~b" is evaluated to (int)0xfffffffe
"b = ~b" is evaluated to (bool)true
b에 true를 대입하면 당연히 b는 (bool)true가 됩니다. (출력 첫째 줄)
~b를 계산할 때,
Unary operator ~는 먼저 피연산자 b에 대해 Integral promotions을 적용합니다.
Integral promotions에 의해 b(=(bool)true)는 (int)1이 됩니다.
Unary operator ~는 (int)1에 대해 ones' complement를 계산하며, 결과 타입은 promoted operand의 타입, 즉 int가 됩니다.
결과값은 int 타입의 크기에 따라 다르겠습니다만, 4바이트라면 (int)0xfffffffe가 되겠죠.
따라서 ~b는 (int)0xfffffffe가 나올 겁니다. (출력 둘째 줄)
b = ~b를 하면 ~b의 값 (int)0xfffffffe가 bool 타입으로 변환되어 b에 저장됩니다.
이 변환에서는 Boolean conversions 규칙이 적용됩니다.
Boolean conversions에 따르면 0이 아닌 정수 값은 (bool)true가 됩니다. (출력 셋째 줄)
따라서 질문자님이 관찰하신 결과가 올바릅니다.
다만, bool이 1비트가 아니어서 생긴 문제가 아니라, Unary operator ~가 피연산자에 대해 Integral promotions을 적용해서 int로 만들고, 그 결과에 다시 Boolean conversions을 적용해서 bool로 돌아오기 때문에 생기는 문제입니다.
bool 가지고 논리 연산을 하고 싶으시면 Unary operator !를 쓰세요. 이 연산자는 피연산자를 먼저 bool 타입으로 변환한 뒤 true와 false를 뒤바꿉니다.
띠용
마지막에 출력되는 값은 ~(~a)인데 그럼 반전된 값을 다시 반전하니 비트가 몇개든 원래값인 false로 돌아와야하는거 아닌가요..? 비트개수말고도 다른게 있는거같아요
https://stackoverflow.com
https://stackoverflow.com/questions/21976630/tilde-operator-returning-1-2-instead-of-0-1-respectively
여기 답글에 보면 ~ 연산자의 피연산자는 int 타입으로 프로모션 된다고 하는군요.
아마도 다음 순서로 진행된 것 같습니다만 확신은 없네요.
좋은 하루 되세요!
ㅋㅋㅋㅋ 이런 재밌는 질문을 들고오면 답을 달 수밖에
ㅋㅋㅋㅋ 이런 재밌는 질문을 들고오면 답을 달 수밖에 없잖아요.
빨리 남은 일 끝내고 자야 하는데 큰일났네.
이렇게 보면 문제의 원인이 더 잘 보입니다:
실행 결과: (https://ideone.com/qBjw99)
따라서 질문자님이 관찰하신 결과가 올바릅니다.
다만, bool이 1비트가 아니어서 생긴 문제가 아니라, Unary operator ~가 피연산자에 대해 Integral promotions을 적용해서 int로 만들고, 그 결과에 다시 Boolean conversions을 적용해서 bool로 돌아오기 때문에 생기는 문제입니다.
bool 가지고 논리 연산을 하고 싶으시면 Unary operator !를 쓰세요. 이 연산자는 피연산자를 먼저 bool 타입으로 변환한 뒤 true와 false를 뒤바꿉니다.
댓글 달기