Ada에서의 객체(Object)란 무엇인가?

[cite_start]Ada에서 객체(Object)란 실행 시점(run time)에 생성되며 특정 타입의 값을 가지는 실체(entity)를 의미합니다[cite: 38, 216]. [cite_start]컴파일 시점에 선언된 타입과 상수에 대한 정의가 실행 시점에 구체화(elaboration)되면서, 값을 저장하고 프로그램의 상태를 구성하는 메모리 공간상의 실체가 바로 객체입니다[cite: 36].

쉽게 말해, 프로그램이 동작하는 동안 데이터를 담는 변수, 상수, 매개변수 등을 포괄하는 개념입니다.

객체의 생성

[cite_start]객체는 다음과 같은 과정을 통해 생성되고 초기화될 수 있습니다[cite: 217]: * 선언문의 구체화(elaboration) * 할당자(allocator)의 평가(evaluation) * 애그리게이트(aggregate)의 평가 * 함수 호출(function call)의 평가 * 복사에 의한 매개변수 전달

객체의 분류: 상수와 변수

[cite_start]모든 객체는 상수 객체(constant object) 또는 가변 객체(variable object)로 분류됩니다[cite: 230]. * [cite_start]**가변 객체 (Variable Object)**: 할당문을 통해 값을 갱신할 수 있는 객체입니다[cite: 239]. [cite_start]일반적으로 constant 키워드 없이 선언된 객체나 in out, out 모드의 형식 매개변수 등이 해당됩니다[cite: 241, 242]. * [cite_start]**상수 객체 (Constant Object)**: 초기화된 이후에는 그 값을 수정할 수 없는 객체입니다[cite: 235]. [cite_start]constant 키워드와 함께 선언됩니다[cite: 284].

Ada 언어에서 객체로 간주되는 것들

RM-03.TXT에서는 다음과 같은 항목들을 객체로 명시하고 있습니다. 이는 단순 변수 선언뿐만 아니라 다양한 언어 구성 요소가 실행 시점에는 객체로 취급됨을 보여줍니다.

• [cite_start]object_declaration에 의해 선언된 실체 [cite: 219]
• [cite_start]서브프로그램, 엔트리, 제네릭 서브프로그램의 형식 매개변수(formal parameter) [cite: 220]
• 제네릭 형식 객체(generic formal object)
• [cite_start]루프 매개변수(loop parameter) [cite: 221]
• 반복 컴포넌트 연관(iterated_component_association)의 인덱스 매개변수
• [cite_start]청크 명세(chunk_specification)의 청크 매개변수 [cite: 222]
• [cite_start]예외 핸들러(exception_handler)의 선택 매개변수(choice parameter) [cite: 223]
• [cite_start]엔트리 본문(entry_body)의 엔트리 인덱스(entry index) [cite: 224]
• [cite_start]객체에 대한 접근(access-to-object) 값의 역참조(dereferencing) 결과 [cite: 225]
• [cite_start]함수의 반환 객체(return object) [cite: 226]
• [cite_start]애그리게이트(aggregate)를 평가한 결과 [cite: 227]
• [cite_start]다른 객체의 컴포넌트, 슬라이스, 뷰 변환(view conversion) [cite: 229]
• [cite_start]피연산자가 객체를 나타내는 값 변환(value conversion) 또는 한정 표현식(qualified_expression) [cite: 228]

객체의 주요 속성

• [cite_start]**값 (Value)**: 모든 객체는 특정 타입에 속하는 값을 포함합니다[cite: 216]. [cite_start]객체의 값을 읽는다는 것은 객체의 일부 또는 전체의 값을 평가하는 것을 의미합니다[cite: 238].
• 명목 서브타입과 실제 서브타입 (Nominal and Actual Subtype):
  • [cite_start]객체의 뷰(view)에는 명목 서브타입(nominal subtype)이 연관됩니다[cite: 251]. 이는 선언문에 명시된 서브타입입니다.
  • [cite_start]객체가 실제로 가지는 실제 서브타입(actual subtype)은 명목 서브타입보다 더 제한적일 수 있습니다[cite: 253]. [cite_start]예를 들어, 비제약 배열 타입(unconstrained array)으로 선언된 객체(명목 서브타입)는 초기값에 의해 그 경계가 정해진 제약된 객체(실제 서브타입)가 됩니다[cite: 297].

요약하자면, Ada의 객체는 특정 타입과 값을 가지는 실행 시점의 실체로서, 변수, 상수, 매개변수 등 프로그램의 상태를 구성하는 광범위한 대상을 포함하는 개념입니다.