Swift 를 처음 접했을 때 가장 이상해보였고, 궁금했던 것이 if와 guard였다.

뭔가 비슷하게 사용되는 것 같으면서도 내가 아는 사용법이 아닌 것도 존재하고… 🤔🤔🤔

1. 조건문(conditional statements)

if 문은 기본적으로 조건문이다. 🙃
즉, 다음과 같이 조건을 검사하고, 일치할 경우 실행할 로직을 정의할 수 있다.

  • if
func largerThanThree(num: Int) -> Void {
    if num > 3 {
        print("\(num) is larger than 3.")
    } else {
        print("\(num) is not larger than 3.")
    }
}

largerThanThree(num: 5) // 5 is larger than 3.
largerThanThree(num: 3) // 3 is not larger than 3.

그런데 Swift 에는 if 말고도 guard라는 것이 있다. 따라서 위 if statement 는 다음과 같이 바꿔 적을 수 있다.

  • guard
func largerThanThree(num: Int) -> Void {
    guard num > 3 else {
        print("\(num) is not larger than 3.")
        return
    }
    print("\(num) is larger than 3.")
}

largerThanThree(num: 5) // 5 is larger than 3.
largerThanThree(num: 3) // 3 is not larger than 3.


조건 검사에 많이 사용하는 Array empty check를 보자.

  • if
var someArray: [Int] = []

func printArray(_ anyArray: [Any]) {
    if anyArray.isEmpty {
        print("Passed array is empty.")
        return
    }
    
    for element in anyArray {
        print(element)
    }
}

printArray(someArray)

someArray = [1, 5, 3]
printArray(someArray)

Passed array is empty.
1
5
3
  • guard
var someArray: [Int] = []

func printArray(_ anyArray: [Any]) {
    guard !anyArray.isEmpty else {
        print("Passed array is empty.")
        return
    }
    
    for element in anyArray {
        print(element)
    }
}

printArray(someArray)

someArray = [1, 5, 3]
printArray(someArray)

Passed array is empty.
1
5
3

num > 3에서는 if와 guard에 동일한 condition 을 사용했지만 anyArray.isEmpty에서는 if 와 달리 guard 에서는 !anyArray.isEmpty를 condition 으로 사용했다.
만약 둘의 코드를 바꿀 경우 Optional binding과 Bool condition의 판단에 따라 조건을 달리 해야하는 상황이 생길 수 있으니 주의하도록 한다.


if가 할 수 있는 것은 guard도 할 수 있고, guard가 할 수 있는 것은 if도 할 수 있다. 그렇다면 무엇이 같고 다를까? 👀

  • 공통점은 다음과 같다.
  1. 조건문(conditional statements)으로 사용할 수 있다.
  2. Optional binding(unwrap)으로 사용할 수 있다.
  3. 조건(condition)은 Bool타입이거나 bridged to Bool타입이어야한다.
  • 그렇다면 다른점은 무엇일까?
  1. guard는 else가 필수다. 반면, if 는 else 가 필수가 아니다.
  2. guard 의 else clause 에는 Functions that Never Return 또는 Control Transfer Statements(return, break, continue, throw) 중 하나를 사용해 block 밖으로 제어를 전송해야한다.
  3. if는 condition 이 true일 때 if block으로 들어가고 nil 또는 false일 때 else block으로 들어간다.
  4. guard는 condition 이 nil이거나 false일 때 else block으로, true일 때 guard 다음 라인으로 넘어간다.
  5. Optional binding으로 사용할 경우, if 에 의해 binding 된 변수의 scope 는 if block이다. 하지만 guard에 의해 binding 된 변수의 scope 는 guard가 속해 있는 block이다.

2. Optional binding(unwrap)

Swift 언어의 특징 중 하나로, nil(다른 언어에서의 null)에 대한 에러 처리를 쉽게 해줌으로써 문법적 Safety를 보장한다.
즉, 문법적 안정성을 위해 Optional을 이용해 wrapping 되어있는 값을 사용하기 위해서는 unwrap을 해야하는데, 이를 Optional binding이라 한다.

Optional binding 을 하는 가장 쉬운 방법은 다음과 같다.

var price: [String: Int] = [
    "coffee": 3000,
    "juice": 4500,
    "cookie": 2000
]
var storeName: String? = "Homeplus"

// Unconditional Unwrapping
storeName!
price["cookie"]!

// Nil-Coalescing Operator
name ?? "GS25"
price["cookie"] ?? 3000

Nil-Coalescing Operator는 condition이 nil 인지를 판별하는 Ternary Operators의 축약형이라 볼 수 있다.

name ?? "GS25"
name != nil ? name! : "GS25"

하지만 Unconditional Unwrapping(=Forced Unwrapping)( name! ) 은 fatal error 를 발생시킬 위험성이 높고 ☠️☠️☠️, Nil-Coalescing Operator( price[“cookie”] ?? 0 ) 은 fatal error 는 발생하지 않겠지만 의도한 바와 다른 비즈니스 로직을 진행하고도 아무런 문제가 없는 것처럼 보이게 된다. 🤥🤥

따라서 Optional binding을 안전하게 하면서, 조건을 이용해 일치하는 경우에 한해 비즈니스 로직을 정확히 처리하기 위해 if나 guard를 이용한 Optional binding이 필요하다.

Optional binding using if

func priceOfTwoCookies() -> Void {
    if let name = storeName {
        if let price = price["cookie"] {
            print("\(name) sells two cookies for \(price * 2) won.")
        }
    } else {
        print("The store is not specified.")
        return
    }
}

priceOfTwoCookies()     // Homeplus sells two cookies for 4000 won.

storeName = nil
priceOfTwoCookies()     // The store is not specified.

if를 이용한 Optional binding의 특징은 price["cookie"]에서 볼 수 있듯이 else block이 필수가 아니다.

물론, if를 사용해도 if block 내부가 아닌 if가 존재하는 block scope 로 만들 수 있다.
하지만 다음과 같은 복잡한 코드가 탄생할 것이다.

func priceOfTwoCookies() -> Void {
    var name: String = ""
    if let storeName = storeName {
        name = storeName    
    } else {
        print("The store is not specified.")
        return
    }
    var price: Int = 0
    if let bindedPrice = price["cookie"] {
        price = bindedPrice
    } else {
        return
    }
    print("\(name) sells two cookies for \(price * 2) won.")
}

Optional binding using guard

func priceOfTwoCookies() -> Void {
    guard let name = storeName else {
        print("The store is not specified.")
        return
    }
    guard let price = price["cookie"] else { return }
    print("\(name) sells two cookies for \(price * 2) won.")
    
}

priceOfTwoCookies()     // Homeplus sells two cookies for 4000 won.

storeName = nil
priceOfTwoCookies()     // The store is not specified.

guard를 이용한 Optional binding 의 특징은 else block이 필수다. 그리고 binding 한 값의 block scope 가 guard 가 속한 code block scope 와 같다.

단일 if에 비즈니스 로직이 짧으면 어떤걸 쓰든 비슷하다. 하지만 위 예제처럼 Optional binding을 여러 번 하거나 비즈니스 로직이 길어지면 코드 가독성이 떨어지게된다. 🥵🥵🥵

하지만 guard는 Optional binding & error handling과 Business logic의 코드가 섞이지 않고 완전히 라인 분리가 가능하다. 따라서 guard 를 사용하면 binding 한 값의 scope 가 guard block 내부가 아닌 guard 가 존재하는 block scope 이므로 코드를 순차적으로 작성하면 된다. 🤩🤩🤩

guard 는 if 와 동일하게 조건절과 Optional binding을 수행할 수 있지만 if 의 가독성 문제를 해결한다.

3. Summary

조건문으로 사용될 때는 Bool condition 이 온다.

if (Bool condition) {
    statements
}

if (Bool condition) {
    statements
} else {

}

guard (Bool condition) else {
    statements

    /*
    It is necessary
    'Functions that Never Return' or 
    'Control Transfer Statements(return, break, continue, throw)'
    */
}

Optional binding 으로 사용될 때는 optional data 가 온다.

if let constantName = someOptional {
    statements
}

if let constantName = someOptional {
    statements
} else {

}

guard let constantName = someOptional else {
    statements

    /*
    It is necessary
    'Functions that Never Return' or 
    'Control Transfer Statements(return, break, continue, throw)'
    */
}

Optional 이 nil이거나 false일 경우는 false, 그 외에는 true가 된다.
즉, bridged to Bool 에 의해 if, guard 의 조건이 결정되고, true일 경우 someOptional 을 let 또는 var 에 unwarp된 값을 할당하는 것이다.



Reference

  1. “Basic Operators.” Welcome to Swift.org. accessed Jul. 3, 2022, https://docs.swift.org/swift-book/LanguageGuide/Methods.html.
  2. “Statements.” Welcome to Swift.org. accessed Jul. 3, 2022, https://docs.swift.org/swift-book/ReferenceManual/Statements.html.