1. 타입의 정의
- 객체가 동일한 타입으로 분류되려면
공통의 행동
을 가져야 한다.
- 여기서 실세계의
트럼프 카드
와트럼프 인간
의 차이점이 발생한다.
2. 트럼프 타입
- 트럼프 타입은 '납작 엎드릴 수 있고 뒤집어질 수 있다'는 내연으로 정의된다.
3. 트럼프 인간 타입
- 트럼프 인간 타입은 트럼프 타입이 할 수 있는 모든 것을 할 수 있고,
- 추가로 '걸을 때마다 몸이 종이처럼 좌우로 펄럭일 수 있다'는 특화된 행동을 가진다.
4. 일반화/특수화 관계
- 트럼프 인간은 트럼프의 특수한 형태로, 모든 트럼프 인간은 트럼프이지만 모든 트럼프는 트럼프 인간이 될 수 없다.
- 이 관계를
일반화/특수화(generalization/specialization) 관계
라고 부른다.
Uploaded by N2T
'자바 > 객사오' 카테고리의 다른 글
[객사오]객체와 타입 (0) | 2023.08.16 |
---|---|
[객사오]행동이 우선이다 (0) | 2023.08.16 |
[객사오] 일반화/특수화 관계 (0) | 2023.08.16 |
[객사오] 슈퍼타입과 서브타입 (0) | 2023.08.16 |
[객사오] 정적모델 - 타입의 목적 (0) | 2023.08.16 |