공부 기록

태그 달린 클래스,, 처음 들어보는 용어이다.

태그 달린 클래스는 아래와 같이 어떠한 타입인지에 대한 정보를 담고 있는 멤버 변수(필드)를 가지고 있는 클래스를 말한다.

=> 즉, 상태가 있는 클래스

class Figure {
	enum Shape {
		RECTANGLE, CIRCLE
	};

	// 태그 필드 - 현재 양을 나타낸다.
	final Shape shape;

	double length;
	double width;
	double radius;

	// 원용 생성자 - 원(CIRCLE)일 때만 쓰인다.
	Figure(double radius) {
		shape = Shape.CIRCLE;
		this.radius = radius;
	}

	// 사각형용 생성자 - 사각형(RECTANGLE)일 때만 쓰인다.
	Figure(double length, double width) {
		shape = Shape.RECTANGLE;
		this.length = length;
		this.width = width;
	}

	double area() {
		switch (shape) {
		case RECTANGLE:
			return length * width;
		case CIRCLE:
			return Math.PI * (radius * radius);
		default:
			throw new AssertionError(shape);
		}
	}

}

태그 달린 클래스의 단점은 아래와 같다.

1.  열거 타입 선언, 태그 필드, switch 문 등 쓸데없는 코드가 많다.
   • 새로운 의미를 추가할 때마다 모든 switch 문을 찾아 새 의미를 처 리하는 코드를 추가해야
2. 여러 구현이 한 클래스에 혼합돼 있어서 가독성도 나쁘다.
   • 필드들을 final로 선언하려면 해당 의미에 쓰이지 않는 필드들까지 생성자에서 초기화해야 함
3. 다른 의미를 위한 코드도 언제나 함께 하니 메모리도 많이 사용한다.
4. 인스턴스의 타입만으로는 현 재 나타내는 의미를 알 길이 전혀 없다.

이렇게 태그달린 클래스 보다는 클래스 계층 구조를 활용하는 서브타이핑 (subtyping)을 사용하는 것이 낫다. 
태그 달린 클래스를 클래스 계층구조로 바꾸는 방법은 아래와 같다.

abstract class Figure { // 가장 먼저 계층구조의 루트(root)가 될 추상 클래스를 정의
	// 공통 데이터 필드의 경우 추상 클래스에 모아 둔다
	abstract double area(); // 태그 값에 따라 동작이 달라지는 메서드들을 루트 클래스의 추상 메서드로 선언
}

class Circle extends Figure { // 루트 클래스를 확장한 구체 클래스
	final double radius;

	Circle(double radius) {
		this.radius = radius;
	}

	@Override
	double area() {
		return Math.PI * (radius * radius);
	}

}

class Rectangle extends Figure {
	final double length;
	final double width;

	Rectangle(double length, double width) {
		this.length = length;
		this.width = width;
	}

	@Override
	double area() {
		return length * width;
	}

}

// 만약 Square 클래스를 추가하고 싶다면 루트 클래스의 코드를 건드리지 않고도 독립적으로 계층구조를 확장할 수 있다. 
class Square extends Rectangle { Square(double side) { super(side, side); } }

이렇게 클래스 계층구조로 바뀌게 되면 태그 값에 상관없이, 동작이 일정한 메서드들을 루트 클래스에 일반 메서드로 추가 하면 된다.

클래스 계층구조의 경우 필드들은 모두 final이며, 각 클래스의 생성자가 모든 필드를 남김없이 초기화하고 추상 메서드를 모두 구현했는지 컴파일러가 확인해줄 수 있다. 또한, 타입 사이의 자연스러운 계층 관계를 반영할 수 있어서 유연성은 물론 컴파일타임 타입 검사 능력을 높여준다는 장점도 있다.