[Swift] 공식 문서 정리 (1) - The Basics

시작하며

Swift에 대해서 처음 공부를 시작해보려고 한다. 무엇보다 시작은 정석부터! Swift 공식문서를 통해 차근차근 swift언어에 대해서 배워보려고 한다. 

Swift 공식 Documents - The Basics

반응형

The Basics — The Swift Programming Language (Swift 5.5)

 

---

The Basics

스위프트는 iOS, macOS, watchOS, tvOS앱 개발을 위한 새로운 프로그래밍 언어이다. 스위프트의 기초적인 자료형은 아래와 같다. 

• 정수를 위한 Int
• 부동소수점 값을 위한 Double & Float
• 부울 값을 위한 Bool
• 텍스트 데이터를 위한 String
• Array
• Set
• Dictionary

스위프트는 C언어와 마찬가지로 변수를 사용하여 값을 저장하고, 참조하기 위해 변수를 사용하고 이름으로 변수를 구분한다. 스위프트에서는 값을 변경할 수 없는 Constant(상수)를 제공하고, 이 상수로 인해서 C언어보다 더 많은 기능을 수행할 수 있을 것이다. 또 object-C에서는 볼 수 없었던 Tuple(튜플) 형식을 제공하므로써, 여러 값을 하나의 값으로 반환할 수 있다.

스위프트에서는 Optional Type(옵셔널 타입)을 제공한다. 이는 값이 없을 때 제어할 수 있도록 한다. 만약 값이 있다면 값을, 값이 없다면 nil 을 사용한다. 

스위프트는 type-safe 언어이기 때문에 사용자가 잘못된 자료형을 사용하면 경고를 줘서 인지하게 한다. 예를들어 일반 string 변수에 optional string을 입력하게 되면 오류를 발생시킨다.

---

Constants and Variables (상수와 변수)

Constants(상수)는 한 번 설정하면 변경할 수 없다. Variable(변수)는 변할 수 있는 값이다.
상수는 let으로 선언되며, 변수는 var로 선언할 수 있다.

▶Declaring Contants ans Variables (상수와 변수 선언)

let maximunNumberOfLoginAttempts = 10
var currentLoginAttemp = 0

상수와 변수는 사용하기 전에 선언되어야 한다. 예시로, 사용자가 시도한 로그인 횟수를 추적하는 코드를 작성할 때 로그인 시도 최대값은 고정으로 가지고 있어야하므로 상수로서 maximunNubmerOfLoginAttempts 로 10을 설정해주었고, 사용자가 시도한 로그인 횟수는 할때마다 +1 되어야하므로 변수로 설정해주었다.

추가로 변수는 한줄로 쉼표(,)를 사용해서 한줄로 정의할 수 있다.

var x = 0.0, y = 0.0, z = 0.0

 

▶ Type Annotations

상수 또는 변수를 설정할 때, type annotations을 사용하여 상수나 변수의 자료형 종류를 명확하게 할 때 사용된다. 클론(:)+공백 으로 정의할 수 있다. (아래)

var welcomeMessage: String

위 코드는 변수로 설정된 string이기 때문에, 어떠한 string 자료형으로 오류없이 해당 변수를 초기화 시킬 수 있다.

welcomMessage = "Hello"

추가로 type annotation도 쉼표(,)를 사용해서 한줄로 표현 가능하다.

var red, green, blue: Double

 

▶ Naming Constants and Variables (상수 및 변수 이름 지정)

변수와 상수는 유니코드에 있는 모든 문자열로 이름을 설정할 수 있다. (오 독특함!!)
단, 변수와 상수의 이름에는 띄어쓰기(공백)이 존재할 수 없고, 수학기호, 화살표, private-use Unicode scalar values, line-and box drawing 문자를 사용할 수 없다. 또한 숫자로 시작할 수 없다. 한번 상수,변수로 선언되면 같은 이름의 다른 상수,변수를 만들 수 없고, 자료형을 바꿀 수도 없다. 상수로 설정된 것을 변수로 바꾸는 것도 불가능하다. 

let π = 3.14159
let 你好 = "你好世界"
let 🐶🐮 = "dogcow"

 

▶ printing constants and variables (상수와 변수 출력)

상수와 변수는 print(_:separator:terminator:)함수로 출력할 수 있다.

var friendlyWelcome = "HI"
print(friendlyWelcome)

print함수는 Xcode의 콘솔창에 값을 출력한다. separator, terminator에는 디폴트값이 있어서 함수를 출력할 때 꼭 매개변수에 무엇인가를 해주지 않아도 된다. terminator는 종결자라는 의미로, 기본적으로 줄바꿈이 있어서 print함수를 호출하면 줄 바꿈이 되는데, 이를 줄 바꿈없이 넣고 싶다면 빈문자열을 마침표로 넣어주면 된다. print(someValue, terminator:"") swift는 문자열 보간을 사용하여 상수나 변수이름을 긴 문자열의 중간에 출력할 수 있다.

print("The current value of friendlyWelcome is \(friendlyWelcome)")
// 출력: The current value of friendlyWelcome is HI

 

▶ Comments (주석)

주석은 설명 색략 ^^

// This is comments.

/* This is also a comment
but is written over multiple lines. */

/*This is the start of the first multiline commet.
 /*This is the second, nested multiline comment. */

/*, */로 묶여 있는 주석은 여러 줄을 한 번에 주석 처리 할 수 있다. C언어와 다르게 주석 안에 다른 주석이 중첩될 수 있다고 한다. 앞에 한칸 띄어쓴거 주의!

 

▶ Semicolons (;)

다른 언어와 마찬가지로 스위프트에서도 코드 마지막에 ; 를 쓰지 않아도 된다. (써도 됨.) 하지만 한 줄에 여러개의 실행문을 쓰고 싶다면 ;를 꼭 붙여야 한다.

let cat = "🐱"; print(cat) // Prints "🐱"

 

---

Integers (정수)

integers 는 42, -23과 같이 분수 성분이 없는 수이다. 양수, 0, 음수가 정수에 포함한다. Swift는 8, 16, 32, 64비트 형식의 부호 있는 정수와 부호 없는 정수를 제공한다. 부호가 없는 정수는 UInt8 유형이고, 부호가 있는 정수는 Int8유형 이다. Swift의 모든 형식과 마찬가지로 이 정수형들은 모두 대문자로 시작한다.

▶ 정수의 한계값

min, max property를 사용하여 각 정수 타입의 최댓값과 최솟값에 접근할 수 있다.

let minValue = UInt8.min //minValue is equal to 0, and is of type UInt8
let maxValue = UInt8.max //maxValue is equal to 255, and is of type UInt8

 

▶ Int 

대부분의 경우 정수형을 사용할 때 크기를 선택할 필요는 없고 Int 를 사용하면 된다. 사용자 컴퓨터에 따라 알아서 Int32, Int64로 정의 된다. (32비트 컴퓨터 --> Int32로 알아서 정의) Int32도 -2,147,483,648 ~ 2,147,483,647 사이의 값을 저장할 수 있으므로 충분히 크다.

▶ UInt

Swift는 부호가 없는 정수형 UInt도 제공하며, Int 와 마찬가지로 알아서 정의된다.  (32비트 컴퓨터 --> UInt32로 알아서 정의)

---

Floating-Point Numbers (부동소수점)

부동소수점은 3.14159, 0.1 및 -273.15와 같이 부분 성분이 있는 숫자이다. 부동소수점은 정수형보다 훨씬 넓은 범위의 값을 나타낼 수 있다. 

• double : 64비트 부동소수점 숫자
• float : 32비트 부동소수점 숫자

---

Type Safety and Type Inference

swift는 type safety 언어이다. 즉 Int 에는 String 을 전달할 수없는 등 값의 유형을 명확하게 한다는 것이다. 이러한 특징 때문에 코드를 컴파일 할때 type검사를 수행하고 일치하지 않는 type에는 error로 flag를 저장한다. 따라서 개발 프로세스에서 오류를 최대한 초기에 발견하고 수정할 수 있다.

Type-checking은 다른 유형의 값으로 작업할 때, 오류를 방지해준다. 그러나 선언하는 모든 변수나 상수의 유형을 모두 지정할 필요는 없다. 유형을 선언하지 않으면 swift는 type-inference을 통해서 적절한 유형을 검사하고 계산해준다.
Type-inference 로 인해서 objective-C 나 C언어와는 다르게 자료형의 선언이 필수적이지 않다. 하지만 변수 및 상수를 선언하는 var나 let은 꼭 써줘야한다.

let meaningOfLife = 42
// meaningOfLife is inferred to be of type Int

이렇게 Int라고 지정해주지 않아도, swift는 알아서 42가 Int임을 추론한다.

let pi = 3.14159 
// pi is inferred to be of type Double

이것도 알아서 Double로 추론한다.

 

---

Numeric Literals

정수형 literals는 다음과 같이 나타낼 수 있다.

let decimalInteger = 17
let binaryInteger = 0b10001       // 17 in binary notation
let octalInteger = 0o21           // 17 in octal notation
let hexadecimalInteger = 0x11     // 17 in hexadecimal notation

• 접두사가 없는 10진수
• 접두사가 0b인 2진수
• 접두사가 0o인 8진수
• 접두사가 0x인 16진수

 floating-point 리터럴은 접두사가 없는 10진수 이거나,  16진수 (0x 접두사)이다.  항상 소수점 옆에 숫자 (또는 16진수)가 있어야 한다. 또한 e로 표현되는 지수를 가질 수도 있다.

• 1.25e2 means 1.25 x 102, or 125.0.
• 1.25e-2 means 1.25 x 10-2, or 0.0125.

16진수에서는 e가 아니라 p로 지수를 표현한다.

• 0xFp2 means 15 x 22, or 60.0.
• 0xFp-2 means 15 x 2-2, or 3.75.

아래는 12.1875를 floating-point로 표현한 코드다.

let decimalDouble = 12.1875
let exponentDouble = 1.21875e1
let hexadecimalDouble = 0xC.3p0

정수 리터럴은 읽기 쉽도록 서식을 추가할 수 있다. Int 와 float 모두 0으로 채워넣을 수도 있고, 일기 쉽게 밑줄을 함께 포함시킬 수 있다. 리터럴의 기본값에는 영향을 주지 않는다.

let paddedDouble = 000123.456
let oneMillion = 1_000_000
let justOverOneMillion = 1_000_000.000_000_1

---

Numeric Type Conversion

음수가 아닌 정수에도 상수 및 변수라면 Int를 써야한다. 이렇게 해야만 어떠한 경우에도 정수형 상ㅅ우와 변수가 상호적으로 사용될 수 있기 때문이다. 다른 정수의 유형은 성능, 메모리 사용량 등에 따라 필요한 경우에만 사용하는 것을 추천한다.

▶ Integer Conversion

정수 상수 또는 변수에 저장할 수 있는 숫자의 범위는 정수 타입마다 다르다. Int8은 -128ㅇ부터 127사이의 숫자를 저장할 수 있는 반면, UInt8은 0에서 255 사이의 숫자를 저장할 수 있다. 이를 초과한 코드를 컴파일하면 오류가 난다. 

let cannotBeNegative: UInt8 = -1
// UInt8 can't store negative numbers, and so this will report an error
let tooBig: Int8 = Int8.max + 1
// Int8 can't store a number larger than its maximum value,
// and so this will also report an error

각 정수 타입마다 저장할 수 있는 값이 다르기 때문이다. 사용을 위해서는 다른 정수타입으로 변환을 해주어야 한다.

let twoThousand: UInt16 = 2_000 
let one: UInt8 = 1 
let twoThousandAndOne = twoThousand + UInt16(one)

위 코드를 보면 마지막에 두 변수를 더해줄 때 one변수를 UInt16으로 변환해주고 더했다. 정수타입이 다르기 때문에 같은 유형으로 바꿔준후 연산을 수행해야 한다.

▶ Integer and Floating-Point Conversion

정수와 부동 소수점 숫자의 변환은 명시적으로 작성해야한다. 아래 코드도 마찬가지로, 같은 타입으로 변환한 뒤 연산을 수행해야 한다.

let three = 3
let pointOneFourOneFiveNine = 0.14159
let pi = Double(three) + pointOneFourOneFiveNine 
// pi equals 3.14159, and is inferred to be of type Double

부동소수점 숫자를 Int형으로 변환하면, 소수점 아래의 수는 모두 버림으로 처리한다.

let integerPi = Int(pi)
// integerPi equals 3, and is inferred to be of type Int

---

Type Aliases (별칭)

별칭 : 기존 타입을 다른 이름으로 선언하는 것
별칭을 아래와 같이 사용하게 되면, UInt16 타입의 자료형을 AudioSample 이라는 이름으로 사용할 수 있게된다.

typealias AudioSample = UInt16

---

Booleans

swift에서는 기본 boolean type으로 bool을 가지고 있다. True/False 값만을 가질 수 있다.

let orangesAreOrange = true
let turnipsAreDelicious = false

이처럼  True, False로 설정해준다면, Bool로 선언할 필요가 없다. Boolean 값을 사용하게 되면 조건문을 사용할 때 유용하게 사용할 수 있다.

if turnipsAreDelicious { 
	print("Mmm, tasty turnips!") 
    } else {
    	print("Eww, turnips are horrible.") 
        } 
// Prints "Eww, turnips are horrible."

Swift는 type safe 언어이기 때문에 boolean값이 들어와야할 자리에 다른 값이 들어오게 되면 당연히 에러를 내뱉는다. 아래와 같은 기본 연산자로도 bool 자료형을 선언할 수 있다.

let i = 1
if i == 1 {
	// this example will compile successfully 
}

---

Tuple (튜플)

튜플은 여러 개의 값을 하나의 복합 값으로 그룹화 하는 것이다. 튜플 내의 값은 하나의 자료형만 존재해도 되고, 여러개의 자료형이 함께 존재해도 무방하다.

let http404Error = (404, "Not Found")
// http404Error is of type (Int, String), and equals (404, "Not Found")

let (statusCode, statusMessage) = http404Error

print("The status code is \(statusCode)")
// Prints "The status code is 404"
print("The status message is \(statusMessage)")
// Prints "The status message is Not Found"

▶ swift 튜플 언더바 (_) 사용하여 원하는값 출력하기

개발자는 튜플의 값 중에서 몇 개의 값만 필요하다면, 언더바(_)를 사용할 수 있다.

let (justTheStatusCode, _) = http404Error 
print("The status code is \(justTheStatusCode)") 
// Prints "The status code is 404"

• http404Error 에서 statusCode 만 justTheStatusCode로 대체되고, 뒤에 값은 _로 무시된다. 따라서 justTheStattusCode를 출력하면 무시되지 않은 statusCode만 출력된다.

let http404Error = (111, 404, "Not Found")
// http404Error is of type (Int, String), and equals (404, "Not Found")

/*let(num1, num2, message) = http404Error
이건 각 튜플에 이름을 정해주는 것이다. 이렇게 이름을 지어주는 것은 필수적이지 않다. */

let(_, just, _) = http404Error
print(\(just))
// '404'가 출력된다.

▶ 인덱스를 사용하여 출력하기

튜플 값에 접근 할 때 아래와 같이 인덱스로 접근할 수도 있다. (0부터 시작!)

print("The status code is \(http404Error.0)")
// Prints "The status code is 404"
print("The status message is \(http404Error.1)")
// Prints "The status message is Not Found"

▶ 튜플에 이름 설정하고 출력하기

새로운 튜플을 생성할 때 각 값에 이름을 붙여주고 아래와 같이 선언하면 된다.

let http200Status = (statusCode: 200, description: "OK")

print("The status code is \(http200Status.statusCode)")
// Prints "The status code is 200"
print("The status message is \(http200Status.description)")
// Prints "The status message is OK"

튜플은 함수의 반환값으로 사용하면 유용할 것이다. 예를들어 웹 페이지의 검색 성공 또는 실패를 설명하기 위해서 (Int, String) 튜플 타입을 사용하면 유용할 것이다~!

---

Optional (옵셔널)

개발자는 Optional을 비어있는 값을 표현할 때 활용할 수 있다. 옵셔널은 값이 있거나 없거나, 이 두가지를 표현한다. 따라서 개발자는 옵셔널을 통해 값이 있는지 없는지 확인해야한다.

let possibleNumber = "123"
let convertedNumber = Int(possibleNumber)
// convertedNumber is inferred to be of type "Int?", or "optional Int"

이 코드를 보면, string 형태의 123을 Int 로 바꿔주었다. 이처럼 String 타입을 Int로 바꿀 수있는 string이 있고, 없는 String이 있다. 예시로 "Hello"는 Int로 바꿀 수 없을 것이다. 이런 경우에 Int? 나 optional Int를 사용하게 되면, 123처럼 Int로 변형이 가능하면 값을 넣을 것이고, hello처럼 int로 변환할 수 없는 경우에는 nil 값을 넣음으로써 전체적인 코드의 에러를 방지할 수 있다.  자료형 뒤에 ? 를 붙이면 옵셔널로 선언하는 것이다. 하지만 Int? 를 선언하면, Int형과 nil형만 저장되고, string이나 bool값은 저장되지 않는다.

var name: String?
print(name)
// name의 자료형만 선언되었고, 값이 지정되지 않았기 때문에 nil을 출력

name = "My life story"
print(name)
// My life story 출력

▶ nil

var serverResponseCode: Int? = 404
// serverResponseCode contains an actual Int value of 404
serverResponseCode = nil
// serverResponseCode now contains no value

위 코드 처럼 정수형 옵셔널 (Int?) 로 선언된 값에 nil을 넣어주면, 이제 serverResponseCode에는 아무값이 존재하지 않게 된다.

▶ If Statements and Forced Unwrapping

개발자는 옵셔널에 값이 있는지 없는지를 확인하기 위해 if 조건문을 사용할 수 있다.

if convertedNumber != nil {
    print("convertedNumber contains some integer value.")
}
// Prints "convertedNumber contains some integer value."

아래와 같은 조건문에서 보면, 출력할 때 변수 뒤에 ! 가 붙어있다. 이는 조건문에서 nil말고 들어있는 값을 직접 꺼내어준다.

if convertedNumber != nil {
    print("convertedNumber has an integer value of \(convertedNumber!).")
}
// Prints "convertedNumber has an integer value of 123."

 

▶ Optional Binding (옵셔널 바인딩)

옵셔널 바인딩은, 옵셔널에 값이 있는지 본 뒤 있다면 해당 값을 가지는 상수나 변수를 만들고 사용할 수 있게 하는 것이다. if, while문이 사용될 수 있고 사용법은 아래 코드와 같다.

if let actualNumber = Int(possibleNumber) {
    print("The string \"\(possibleNumber)\" has an integer value of \(actualNumber)")
} else {
    print("The string \"\(possibleNumber)\" couldn't be converted to an integer")
}
// Prints "The string "123" has an integer value of 123"

possibleNumber는 옵셔널 변수이다. 만약 possibleNumber가 nil 이라면, actualNumber는 만들어지지 않을 것이다. 앞서 코드에서 possibleNumber는 123으로 nil이 아니었으므로, if 첫번째 구문이 출력되었다. 앞에서 언급했던 것처럼  actualNumber에는 !를 붙이지 않아도 값이 출력된다. (왜..? !왜 붙이는지 다시 찾아보자)

물론 var을 사용해서 변수처럼 사용할 수도 있다. 더불어서 아래 코드와 같이 여러개의 옵셔널 바인딩을 한 번에 사용할 수도 있다.

if let firstNumber = Int("4"), let secondNumber = Int("42"), firstNumber < secondNumber && secondNumber < 100 {
    print("\(firstNumber) < \(secondNumber) < 100")
}
// Prints "4 < 42 < 100"

if let firstNumber = Int("4") {
    if let secondNumber = Int("42") {
        if firstNumber < secondNumber && secondNumber < 100 {
            print("\(firstNumber) < \(secondNumber) < 100")
        }
    }
}
// Prints "4 < 42 < 100"

(추가로 예제 연습)

var optionalName: String? = "홍길동"
var optionalEmail: String? = "gildong@gmail.com"

if let name = optionalName, let email = optionalEmail {
  // name과 email 값이 존재
  print("name is \(name) and email is \(email)")
}
// 출력: name is 홍길동 and email is gildong@gmail.com

 

▶ Implicitly Unwrapped Optionals (임시적으로 unwrap된 옵셔널)

여태 배운 지식에 의하면 옵셔널을 사용하려면 if를 사용하여 값이 존재하는지 확인한 뒤, 옵셔널 바인딩으로 값에 접근할 수 있었다. 만약 nil이 아닌 값이 존재하는 값이 존재한다면, if let 같은 구문을 사용하지 않고 바로 접근하는 것이 편할 것이다. 이럴 때 바로 값에 접근할 수 있는 방법이 바로 !(느낌표)를 붙이는 것이다.
옵셔널 변수 선언 시, ? 를 붙이면 암시적 옵셔널, !를 붙이면 명시적 옵셔널이 된다. ! 를 붙인 옵셔널은 처음 정의된 후에는 값이 존재한다고 보고, 앞으로 모든 시점에서 존재한다고 확신하게 된다. swift에서는 주로 클래스를 초기화 할때 !를 사용한다.

let possibleString: String? = "An optional string."
let forcedString: String = possibleString! // requires an exclamation point

let assumedString: String! = "An implicitly unwrapped optional string."
let implicitString: String = assumedString // no need for an exclamation point

forcedString 에서 possibleString 뒤에 ! 를 붙여준 이유는, possibleString이 암시적 옵셔널 이기 때문이다. 하지만 처음부터 !를 사용해서 명시적 옵셔널 변수로 사용한 assumedString은 ! 를 사용하지 않고 바로 다른 변수에서 사용할 수 있다.

let optionalString = assumedString
// The type of optionalString is "String?" and assumedString isn't force-unwrapped.

만약 암시적으로 선언된 옵셔널이 nil인데, 명시적 옵셔널이 접근하려고 하면 오류가 발생한다. 위 코드처럼 string?(암시적 옵셔널) 타입인 optionalString에 String!(명시적 옵셔널) 타입인 assumedString이 접근하려고 하여 오류가 발생할 것이다.

이런 경우에는 아래와 같이 if문을 사용하여 오류를 방지할 수 있다.

if let definiteString = assumedString {
    print(definiteString)
}
// Prints "An implicitly unwrapped optional string."

---

Error Handling

Error handling 을 사용하여 프로그램을 실행하는 동안 발생할 수 있는 오류 조건에 대응할 수 있다. function의 성공 또는 실패를 전달하기 위해 값의 유무를 사용할 수 있는 optional(옵셔널)과 달리, error handling은 개발자가 근본적인 실패 원인을 결정할 수 있게 하며, 필요하다면 오류를 프로그램의 다른 부분으로 전파할 수 있게 한다.

function이 에러 조건을 만나면 에러를 발생시키고, 그러면 해당 함수의 호출자가 오류를 감지하고 적절하게 응답할 수 있을 것이다.

func canThrowAnError() throws {
    // this function may or may not throw an error
}

만약 함수에서 에러가 발생하면 throws 를 사용하여 에러를 던질 수 있고, try를 사용하여 오류를 발생시킬 수 있는 함수를 호출하고,  그 뒤에 catch를 사용하여 에러를 잡아서 반응할 수 있다.

do {
    try canThrowAnError()
    // no error was thrown
} catch {
    // an error was thrown
}

만약에 canThrowAnError에서 에러가 발생하면 오류가 전파되고 catch 구문이 실행되게 된다. 에러가 발생하지 않으면 그냥 함수를 수행한다. do 구문은 일단 그냥 실행해보는 함수이다.

func makeASandwich() throws {
    // ...
}

do {
    try makeASandwich()
    eatASandwich()
} catch SandwichError.outOfCleanDishes {
    washDishes()
} catch SandwichError.missingIngredients(let ingredients) {
    buyGroceries(ingredients)
}

조금 더 구체적인 예시이다. makeASandwich 함수를 실행하려고 했는데 만약 오류가 발생하면 catch 구문을, 아니면makeASandwich 실행 후 eatASandwich 함수를 실행한다는 의미이다. 여기서 SandwichError.outOfCleanDishes나 SandwichError.missingIngredients(let ingredients)는 위에서는 생략되었지만 개발자가 미리 선언한 에러의 종류라고 생각하면 된다. 즉 에러의 종류에 따라 실행할 코드를 달리하는 것이라고 볼 수 있다.

아마 공식 문서 이후에 Error Handling 단원이 따로 있다. 거기서 더 자세한 내용을 다뤄보도록 하자.

---

Assertions and Preconditions

Assertions and preconditions는 런타임 시 발생하는 것들을 확인하는 것이다. 추가 코드를 실행하기 전에 사용해서 조건들이 맞는지 확인할 수 있다. 만약 조건들이 false가 나오면 코드 실행이 stop되고 프로그램이 종료될 것이다. 

Assertion은 개발 과정에서 실수를 잡아주고, preconditions는 문제를 감지하는데 도움을 준다.

앞에서 배운 error handling과는 다르게 assertions and preconditions는 복구 가능하거나 예상되는 오류에는 사용되지 않는다. 이는 발견 즉시 프로그램을 종료하기 때문이다. 하지만 반대로, 바로 코드를 중단시키기에 잘못된 상태로 프로그램이 진행되는 상황을 막을 수 있다. 또한 프로그램 종료를 시켜버리므로 오류를 쉽게 디버깅 할 수 있다.

Assertions과 Precondition의 조건들을 확인할 때 차이가 난다.. Asserions는 디버그 빌드에서만 체크를 하지만 Preconditions는 디버그, 프로덕션 빌드 모두 체크한다. 프로덕션 빌드에서는 Assertion이 체크되지 않기 때문에 프로덕션 성능에 영향을 주지 않으면서 Assertion을 사용할 수 있다.

▶ Debugging with Assertions

Assertion은 assert(_:_:file:line:) 함수로 사용될 수 있다. true 또는 false로 평가되는 식과 조건의 결과가 false인 경우 표시할 메시지를 함수에 전달한다. (false인경우 프로그램을 바로 종료하고, 오류 구문이 출력된다.)

let age = -3
assert(age >= 0, "A person's age can't be less than zero.")
// This assertion fails because -3 isn't >= 0.

if age > 10 {
    print("You can ride the roller-coaster or the ferris wheel.")
} else if age >= 0 {
    print("You can ride the ferris wheel.")
} else {
    assertionFailure("A person's age can't be less than zero.")
}

만약 조건이 이미 체크 되었다면, assertionFailure() 함수를 사용하여 실패를 알릴 수 있다.

 

---

Enforcing Preconditions

precondition은 조건이 거짓이 될 가능성이 있지만, 코드가 실행되기 위해서 반드시 참이어야할 때 사용한다. precondition(_:_:file:line:) 함수로 사용할 수 있고 만약 조건이 false라면 설정해둔 오류 구문을 출력한다.

// In the implementation of a subscript...
precondition(index > 0, "Index must be greater than zero.")

preconditionFailure(_:file:line:) 함수를 사용해서 실패가 발생했다는 것을 표시할 수 있다. 만약 uncheckedmode(-Ounchecked) 라면 preconditions는 체크되지 않는다. 이때 컴파일러는 조건들이 모두 참이라고 생각하고 진행한다. 그러나 fatalError(_:file:line:) 함수는 이와 관계없이 항상 체크되고 프로그램을 중지시킨다. 개발자는 fatalError(_:file:line:) 함수를 개발 초기에 사용하여 치명적인 오류에 대해 항상 중지되도록 설정할 수 있다.

 

마무리

공식문서가 .. 참 길다... 근데 다시금 기초부터 시작해서 차근차근 모든 것을 완벽하게 알고 가야한다고 깨달았다. 하나하나 설명을 이렇게 해석하면서 공부한건.. 파이썬도 안했던 건데 훨씬 개념이 잘 잡히기는 한것같다. 생각보다 많은 시간이 걸려서 하루에 하나씩 포스팅해보려고한다. 28개의 단원이 있으니, 한달은 잡아야겠다 :)

본 포스팅은  https://icksw.tistory.com/2?category=876233 핑구님의 블로그로 부터 이해가 안되는 부분을 참고하였고,  apple의 swift 공식문서 를 papago 기준으로 번역하여 작성되었습니다.