03 타입과 추상화

추상화

• 첫 번째는 구체적인 사물들 간의 공통점은 취하고 차이점은 버리는 일반화를 통해 단순하게 만드는 것이다.

• 두 번째는 중요한 부분을 강조하기 위해 불필요한 세부 사항을 제거함으로써 단순하게 만드는 것이다.

1. 추상화의 목적

2. 앨리스 이야기에서의 추상화

• 추상화를 사용하지 않은 예제

class HeartKing { //하트 왕
	public void 납작엎드리기(){
		System.out.println("납작 엎드렸습니다.");
	}
	public void 뒤집기(){
		System.out.println("뒤집었습니다.");
	}
	public void 걸을때마다_펄럭이기(){
		System.out.println("걸을때마다 몸이 종이처럼 좌우로 펄럭거립니다.");
	}
	public void 신하들_부르기() {
		System.out.println("신하들을 불렀습니다.");
	}
}

• 추상화를 사용한 예제

class abstract Trump {  //추상화 된 트럼프
	public void 납작엎드리기(){
		System.out.println("납작 엎드렸습니다.");
	}
	public void 뒤집기(){
		System.out.println("뒤집었습니다.");
	}
	public void 걸을때마다_펄럭이기(){
		System.out.println("걸을때마다 몸이 종이처럼 좌우로 펄럭거립니다.");
	}
}

class HeartKing extends Trump {   //하트 왕
	public void 신하들_부르기() {
		System.out.println("신하들을 불렀습니다.");
	}
}

• 이렇게 공통점을 기반으로 객체를 묶기 위한 그릇을 개념(Concept)이라고 한다.

• 개념을 이용하면 객체를 여러그룹으로 분류(Classification)할 수 있다.

• 객체에 어떤 개념을 적용해 개념 그룹의 일원이 될때 객체를 그 개념의 인스턴스(instance)라고 한다.

• Trump heartKing = new HeartKing();

개념과 타입

1. 개념의 세가지 관점

• 심볼(Symbol): 개념을 가리키는 간략한 이름이나 명칭
• 트럼프

• 내연(Intension): 개념의 완전한 정의를 나타내며 내연의 의미를 이용해 객체가 개념에 속하는지 여부를 확인할 수 있음
• 몸이 납작하고 두 손과 두 발은 네모 귀퉁이에 달려 있는 등장인물

• 외연(extension): 개념에 속하는 모든 객체의 집합
• 정원사, 병사, 신하, 왕자와 공주, 하트 왕과 하트 여왕 등
 

2. 타입

• 객체의 내부 표현 방식이 다르더라도 어떤 객체들이 동일하게 행동한다면 그 객체들은 동일한 타입에 속한다.

• 여기서의 동일한 행동은 동일한 책임을 의미하며, 동일한 책임이란 동일한 메세지 수신을 의미한다.

• 다형성 예제

interface Barista {
	void makeCoffee(String orderedMenu);
}

class StarbucksBarista implements Barista {
	private int coffeeAmount;

	@Override
	public void makeCoffee(String orderedMenu) {
		...
	}
}

class TwoSomeBarista implements Barista {
	private int coffeeAmount;

	@Override
	public void makeCoffee(String orderedMenu) {
		...
	}
}

3. 타입의 계층

• 일반화와 특수화

class Animal {
	public void eat();
	public void sleep();
}

class Bird extends Animal {
	public void fly();
}

• 슈퍼타입과 서브타입