Swift에서 타입 안전성(type safety)은 어떤 방식으로 보장되나요?

[Do-hyun-Kim]

Swift에서 타입 안전성(type safety)은 어떤 방식으로 보장되나요?

type safety

• Swift는 type safety한 언어이며, type safety한 언어는 개발자에 하여금 코드를 작성할 때 타입을 명확하게 작성해야 한다.
• Swift는 type safety한 언어를 추구 하기에 코드를 컴파일 할 때 타입 확인 작업을 수행하고 잘못된 타입이 있다면 오류를 표기한다. 이를 통해 빠르게 오류를 수정할 수 있다.
• Swift는 타입 추론 기능도 제공하기에 한 값의 타입을 지칭 해주지 않았다면 컴파일 타임에서 자동으로 타입 추론을 해준다.

type Safety

var intNum: Int = 12
var doubleNum: Double = 12.5

intNum > doubleNum    // Error!!

intNum = 12.5         // Error!!

type Inference

var name = "Jenny"
var age = 26
var phone = "iPhone 13"

type Annotation

• Swift는 type Annotation 기능을 제공해주며 변수,상수를 선언해 줄때 그 타입을 명시적으로 선언 해 줌으로써 어떤 타입의 값이 저장 될 것인지를 컴파일러에게 직접 알려 줄 수 있다.
• 변수,상수명 뒤에 :을 붙이고, 이어서 저장될 값의 타입을 작성 한다.

type Annotation

var year: Int
var day: Int
var name: String

[vichye-1]

타입 세이프티(타입 안전성)란?

• 사용자로 하여금 코드를 작성할 때 사용하는 값의 타입을 명확히 하는 것
• ex) 문자열 타입(String)의 값이 필요할 때 정수 타입(Int)의 값을 사용할 수 없다.

Swift는 type safe 언어이다.

• 특정 타입의 변수에 특정 타입의 데이터만 저장이 가능하다. var name: String = 12345 // Cannot convert value of type 'Int' to specified type 'String' var one: Int = 1.0 // Cannot convert value of type 'Double' to specified type 'Int'