SqueakByExample:5.4

모든 클래스는 상위 클래스를 가진다

스몰토크에서 각각의 클래스는 유일한 하나의 상위 클래스로부터, 클래스의 동작 그리고 구조에 대한 설명을 상속받습니다. 스몰토크는 단일 상속을 지원합니다.

SmallInteger superclass	⇒ Integer
Integer superclass	⇒ Number
Number superclass	⇒ Magnitude
Magnitude superclass	⇒ Object
Object superclass	⇒ ProtoObject
ProtoObject superclass	⇒ nil

전통적으로, 스몰토크 상속 계층에서 최하단은 Object 클래스 입니다(모든 것이 오브젝트이기 때문입니다). 스퀵에서, 최 하단은 실제로 ProtoObject 라고 불리는 클래스입니다만, 일반적인 경우 당신이 이 클래스에 신경을 쓸 필요는 없습니다. ProtoObject는 모든 오브젝트가 반드시 가져야 할 메시지의 최소요소들을 캡슐화 하고 있습니다. 그렇지만 대부분의 클래스는 ProtoObject가 아닌 Object 에게서 상속을 받으며, Object 에는 ProtoObject에 비해 대부분의 오브젝트가 반드시 이해하고 응답해할 수많은 추가적인 메시지등이 정의되어 있습니다. 다른 방법을 써야 할 특별한 이유가 없다면, 프로그래밍으로 클래스를 만들때, 만들어지는 클래스는 Object 또는 Object의 하위 클래스중 하나가 됩니다.

새로운 클래스는 일반적으로 subclass:instanceVariableNames:... 이라는 메시지를 보냄으로써 만들어집니다. 클래스를 만들기 위한 몇 가지 다른 메서드가 있습니다. 그 메서드들이 무엇인지는 프로토콜 Kernel-Classes ▷ Class ▷ subclass 을 보면 됩니다.

비록 스퀵은 다중 상속을 지원하지 않지만, 버전 3.9 이후로, 연관성없는 클래스들의 기능을 공유하기 위한 traits라 지칭되는 메커니즘이 추가되었습니다. Traits는 상속과 관련되지 않은 다중 클래스들에서 재사용할 수 있는 메서드들의 Collection입니다. Traits를 사용하면 코드를 복사할 필요없이, 다양한 클래스들 사이의 코드를 하나의 코드로 공유할 수 있습니다.

추상 메서드와 추상 클래스

추상클래스는 인스턴스화된다기보다는 하위분류로 존재하는 클래스입니다. 추상 클래스는 그것이 사용하는 모든 메서드를 정의하지 않는다는 면에서,일반적으로 봤을때 완전한 클래스는 아닙니다. 이 경우 mission 메서드-다른메서드를 대상으로 하지만 메서드 자체(동작)가 정의되지 않은경우-는 추상메서드 라고 말합니다.

스몰토크는 메서드 또는 클래스를 abstract(추상)으로 지정하기 위한 문법은 별도로 없습니다. 관례적으로, 추상 메서드는 self subclassResponsibility 의 표현식으로 만들어져 있습니다. 이것은 "마커 메서드(marker method)" 로 알려져 있으며, 하위 클래스가 메서드의 구체적인 내용을 정의해야한다는것을 나타냅니다. Self subclassResponsibility 메서드는 항상 재지정되므로, 절대로 실행하면 안됩니다. 만약 여러분이 재지정 하는 것을 잊어버리고, 그 메서드를 실행하면, 예외가 적용될 것입니다.

클래스는, 자신의 메서드들 중의 하나가 추상적인 경우, 추상 클래스로 분류됩니다. 여러분이 추상 클래스의 인스턴스를 만드는 것을 제한하는것은 아무것도 없으며, 추상 메서드를 실행하기 전 까지는 모든 것이 동작합니다.

Example :클래스 Magnitude(매그니튜드)

Magnitude(매그니튜드)는 상호간 비교 가능한 오브젝트를 정의하는데 도움을 주는 추상 클래스입니다. Magnitude 의 하위 클래스는 반드시 메서드 <, = 와 hash를 실행할 수 있어야만 합니다. 이러한 메시지들을 사용하여, Magnitude 는 as >, >=, <=, max:, min: between:and: 등 오브젝트를 비교하기 위한 다른 메서드를 정의합니다. 이들 메서드는 하위 클래스로 상속됩니다. 메서드 < 은 추상메서드 이며 메서드 5.7에서 보이는 것처럼 정의됩니다.

메서드5.7:Magnitude>> <

Magnitude>> < aMagnitude
  "Answer whether the receiver is less than the argument."
  ↑self subclassResponsibility

반대로, 메서드 >= 는 메서드의 정의가 구체적이며, < 에 대해 정의합니다.

메서드 5.8: Magnitude>> >=

>= aMagnitude
  "Answer whether the receiver is greater than or equal to the argument."
  ↑(self < aMagnitude) not

이 사항은 동일하게, 다른 오브젝트 비교 메서드에서도 적용됩니다.

Character는 Magnitude의 하위 클래스입니다. Character클래스는 < 에 대한 자신의 메서드버전을 갖기위해 subclassResponsibility 메서드를 재지정합니다 (메서드 5.9를 보세요). Character는 또한 메서드 = 와 hash 를 정의하며, 메서드 >=, <=,~= 과 다른 것들을 Magnitude로부터 상속받습니다.

메서드 5.9: Character>> <

Character>> < aCharacter
  "Answer true if the receiver's value < aCharacter's value."
  ↑self asciiValue < aCharacter asciiValue

Traits

Trait은 상속이 필요없는 클래스의 동작을 포함할 수 있는 메서드의 Collection입니다. Trait은 여러 클래스가 유일한 상위 클래스를 쉽게 가지도록 하면서, 직접적 관련이 없는 클래스의 유용한 메서드를 공유하게 합니다.

새로운 trait을 정의하기 위해서는, 메시지에 의한 하위 클래스 생성 템플릿을 Trait 클래스로 바꿔주기만 하면 됩니다.

클래스 5.10: 새로운 trait을 정의하기

Trait named: #TAuthor
  uses: { }
  category: 'SBE-Quinto'

카테고리 SBE-Quinto에서 TAuthor 를 trait 으로 정의하겠습니다. 이 trait은 다른 trait을 전혀 사용하지 않습니다. 일반적으로, uses: 라는 키워드 인수의 다른 특성을 사용할 수 있게 하는 Trait 합성구문 을 지정할 수 있습니다. 여기서는 단지, 빈 array를 제공합니다.

author 메서드를 클래스 계층도에서 독립적으로 취급하며 다양한 class에서 사용하게 할거라면, 다음과같이 작성하면 됩니다:

메서드 5.11: Author 메서드

TAuthor >> author
  "Returns author initials"
  ↑ 'on' "oscar nierstrasz"

이제 우리는, 2장에서 정의한 SBEGame 클래스처럼, 이제 자체적으로 상위 클래스를 이미 보유한 클래스에서 이 trait을 사용할 수 있습니다. author를 사용할때는 TAuthor 를 반드시 사용해야한다고 지정하는 키워드 인수 uses:를 포함하기 위해 SBEGame클래스 생성 템플릿을 조금 수정하겠습니다.

클래스 5.12: trait 사용하기

BorderedMorph subclass: #SBEGame
  uses: TAuthor
  instanceVariableNames: 'cells'
  classVariableNames: ''
  poolDictionaries: ''
  category: 'SBE-Quinto'

만약 SBEGame을 초기화한다면, 예상했던것처럼 author 메시지로 응답합니다.

SBEGame new author ⇒ 'on'

Trait 합성 표현식은 + 연산자를 사용하여 여러 traits을 결합할 수 있습니다. 충돌이 생기는 경우(예를 들면, 어러 traits에서 같은이름의 메서드들을 정의할 경우), 이런 충돌을 메서드 제거( - 기호)를 통해 깔끔하게 해결할 수 있으며, 또는 클래스 또는 trait의 메서드를 재 정의하여 해결할 수도 있습니다. 또한 @를 이용해서 메서드를 새로운 이름으로 쓰려는것처럼 메서드의 별칭^alias을 사용할 수도 있습니다

Traits는 시스템 커널에서도 사용됩니다. Behavior 클래스는 좋은 예제입니다.

클래스 5.13: traits을 사용하여 정의된 동작

Object subclass: #Behavior
  uses: TPureBehavior @ {#basicAddTraitSelector:withMethod: #addTraitSelector:withMethod:}
  instanceVariableNames: 'superclass methodDict format'
  classVariableNames: 'ObsoleteSubclasses'
  poolDictionaries: ''
  category: 'Kernel-Classes'

위의 예에서 addTraitSelector:withMethod: 라고 이름을 지정한 trait TPureBehavior 에서 정의된 basicAddTraitSelector:withMethod: 를 확인할 수 있습니다. Traits을 위한 지원은 현재 시스템 브라우저에 추가중입니다.