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

타입 안전성 (type safety) 

결론부터 말하자면 Swift는 타입 안전성이 보장이 되어 있는 언어이다.

Swift는 타입안정성을 추구하기 때문에 코드를 컴파일할 때 타입 확인 작업을 수행하고 잘못된 타입이 있다면 오류를 표시한다.

이는 개발 과정을 통해 오류를 빠르게 확인하고 수정을 가능하게 만들어서 안전성을 보장하게 된다.

 

Swift 언어를 사용하다 보면 나는 타입을 명시해주지 않았는데 잘 돌아가는 경우가 있을 것이다.이것이 가능한 건 Swift가 타입 추론을 지원해 주는 언어이기 때문이다.

let num = 3		//타입을 명시하지 않았지만 컴파일 시 Int타입으로 추론
let name = "JJ"		//타입을 명시하지 않았지만 컴파일 시 String타입으로 추론

 위 예시처럼 타입을 명시해 주지 않아도 컴파일 시 타입 추론을 지원해 준다.

 

※ 참고

1. https://iosbeginner.tistory.com/6