[Swift] 단락 평가 (Short-circuit Evaluation), Side Effect

(모든 코드는 Playground에서 작성되었습니다.)

 

이번엔 단락 평가 (Short-circuit Evaluation) 에 대해서 공부해보려고 한다.

 

단락 평가 (Short-circuit Evaluation) 란?

단락 평가란, 논리식에서 결과를 얻는데 필요한 최소한의 코드만 실행하는 것을 의미한다.

 

예를 들면,

Logical AND (&&) 연산에서 첫번째 피연산자가 false인 경우, 두번째 피연산자는 볼 필요도 없이 무조건 false이다.

Logical OR (||) 연산에서 첫번째 피연산자가 true인 경우, 두번째 피연산자는 볼 필요도 없이 무조건 true이다.

 

하지만!

만약 Logical AND (&&) 연산에서 첫번째 피연산자가 true라면, 두번째 피연산자의 값에 따라 결과가 달라지기 때문에 두번째 피연산자도 실행해보아야한다.

마찬가지로 Logical OR (||) 연산에서 첫번째 피연산자가 false라면, 두번째 피연산자의 값에 따라 결과가 달라지기 때문에 두번째 피연산자도 실행해야한다.

 

이렇게 논리식에서 필요한 최소한의 코드만 실행하는 것을 단락 평가라고 한다!

 

예시를 통해 더 자세히 알아보자.

var a = 1
var b = 1

func updateA() -> Bool {
    a += 1
    return false
}

func updateB() -> Bool {
    b += 1
    return true
}

if updateA() && updateB() {
    // a가 false이므로, updateB()는 호출되지 않는다.
    // 즉, updateA()의 결과에 따라서 updateB()가 호출될 수도, 호출되지 않을 수도 있다.
}

a // 2
b // 1

 

updateA, updateB의 2가지 함수가 존재한다.

updateA는 a를 1 증가시키는 함수이고, updateB는 b를 1 증가시키는 함수이다.

if 구문에는 Logical AND 연산자가 존재하는데, updateA는 항상 false를 리턴한다.

따라서 updateA는 호출되고, updateB는 호출되지 않는다. 

 

실제로 결과를 확인해보면, a는 원래 값에서 1이 증가된 2가, b는 원래 값인 1이 출력되는 것을 확인할 수 있다.

 

여기서 잠깐!

표현식을 평가했을 때, 값이 변경되거나 상태가 변경되는 것을 Side Effect라고 한다.

 

이게 무슨 말이냐면,

a
b

 

위의 코드에서 a, b는 단순히 저장된 값을 출력하고 있다. 저장된 값을 단순히 출력하고, 값의 변경은 없기 때문에 Side Effect는 발생하지 않았다.

 

 

그렇다면 이 코드에서는 Side Effect가 몇 번 발생했을까?

a = 3
b

 

이 경우, a의 값이 1에서 3으로 변경되었으니 1번의 Side Effect가 발생했다고 말할 수 있다!

 

Side Effect는 항상 예측 가능한 범위 내에 있어야하고, 의도한 결과를 도출해야한다.

즉, 위의 코드의 if 구문에서 updateA()가 호출되고, 이는 a 값을 변경시키는 것이므로 Side Effect가 발생한 것이다.

 

 

하지만 논리식에 Side Effect를 발생시키는 코드가 포함되어 있으면 논리적 오류가 발생할 가능성이 높기 때문에, 

가능하다면 논리식을 작성할 때에는 Side Effect가 발생하는 코드는 쓰지 않거나, 아래와 같이 조건 평가 전에 미리 결과를 도출해놓는 것이 좋다.

var a = 1
var b = 1

func updateA() -> Bool {
    a += 1
    return false
}

func updateB() -> Bool {
    b += 1
    return true
}

// 논리 표현식에 관계없이 updateA(), updateB()가 모두 호출된다.
let resultA = updateA() // 2
let resultB = updateB() // 1

if resultA && resultB {
    // 단순히 상수에 저장된 값을 읽는 것이기 때문에, Side Effect는 발생하지 않는다.
}

a // 2
b // 1