TIL: 타입 주석 / 타입 추론 / 타입 안정성 / 타입 변환 / 타입 애일리어스(Type Alias)

✅ 타입을 확인하는 방법

type(of: 변수 또는 상수 이름)

let integer = 123
type(of: integer)  // 이름이 integer인 상수의 타입을 확인

타입 주석(Type Annotation)

• 타입 주석은 변수를 선언할 때 변수의 자료형을 명확하게 지정하는 방식을 말한다

let a: Int = 123  // 자료형을 명확하게 지정
let b: Double = 3.141592
let c: Character = " "  // 공백을 저장

타입 추론(Type Inference)

• 변수 또는 상수를 선언할 때 타입을 지정하지 않아도 컴파일러가 타입을 유추하여 알맞는 타입으로 저장하는 방식

var name = "Royce"
let pi = 3.141592

type(of: name)  // 변수 name의 타입을 확인
type(of: pi)    // 상수 pi의 타입을 확인

위와 같이 변수 또는 상수 선언 시 타입을 지정하지 않아도 컴파일러가 타입을 유추하여 저장해준다

타입 안정성(Type Safefy)

• Swift는 데이터 타입을 명확하게 구문하여 사용하는 언어이다
• 타입 안정성은 프로그램이 실행되는 동안 데이터가 항상 명시적으로 선언된 타입을 유지하도록 하는 속성이다
  예: 정수 타입으로 선언된 변수에 문자열을 재할당하려고 시도하면 컴파일 또는 런타임 오류가 발생한다
  
• 다른 타입끼리 계산할 수 없다
  

데이터(형) 변환(Type Conversion)

• 타입을 변환하여 사용하는 방법
• 기존 메모리에 저장된 값을 다른 형식으로 바꾸고, 새로운 값을 생성하여 다른 메모리 공간에 다시 저장한다

let string = "123"
let integer = Int(string)  // integer 상수에 Optional(123)이라는 값이 저장된다

let string = "123.456"
let integer = Int(string)  // 이와 같이 Type Conversion이 실패하면 nil(값이 없음)이 리턴된다.

let integer = 1
let double = Double(integer)
print(double)  // 1.0이 출력된다

let double = 3.14
let integer = Int(double)  // integer 상수에 3이라는 값이 저장된다(소수점 부분 제외)

타입 애일리어스(Type Alias)

• 기존에 선언되어있던 타입 또는 직접 만든 타입 등에 새로운 별칭을 붙여 코드의 가독성을 높이는 문법
  typealias 별칭 = 기존에 선언되어있던 타입

var name: String = "Swift"

typealias Name = String

var name: Name = "Royce"