🪴Swift는 Type-Safe한 언어!

Type-Safe

Swift는 타입 세이프(type-safe) 언어입니다.

타입 세이프란 언어가 값에 대해 타입을 명확하도록 도와주고 코드에서 같이 동작할 수 있도록 해줍니다.

type-safety

타입 세이프티는 만약 String을 요구하는 코드에서 실수로 Int로 전달하는 것을 막아줍니다.

마찬가지로 옵셔널이 아닌 String을 요구하는 코드에 옵셔널 String을 전달하는 것을 막아줍니다.

var myString: String = "가나다라"
var myNumber: Int = 1234

myString = myNumber //Error: 타입 불일치로 인해 대입불가!

var myString: String = "가나다라"
var myOptionalString: String? = "아자차카"

myString = myOptionalString //Error: 타입 불일치로 인해 대입불가!

타입 세이프티는 개발 단계에서 가능한 빠르게 에러를 찾고 고칠 수 있게 도와줍니다.

타입에 불안정적이다?

타입을 판별(Type Check)하지 못해 Runtime 시 타입으로 인한 문제가 발생하는 것입니다.

즉, String을 요구하는 코드에서 Int로 대입이 가능한 것!

var myString: String = "가나다라"
var myNumber: Int = 123

myString = MyNumber //대입 불가되어야 하지만 대입 성공되는 것..!

타입 세이프 하다?

타입을 판별(Type Check) 할수있어 Runtime 전에 먼저 컴파일 단계에서 문제를 잡을 수 있는 것입니다.

 

만약 Swift가 타입 세이프하지 않은 언어였다면 앱 사용 중에 예기치 못한 타입 문제로 인해 crash 현상이 발생할 수 있을 것입니다.