디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

Ada 프로그래밍: 7. 객체 지향 프로그래밍 (OOP)

나르시갤로그로 이동합니다. 2025.10.20 09:04:04
조회 75 추천 0 댓글 0

7. 객체 지향 프로그래밍 (OOP)

7.1 Ada의 객체 지향 패러다임 개요

Ada의 객체 지향 프로그래밍은 패키지(package)를 통한 캡슐화, 태그드 타입(tagged type)을 통한 타입 확장 및 상속, 그리고 디스패치 연산(dispatching operation)을 통한 런타임 다형성을 기반으로 합니다. 또한 인터페이스 타입(interface type)을 통해 다중 상속을 지원합니다.


7.2 캡슐화와 정보 은닉 (Encapsulation and Information Hiding)

7.2.1 패키지를 이용한 추상화

Ada의 캡슐화는 패키지(package)를 통해 이루어집니다. 패키지는 명세(specification)와 구현부(body)로 분리되며, 명세의 'visible part'는 클라이언트에게 논리적 인터페이스를 제공하고, 'private part'와 'body'는 구현 세부 사항을 은닉합니다.

7.2.2 전용 타입 (Private Types)

전용 타입(private type)은 패키지의 'visible part'에 선언되어 클라이언트에게는 타입의 이름과 관련 연산만 노출하고, 완전한 정의는 'private part'에 위치시켜 구현 세부 사항을 은닉합니다. 이는 데이터 추상화의 핵심입니다.

7.2.3 제한된 타입 (Limited Types)

제한된 타입(limited type)은 할당 연산(assignment)과 사전 정의된 동등 연산(equality)이 허용되지 않는 타입입니다. 이는 타입 정의에 limited 예약어를 사용하여 명시합니다.


7.3 상속과 타입 확장 (Inheritance and Type Extension)

7.3.1 태그드 타입 (Tagged Types)

태그드 타입(tagged type)tagged 예약어로 선언되며, 타입 확장을 지원하고 런타임 다형성의 기반이 됩니다. 태그드 타입의 객체는 런타임에 자신의 특정 타입을 식별하는 태그(tag)를 가집니다.

7.3.2 타입 확장 (Extension)과 프리미티브 연산 (Primitive Operations)

타입 확장(type extension)은 기존 태그드 타입을 부모 타입으로 하여 새로운 타입을 파생(derive)하는 것을 의미합니다. 파생 타입은 부모의 모든 특성을 상속받습니다. 레코드 확장(record extension)의 경우, 부모 타입에 새로운 컴포넌트를 추가할 수 있습니다. 파생 타입은 부모 타입의 프리미티브 연산(primitive operation)을 상속받습니다.

7.3.3 연산 재정의 (Overriding)

파생 타입은 상속받은 프리미티브 연산을 재정의(overriding)하여 새로운 구현을 제공할 수 있습니다. Ada는 overriding 표시자를 사용하여 재정의 의도를 명시적으로 선언하도록 권장합니다.


7.4 다형성 (Polymorphism)

7.4.1 클래스-와이드 타입 (Class-Wide Types)

태그드 타입 T에 대해, 클래스-와이드 타입(class-wide type) T'Class는 T 또는 T의 모든 파생 타입을 포함하는 'derivation class' 내의 모든 값을 나타냅니다.

7.4.2 동적 디스패치 (Dynamic Dispatching)

디스패치(dispatching)는 런타임 다형성을 구현하는 핵심 메커니즘입니다. 클래스-와이드 타입의 객체를 통해 프리미티브 연산을 호출할 때, 객체의 런타임 태그를 기반으로 해당 특정 타입에 맞는 연산의 구현부(body)가 동적으로 선택되어 실행됩니다.

7.4.3 'Tag와 'Class 속성

'Class 속성은 특정 태그드 타입 S에 대해 클래스-와이드 타입 S'Class를 나타냅니다. 'Tag 속성은 타입(S'Tag) 또는 객체(X'Tag)의 런타임 태그 값을 반환하며, 이는 Ada.Tags 패키지의 Tag 타입입니다.


7.5 추상화의 심화

7.5.1 추상 타입 (Abstract Types) 및 서브프로그램 (Abstract Subprograms)

추상 타입(abstract type)abstract 예약어로 선언되며, 객체를 직접 생성할 수 없고 다른 타입의 조상 타입으로만 사용됩니다. 추상 서브프로그램(abstract subprogram)은 구현부(body)가 없으며, 반드시 파생된 구체적인(non-abstract) 타입에서 재정의되어야 합니다.

7.5.2 인터페이스 타입 (Interface Types)과 다중 상속

인터페이스 타입(interface type)은 컴포넌트가 없는 추상 태그드 타입입니다. Ada는 인터페이스를 통해 다중 상속을 지원합니다. 하나의 타입은 여러 개의 인터페이스 타입(progenitor)으로부터 연산을 상속받을 수 있습니다.


추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 영포티룩도 멋지게 소화할 것 같은 40대 스타는? 운영자 25/10/27 - -
AD 할로윈 슈퍼위크~!! 운영자 25/10/23 - -
2897725 ㅇㅅㅇ [1] 헤르 미온느갤로그로 이동합니다. 10.22 75 0
2897724 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥벼락부자냥덩♥갤로그로 이동합니다. 10.22 72 0
2897722 컴공갔던거 존나후회되네 [7] 프갤러(36.38) 10.22 228 0
2897721 미국 유튜버 셀프 노딱 chironpractor갤로그로 이동합니다. 10.22 50 0
2897720 광어회 먹고싶은데 [6] 루도그담당(211.184) 10.22 98 0
2897718 함수형이랑 객체지향이랑 섞어쓰면되지 ㅇ.ㅇ [3] 밀우갤로그로 이동합니다. 10.22 113 0
2897717 객체지향 함수형 싸우지 말고 러스트 하면 다 됩니다. [5] 프갤러(218.154) 10.22 116 0
2897716 와 총리가 왕한테 수여받는거 처음봄 [7] 프갤러(175.197) 10.22 101 0
2897715 납품했으니 다시 자야긋다 [7] ㅆㅇㅆ(124.216) 10.22 119 0
2897714 [고용노동부] 현대오토에버 모빌리티 SW 스쿨 3기 클래스메이트 모집(채 프갤러(121.130) 10.22 351 0
2897713 그냥 다형성의 종류가 함수고 함수형이 성능이 [2] ㅆㅇㅆ(118.235) 10.22 103 0
2897712 아버지 허리수술도 입원하시는데, 책이랑 게임기 가지고 가지 말까요? [1] 넥도리아2025(220.74) 10.22 80 0
2897711 근데 함슬람이 옳은거아님? [14] NEMO갤로그로 이동합니다. 10.22 137 0
2897710 컴퓨터공학 특징) 컴퓨터 조립 못 함 [3] ㅇㅇ(211.235) 10.22 90 0
2897709 ㅋㅅㅋ 개웃기넹 ♥벼락부자냥덩♥갤로그로 이동합니다. 10.22 58 0
2897708 나님 새벽부터 벌써 3끙애즁;; [3] ♥벼락부자냥덩♥갤로그로 이동합니다. 10.22 104 0
2897707 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥벼락부자냥덩♥갤로그로 이동합니다. 10.22 81 0
2897705 흠.. 잔변? ♥벼락부자냥덩♥갤로그로 이동합니다. 10.22 89 0
2897704 이래서 밤 늦게 까지 회식하면 안됨 ♥벼락부자냥덩♥갤로그로 이동합니다. 10.22 95 0
2897703 끙야 때문에 깻당 ♥벼락부자냥덩♥갤로그로 이동합니다. 10.22 88 0
2897701 근데 확실히 랩실 코드는 알고리즘만있지 ㅆㅇㅆ(124.216) 10.22 73 0
2897699 진짜 자야긋다 [3] ㅆㅇㅆ(124.216) 10.22 100 0
2897694 알록달록한 오리..ㅇㅅㅇ [5] 헤르 미온느갤로그로 이동합니다. 10.22 86 2
2897693 태연 ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 10.22 65 0
2897692 하루 한 번 헤르미온느 찬양 헤르 미온느갤로그로 이동합니다. 10.22 85 0
2897682 개발아조씨들은 AGI 언제나올거라 예측함? [2] ㅇㅇ(175.197) 10.22 90 0
2897681 이제 내린다 하 ㅠㅠㅠ ㅇㅇ(223.38) 10.22 57 0
2897680 납품 준비끝 ㅆㅇㅆ(124.216) 10.22 66 0
2897679 병신 씨발련아 6시간뒤에 일어나서 [1] ㅇㅇ(223.38) 10.22 101 0
2897678 당장 내년도 예측못하지만 확실한건 그냥 고딩이면 대학 드가라 [2] ㅆㅇㅆ(124.216) 10.22 131 1
2897676 선생님들 진지한 고민이 있습니다 [7] 버파고수갤로그로 이동합니다. 10.22 159 0
2897675 장례 조문 답례로 카톡 기프티콘은 언제 어디서 생겨난거냐? 프갤러(49.165) 10.22 69 0
2897668 돈없어서 카드이벤트 참여하는 [4] 개멍청한유라갤로그로 이동합니다. 10.22 62 0
2897666 다들 잘 지내는거야 [6] 개멍청한유라갤로그로 이동합니다. 10.22 105 0
2897664 ㅂ졸어하고 싸피가야디 ㅇㅇ(118.139) 10.22 60 0
2897663 지잡 1학년인데 아는 척 해봄 ㅋㅋ [1] ㅇㅇ(118.139) 10.22 103 0
2897660 현실에서 2찍 처음 만나봄 [1] 저스트두잇이여(211.108) 10.21 102 0
2897659 스칼라 하다가 자바 다시 해보는데 진짜... [1] 저스트두잇이여(211.108) 10.21 92 0
2897658 대기업 계약직 vs 싸피 2학기 [3] 프갤러(121.144) 10.21 105 0
2897657 곽튜브 부인 예쁘네... [1] 프갤러(175.197) 10.21 201 0
2897656 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥벼락부자냥덩♥갤로그로 이동합니다. 10.21 90 0
2897655 1DCNN으로 부하 추론하는 리눅스 가버너 쪄왓어용 [3] 파란빤스갤로그로 이동합니다. 10.21 86 0
2897653 어셈블리 분석하는 데 팁 있나요?? [21] 프갤러(211.176) 10.21 169 1
2897650 좌좀에게 살아남기 ㄷㅅㄷ ♥냥덩이♥갤로그로 이동합니다. 10.21 56 0
2897649 책임은 윗대가리가 지는거다 ㅇㅇ(211.196) 10.21 60 0
2897648 한화 야구 존나 재밋게하넹 ♥냥덩이♥갤로그로 이동합니다. 10.21 60 0
2897647 혹시 술집에서 복분자주 시켜먹으려면 연봉 얼마 벌어야함?? ㅇㅇ(223.39) 10.21 61 0
2897646 애널안으로 하이라이트 올라오려낭? ♥냥덩이♥갤로그로 이동합니다. 10.21 82 0
2897644 Ada 프로그래밍: 4장 데이터 타입 나르시갤로그로 이동합니다. 10.21 53 0
2897642 사이드 프로젝트는 집이 아니라 회사에서 하는 것이니라 [1] 프갤러(110.8) 10.21 78 0
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

디시미디어

디시이슈

1/2