11.1 추상 자료형 소개

• 자료추상화, 자료캡슐화

• 추상화

  • procedure - 연산추상화 제공
  • 가장 대표적인 자료 추상화 - 구조체
  • 목적 - 추상화는 기계에서 일이 수행되는 구체적이고 상세한 것을 모르고도, 컴퓨터의 수행작업을 쉽게 이해하도록 해줌

• 자료형

  • 객체들의 집합 + 객체에 작용하는 연산집합
  • 연산집합 - 실체화, 구축, 소멸, 분리 연산

• 자료추상화

  • 자료형 표현 + 연산들 == 캡슐화

• 추상 자료형

• 캡슐화

  • 창문(windows) 제공 → 캡슐화된 정보 사용 가능
  • 구성
    • 공용부(public part), 가시부(visible part)
    • 전용부(private part)

• 캡슐화

  • 방출 export - 창문 활용한 공개 행위
  • 도입 import - 방출된 객체를 사용할 수 있도록 연결하는 행위

• 예시

ADDQ, DELETEQ, ISEMPTYQ → export 되는 것들

NEXT → 사용자는 알바아님 안보여줌

• 자료 추상화 제공 시 고려 사항
  • 자료추상화 구문 형태는?
  • 영역 규칙과 생성된 객체의 생존기간은?
  • 초기화 또는 최종 마무리할 코드 세그먼트 허용 여부
  • 추상 자료형을 선언하여 어러 개의 실체 생성 여부
  • 추상 자료형 정의에 매개 변수화 사용 여부
  • 가장 중요 - 생성된 실체들 사이에 자료 공유를 어디까지 허용?

11.2 Ada의 추상 자료형