학습개요
프로그램은 –1, 0, 1 같은 정수, 0.75, 3.141592 같은 실수, x, y, z 같은 문자 등 다양한 형태의 데이터를 처리합니다. 이러한 데이터들은 사람의 눈으로 보기에는 모두 글자의 조합이지만, 프로그래밍 언어 입장에서는 내부적인 표현 방법도 다르고 처리 방법도 다릅니다. 따라서 대부분의 프로그래밍 언어에서는 데이터를 효과적으로 처리학 위해 타입 개념을 지원합니다. 이번 강의와 다음 강의에서는 프로그래밍 언어의 구성 요소 중 하나인 타입에 대해서 살펴봅니다. 이번 강의에서는 타입의 기본 개념과 분류 기준을 알아본 후, 단순타입에 해당하는 정수형, 실수형, 문자형, 논리형, 열거형에 대해 알아봅니다.
학습목표
- 타입의 개념을 설명할 수 있다.
- 타입의 다양한 분류 기준을 설명할 수 있다.
- 단순타입인 정수형, 실수형, 문자형, 논리형, 열거형을 설명할 수 있다.
정리하기
- 타입은 데이터 집합과 연산 집합의 결합이다. 데이터 집합은 처리 대상이 되는 데이터들의 집합이고, 연산 집합은 해당 데이터에 적용 가능한 연산의 집합이다.
- 프로그램 내 모든 연산 및 함수에 대해 적용 전후의 타입이 연산 및 함수의 정의와 일치한다면 그 프로그램은 타입 안전하다고 한다.
- 강타입 언어는 프로그램에 존재하는 모든 타입 오류를 검출해 내고, 약타입 언어는 일부 타입 오류를 허용한다. 무타입 언어는 타입 선언문이 없고 어떤 대상의 타입이 계속 바뀔 수 있다.
- 타입의 정의에 사용자가 개입할 수 있는지 여부에 따라 원시타입과 사용자정의타입으로 분류한다.
- 데이터 요소의 형태에 따라 단순타입과 복합타입으로 분류한다. 단순타입에는 정수형, 실수형, 문자형, 논리형, 열거형이 있다.
- 정수형은 정수 데이터를 다루는 타입으로, 데이터 집합에 포함되는 정수의 범위에 따라 다양한 타입이 존재한다. 연산 집합에는 사칙연산, 나머지 연산, 비트 연산, 관계 연산 등이 포함된다.
- 실수형은 실수 데이터를 다루는 타입으로, 데이터 집합에 포함되는 실수의 범위는 지수부와 가수부의 범위에 따라 달라진다. 연산 집합에는 사칙연산, 관계 연산 등이 포함된다.
- 문자형은 하나의 문자 데이터를 다루는 타입으로, 데이터 집합에 포함되는 문자의 범위는 ASCII 코드, 유니코드 등에 따라 달라진다. 연산 집합에는 관계 연산 등이 포함된다.
- 논리형은 참과 거짓의 두 논리 데이터를 다루는 타입으로, 연산 집합에는 논리 연산이 포함된다.
- 열거형은 순서 관계가 있는 이름들을 데이터로 다루는 타입으로 사용자정의타입이다. 데이터 집합에는 사용자가 지정한 이름들이, 연산 집합에는 관계 연산 등이 포함된다.