[Julia] 추상 타입

추상 타입은 말 그대로 추상적인 타입을 의미한다. 다른 객체지향언어들의 인터페이스나 추상 클래스에 대응되는 녀석이라 할 수 있겠다. 기능은 좀더 모자라지만..

여튼 추상 타입은 필드를 가질 수 없고, 생성될 수도 없다.
자체로는 껍데기에 지나지 않는다.

abstract type 타입명 end의 형태로 선언될 수 있다.

근데 이대로는 아무것도 할 수가 없다.
추상타입을 사용하려면 해당 추상타입을 구현하는 구조체를 만들어야 한다.
구조체를 정의할 때 구조체명 오른쪽에 <: 와 함께 추상타입의 이름을 써주면 해당 구조체는 추상타입의 하위타입이 된다.
이렇게 말이다.

그럼 이 BoomRun이라는 구조체는 BoomRun이면서도 Runnable이라는 타입으로도 취급이 된다.
Runnable을 구현하는 구조체들을 Runnable이라는 타입 하나로 묶어서 처리할 수 있게 되는 것이다.

인터페이스 구현

근데 추상 타입은 기능이 충분하다고 하기는 힘들다.

하위 클래스에 어떠한 제약과 강요를 가하기가 힘들기 때문이다.
Runnable 추상 타입은 run이라는 멤버함수를 가질 거라 기대하는데, 하위타입에서 그걸 제멋대로 구현하지 않으면 어쩔건가?

이걸 완전히 해결할 방법은 아직 없고, 최선은 그냥 디폴트 구현에서 로그를 좀더 친절하게 찍어주는 것이다.
이런 식으로.

그럼 미처 구현하지 않아도 로그만은 친절하게 찍어줄 것이다.

그렇다.