비트연산을 이용한 뺄셈

Question

비트연산을 사용한 뺄셈에서 a b라고 사용자에게 입력받을 변수 선언하고 (~b+1)+a; 라고 하면 캐리를 고려하지 않은 오류가 발생하지 않나요? 음수간의 뺄셈에서도 오류가 발생할 구간이 있을 것 같은데 설명 부탁드리겠습니다 ㅠㅠ

Answer

오류가 발생하지는 않습니다. C언어에서 정수 자료형의 표현 범위를 넘어서는 값을 대입할 경우 오버플로우가 발생하겠으나 랩핑되어 다시 0으로 돌아오기 때문입니다. 그런 의미에서 오류가 발생할 구간이라는 것은 없다고 보는 것이 좋겠습니다.