논리 연산자 ( &, |, &&, || )

논리 연산자는 두 개 이상의 조건을 결합하여 하나의 논리적인 결과를 도출하는 연산자입니다. 자바에서는 다음과 같은 네 가지의 논리 연산자를 제공합니다.

a. & : 이 연산자는 AND 연산을 수행하여 양쪽 항이 모두 true일 때만 true를 반환합니다. 예를 들어, a & b 는 a와 b가 모두 true일 때만 true가 됩니다. 만약 a나 b 중 하나라도 false라면 결과는 false가 됩니다.

b. | : 이 연산자는 OR 연산을 수행하여 양쪽 항 중 한쪽만 true를 만족해도 true를 반환합니다. 예를 들어, a | b 는 a나 b 중 하나라도 true이면 true가 됩니다. 만약 a와 b 모두 false라면 결과는 false가 됩니다.

c. && : 이 연산자는 AND 연산을 수행하지만, 만일 왼쪽 항이 false일 경우에는 오른쪽 항을 수행하지 않고 무조건 false를 반환합니다. 이렇게 오른쪽 항의 수행 여부를 결정하는 것을 단락 평가(short circuit evaluation)이라고 합니다. 예를 들어, a && b 는 a가 false이면 바로 false가 되고, a가 true이면 b의 값에 따라 결과가 결정됩니다.

d. || : 이 연산자는 OR 연산을 수행하지만, 만일 왼쪽 항이 true일 경우에는 오른쪽 항을 수행하지 않고 무조건 true를 반환합니다. 이것도 단락 평가입니다. 예를 들어, a || b 는 a가 true이면 바로 true가 되고, a가 false이면 b의 값에 따라 결과가 결정됩니다.

• &&, ||을 단락 연산자(short circuit operator)라고 부릅니다. 이들은 효율적인 프로그래밍에 도움이 될 수 있습니다. 예를 들어, x != 0 && y / x > 10 이라는 조건식은 x가 0이 아닐 때만 y / x > 10 을 검사하므로 0으로 나누는 오류를 방지할 수 있습니다.