기계는 거짓말하지 않는다

단축 평가(SCE)란 논리 연산에서 앞서 계산된 값이 뒤의 조건을 확인하지 않아도 확실하게 만족할 때 뒤의 조건을 계산하지 않고 생략하는 것을 말한다. AND 연산 시 왼쪽 이미지는 두 조건 모두 true 인지 확인하게 되어 num이 3이 된 것을 볼 수 있다. 그러나 오른쪽 이미지는 앞선 조건이 false 이기 때문에 더 이상 확인하지 않는다. OR 연산 시 왼쪽 이미지는 앞 조건이 true 이기 때문에 더 이상 확인하지 않고 num 값이 변하지 않은 것을 볼 수 있다. 반대로 오른쪽 이미지는 앞 조건이 false 이기 때문에 뒤의 조건을 확인하고 num 값이 변한 것을 볼 수 있다. C언어 뿐만 아니라 다른 언어도 마찬가지이다. 조심할 것은 여러 조건을 논리 연산 할 경우 위 이미지 처럼 변수 값을 ..