4.1.2 Ada의 타입 계층 구조

Ada는 타입들을 그 구조적 특성에 따라 체계적인 계층 구조로 분류합니다. 이 구조를 이해하는 것은 Ada의 데이터 구성을 파악하는 데 필수적입니다.

모든 타입은 가장 상위 수준에서 기본 타입(elementary type)과 복합 타입(composite type)으로 나뉩니다.

기본 타입 (elementary type)

값이 논리적으로 더 이상 분해될 수 없는 타입입니다. 기본 타입은 다시 다음과 같이 나뉩니다.

• 스칼라 타입 (scalar type): 이산(discrete) 타입(정수, 열거형)과 실수(real) 타입(부동 소수점, 고정 소수점)을 포함합니다. 모든 스칼라 타입은 순서가 정해져 있어 모든 관계 연산자가 미리 정의되어 있습니다.
  • 이산 타입 (discrete type): '이산(discrete)'이란 값이 연속적(continuous)이지 않고 하나하나 명확히 구분된다는 의미입니다. 예를 들어 실수 타입(real type)은 1.1과 1.2 사이에 1.11과 같은 무한히 많은 값이 존재하지만, 이산 타입은 1과 2 사이에 다른 정수 값이 없듯이 값이 뚝뚝 떨어져 있습니다. 이산 타입은 이러한 정수 타입과 열거형(enumeration) 타입을 포함합니다.
  • 실수 타입 (real type): 부동 소수점(floating point) 타입과 고정 소수점(fixed point) 타입을 포함합니다.
• 접근 타입 (access type): 다른 객체나 서브프로그램의 메모리 위치(주소)를 가리키는 값을 제공하는 타입입니다.

복합 타입 (composite type)

값이 여러 개의 컴포넌트(component) 값들로 구성되는 타입입니다. 복합 타입에는 다음이 포함됩니다. * 배열 타입 (array type): 동일한 타입의 컴포넌트들로 구성된 집합입니다. * 레코드 타입 (record type) 및 레코드 확장 (record extensions): 서로 다른 타입의 명명된 컴포넌트들로 구성된 집합이며 , 타입 확장을 통해 상속을 지원할 수 있습니다. * 인터페이스 타입 (interface type): 다중 상속을 지원하는 추상 태그드 타입입니다. * 태스크 타입 (task type): 독립적인 동시 실행(concurrency) 흐름을 나타내는 타입입니다. * 보호 타입 (protected type): 공유 데이터에 대한 상호 배타적인 접근을 제어하는 타입입니다.

전용 타입(private type)과 태그드 타입(tagged type)은 이 기본 계층 구조에서 다음과 같이 분류됩니다.

• 전용 타입 (private type): private type 선언으로 정의되며 구현이 숨겨진 타입으로 정보 은닉에 사용됩니다. Ada의 공식 분류 체계는 이러한 타입을 복합 타입으로 간주합니다.

• 태그드 타입: 이는 객체 지향 프로그래밍을 지원하기 위한 속성으로, 주로 레코드 타입이나 전용 타입에 적용됩니다. 태그드 타입 역시 복합 타입의 하위 분류에 명확히 포함됩니다.

본 장의 4.2절에서 4.5절까지는 기본 및 복합 타입의 구조적 측면을 다룹니다. 이어서 4.7절에서는 이러한 타입들 가운데 추상화와 객체 지향 프로그래밍에 필수적인 전용 타입과 태그드 타입의 용도와 특성을 상세히 학습합니다.^?