[Java] 쇼트-서킷 (Short-Circuit)

쇼트-서킷 (Short-Circuit)

쇼트서킷이란 논리 연산에서 두 피연산자 중 어느 한쪽만 '참'이면은 우측 피연산자의 값은 평가하지 않고 바로 결과를 얻는 행위를 말합니다. 그래서 같은 조건식이라도 피연산자의 위치에 따라서 연산속도가 달라질 수 있습니다. 

예를 들어 아래와 같은 코드가 있습니다. 과연 출력 결과는 어떻게 나올까요?

// JAVA
public class Test {
    public static void main(String[] args) {
        int a = 0, b = 0;
        if (a == 0 || ++b == 1) {
        }
        System.out.print(a + " " + b);
    }
}

위 코드의 출력 결과는 0 0 이 나옵니다.

실행 결과에서 알 수 있듯이, 두 번의 논리 연산 후에도 b의 값은 여전히 0인 채로 남아있습니다. '||(OR)'의 경우는 좌측 피연산자 (a==0)가 참이라서 우측 연산자를 평가하지 않고 바로 넘어갔기 때문입니다. 따라서 결론적으로 같은 조건식이라도 피연산자의 위치에 따라서 연산속도가 달라질 수 있습니다. 

즉 연산 결과가 '참'일 확률이 높은 피연산자를 연산자의 앞쪽에 놓아야 더 빠른 연산 결과를 얻을 수 있습니다.

그렇다면 JAVA뿐만 아니라 다른 언어들도 Short-Circuit을 지원할까요? 

Short-circuit evaluation - Wikipedia

위키피디아의 Support in common programming and scripting languages 부분 목차를 살펴보면 Short-Circuit을 지원하는 언어 목록을 확인할 수 있습니다. 우리가 알고 있는 언어인 C, C++, JAVA, Kotlin, Python, JS과 같은 언어들도 기본적으로 Short-Circuit을 지원함을 알 수 있습니다.

 

회고

int main(){
    int a = 0, b = 0;
    if(a==0 || ++b == 1);
    cout<<a<<' '<<b;
}

위 코드가 당연히 0 1로 출력이 될 줄 알았는데 아니길래 찾아보다가 쇼트서킷에 대해 알게 되어 정리하게 되었습니다.