SqueakByExample:4.3: Difference between revisions

From 흡혈양파의 번역工房
Jump to navigation Jump to search
(SBE 메시지작성 페이지 추가)
 
(용어수정)
 
(19 intermediate revisions by the same user not shown)
Line 1: Line 1:
==메시지 작성(Message composition)==
==메시지 구성하기==


3종류의 메시지는, 우아한 방식으로 메시지가 작성될 수 있도록 해주는 각각 다른 우선권(precedence)을 갖고 있습니다.
3종류의 메시지는, 명쾌한 방식으로 메시지가 작성될 수 있도록 해주는 각각 다른 우선순위를 가지고 있습니다.


# 단항 메시지(Unary messages)는 항상 먼저 발송되며, 그 다음 바이너리 메시지이고, 마지막으로 키워드 메시지가 발송됩니다.
# 단항 메시지는 항상 먼저 전달되며, 그 다음 바이너리 메시지이고, 마지막으로 키워드 메시지가 보내집니다.
# 괄호 안에 있는 메시지는 어떤 종류의 메시지 보다 먼저 발송됩니다.
# 괄호 안에 있는 메시지는 어떤 종류의 메시지 보다 먼저 보내집니다.
# 동일한 종류의 메시지는 왼쪽에서부터 오른쪽으로 평가됩니다.  
# 동일한 종류의 메시지는 왼쪽에서부터 오른쪽으로 계산됩니다.  


이 규칙들은 매우 자연스러운 읽기 순서로 이어집니다. 지금, 만약 여러분이, 여러분이 원하는 순서대로 메시지가 발송되기를 원하신다면, 그림 4.3에 보이는 것처럼 언제나 더 많은 괄호들을 넣을 수 있습니다. 이 그림에서, 메시지 yellow는 단항 메시지이며, 메시지 color:는 키워드 메시지이므로, 메시지 보내기(message send) Color yellow가 먼저 발송되었습니다. 괄호에 있는 메시지 보내기(message sends)는 먼저 발송되었음에도 불구하고, Color yellow 주위에 (필요 없는) 괄호를 넣은 것은 단지 그것이 먼저 발송될 것이라는 것을 강조한 것입니다. 나머지 섹션은 이 강조점들을 묘사한 것입니다.


[[image:uKeyUn.png|none|800px|thumb|그림 4.3: 단항 메시지가 처음 발송되었으므로, Color yellow가 발송되었습니다. 이것은 메시지 aPen color:의 인수로서 패스된 color 오브젝트를 리턴합니다.]]
이 규칙들은 매우 자연스러운 읽기 순서로 이어집니다. 지금, 만약 당신이 원하는 순서대로 메시지가 전달되기를 원한다면, 그림 4.3에서 볼수있듯이 원하는만큼 괄호들을 추가로 사용하면 됩니다. 이 그림에서, 메시지 yellow는 단항 메시지이며, 메시지 color:는 키워드 메시지이므로, 우선순위에 의해 메시지 전송식 Color yellow 가 먼저 전달됩니다. 하지만 굳이 Color yellow 주위에(필요없는) 괄호를 넣은 것은 단지 이 메세지전송식이 먼저 보내진다는것을 강조하는 의미가 있습니다. 나머지 장에서는 이 강조할 점을 설명합니다.


===단항(Unary) >바이너리(Binary) > (키워드)Keywords===
[[image:uKeyUn.png|none|800px|thumb|그림 4.3: Color yellow 가 전달되어야 하기때문에 단항메시지(yellow)가 먼저 전송됩니다. 이 단항 메세지는 aPen color:의 메세지로 전달될 color 객체를 반환합니다.]]


단항 메시지(Unary messages)는 처음으로 발송되며, 그 다음 바이너리 메시지이고, 마지막으로 키워드 메시지가 발송됩니다. 우리는 또한 다른 종류의 메시지보다 단항 메시지가 더 높은 우선권을 갖고 있다고 말합니다.


<syntaxhighlight lang="text">
===단항 > 바이너리 > 키워드===
Rule One.
 
단항 메시지(Unary messages)는 처음으로 발송되며, 그 다음 바이너리 메시지이고, 마지막으로 키워드 메시지가 발송됩니다.
단항 메시지를 먼저보내고, 그 다음이 바이너리 메시지이며, 마지막으로 키워드 메시지가 전달됩니다. 또한 다른 종류의 메시지보다 단항 메시지가 더 높은 우선순위를 가지게 됩니다.
 
 
<center>{{HighlightDoubleBox|
Rule One.단항 메시지가 먼저 전달되고, 그 다음이 바이너리 메시지이며, 마지막으로 키워드 메시지가 전달됩니다.<br>
Unary > Binary > Keyword
Unary > Binary > Keyword
</syntaxhighlight>
}}</center>
 


이 예들이 보여주듯이, 스몰토크의 구문 규칙은 일반적으로 메시지 발송이(message sends)가 자연스럽게 읽힐 수 있도록 해줍니다:  
아래의 예제에서 볼 수 있듯이, 스몰토크의 문법 규칙은 일반적으로 보내는 메시지가 자연스럽게 보여질 수 있도록 합니다:


{| style="border: 1px solid black;"
{| style="border: 1px solid black;"
Line 31: Line 34:




안타깝게도, 규칙들은 산술적 메시지 발송(arithmetic message sends)을 하기에는 너무 단순하므로, 바이너리 연산자들에 우선권을 부여하기를 원할 때마다 괄호를 넣을 수 있습니다:
안타깝게도, 보내지는 산술메시지들은 단순하게 처리되기 때문에, 바이너리 연산자들에 대한 우선순위를 원할 때마다 괄호를 넣는것이 좋습니다.
 


{| style="border: 1px solid black;"
{| style="border: 1px solid black;"
Line 42: Line 44:




약간 더 복잡한 (!) 다음 예는 심지어 복잡한 스몰토크 표현식도 자연스럽게 읽힐 수 있다는 것을 훌륭하게 묘사합니다:
약간 더 복잡한 (!) 다음 예는 심지어 복잡한 스몰토크 표현식도 자연스럽게 보여질 수 있다는 것을 훌륭하게 보여줍니다:




Line 51: Line 53:




여기서 우리가 알기 원하는 것은 어떤 불리언 클래스 메소드가 추상적인가<ref name="주석4-1">사실, 우리는 동등물로 작성할 수 있었지만, 보다 단순한 표현식으로 작성하였습니다: Boolean methodDict select: #isAbstract thenCollect: #selector</ref> 입니다.
이제 우리가 알아보려는것은 어떤 Boolean클래스의 메서드가 추상요소인가 하는 것입니다<ref name="주석4-1">사실, 비슷한 수준으로 작성할 수 있지만 이지만 간단한 표현을 쓰겠습니다: Boolean methodDict select: #isAbstract thenCollect: #selector</ref>. 메서드 사전<sup>dictionary</sup>의 키를 위해, aClass 라는 인자클래스를 이 클래스의 추상메서드를 선택합니다. 그 다음, Boolean이라는 실체적인 값 에 인자 aClass 를(arugument aClass)를 바인딩합니다. 단항 메시지 isAbstract를 메서드에 보내기 전에, 클래스에서 메서드를 선택하는 >> 이항 메시지를 보내는 용도로만 쓰일 괄호가 필요합니다. 결과적으로 Boolean의 실체적 하위클래스인 True와 False로 구현한 메서드를 볼 수 있습니다.
우리는 인수 클래스의 메소드 사전 키들을 위해, 몇 가지 인수 클래스인 aClass를 요청하였으며, 추상적인 클래스의 메소드들을 선택하였습니다. 그 다음, 우리는 실체적인 값 불리언에 인수 aClass를(augument aClass)를 묶었습니다. 우리는 단항 메시지 isAbstract를 메소드에 보내기 전에, 클래스에서 메소드를 선택하는 바이너리 메시지 >> 보내는 용도로만 쓰일 괄호가 필요합니다. 결과는 우리에게 어떤 메소드들이, True 또는 False로 나타나는 불리언의 실체적 서브클래스들로, 실행되어야만 할 것인지를 보여줍니다.  


'''Exmaple.''' 메시지 '''aPen color: Color yellow''' 에서, 클래스 Color와 aPen에 발송된 키워드 메시지 Color:에는 오직 하나의 단항 메시지가 존재합니다. 첫 번째로 단항 메시지가 발송되므로, 메시지 발송 '''Color yellow'''가 발송됩니다. (1) 이것은 예 4.1에 보이는 것처럼 메시지 '''aPen color: aColor''' (2)의 인수로서 패스되는 color 오브젝트입니다. 그림 4.3은 어떻게 메시지가 발송되는지 그림으로 보여줍니다.


'''Exmaple.''' 메시지 '''aPen color: Color yellow''' 메시지는, 클래스 Color로 보내지는 단항메세지와 aPen으로 보내지는 Color: 라는 키워드 메시지를 가지고 있습니다. 예 4.1을 보면 우선순위에 의해 단항 메시지가 먼저 전달되기때문에 '''Color yellow'''가 전달됩니다(1번). 이 메시지 전달식은 보신바와 같이 메시지 '''aPen color: aColor''' 의 인자로서 전달되는 color 객체입니다(2번). 그림 4.3은 어떻게 메시지가 발송되는지 그림으로 보여줍니다.


{| style="font-weight: bold; border: 1px solid black; background-color:#BBBBBB;"
{| style="font-weight: bold; border: 1px solid black; background-color:#BBBBBB;"
|- style="text-align: center; color: white; background-color: black;"
|- style="text-align: center; color: white; background-color: black;"
| colspan="4" | 예 4.1: aPen color: Color yellow의 평가 분해하기
| colspan="4" | 예 4.1: aPen color: Color yellow의 처리 분석하기
|-
|-
|&nbsp;||aPen color||: Color yellow||&nbsp;
|&nbsp;||aPen color||: Color yellow||&nbsp;
|-
|-
|(1)||&nbsp;||Color yellow||''"단항메시지가 먼저 발송되고"''
|(1번)||&nbsp;||Color yellow||''"단항 메시지가 먼저 전덜되고"''
|-
|-
|&nbsp;||&nbsp;||&rArr; aColor||&nbsp;
|&nbsp;||&nbsp;||&rArr; aColor||&nbsp;
|-
|-
|(2)||aPen color||: aColor||''"그 다음 키워드 메시지가 발송됨"''
|(2번)||aPen color||: aColor||''"그 다음 키워드 메시지가 전달됩니다"''
|}
|}


    
    
'''Exmaple.''' 메시지 aPen go:100 + 20에서, 바이너리 메시지 +20과 키워드 메시지 go:있습니다. 바이너리 메시지는 키워드 메시지 전에 발송되므로, 100+20이 먼저 발송됩니다. (1): 메시지 +20은 오브젝트 100에 발송되며, 숫자 120을 리턴합니다. 그 다음, 메시지 aPen go: 120은 인수로서, 120과 함께 발송됩니다 (2). 예 4.2는 메시지가 어떻게 실행되는지를 보여줍니다.
'''Example.''' 메시지 aPen go:100 + 20 은, 바이너리 메시지 + 20 과 키워드 메시지 go: 를 가지고 있습니다. 바이너리 메시지는 키워드 메시지 전에 전달되므로, 100 + 20 이 먼저 전달됩니다. (1번): 메시지 + 20 은 100 이라는 객체로 전달되며, 숫자 120을 리턴합니다. 그 다음, 메시지 aPen go: 120 에서, 120은 go: 셀렉터의 인자로서 함께 전달됩니다(2번). 예 4.2는 메시지가 어떻게 실행되는지를 보여줍니다.
 


{| style="font-weight: bold; border: 1px solid black; background-color:#BBBBBB;"
{| style="font-weight: bold; border: 1px solid black; background-color:#BBBBBB;"
Line 80: Line 82:
|&nbsp;||aPen go||: 100 + 20||&nbsp;
|&nbsp;||aPen go||: 100 + 20||&nbsp;
|-
|-
|(1)||&nbsp;||100 + 20||''"바이너리 메시지가 첫번째로 전송되고"''
|(1번)||&nbsp;||100 + 20||''"이항 메시지가 먼저 전달되고"''
|-
|-
|&nbsp;||&nbsp;||&rArr; 120||&nbsp;
|&nbsp;||&nbsp;||&rArr; 120||&nbsp;
|-
|-
|(2)||aPen go||: 120||''"그 다음 키워드 메시지가 전송됩니다"''
|(2번)||aPen go||: 120||''"그 다음 키워드 메시지가 전달됩니다"''
|}
|}


'''Example.''' 연습으로 하나의 단항 메시지와 하나의 키워드, 하나의 이항 메시지(그림 4.5 참조)로 구성된  Pen new go: 100 + 20 의 처리과정을 분석해 보겠습니다.


{| style="border: 1px solid white;"
{| style="border: 1px solid white;"
Line 92: Line 97:
|[[image:uKeyBinPar_01.png]]||[[image:uunKeyBin.png]]
|[[image:uKeyBinPar_01.png]]||[[image:uunKeyBin.png]]
|- style="text-align: center;"
|- style="text-align: center;"
|그림 4.4: 바이너리 메시지가 키워드 메시지 이전에 발송 되었습니다.||그림 4.5: Pen new go: 100 + 20 분해  
|그림 4.4: 이항 메시지가 키워드 메시지보다 우선적으로 전달 되었습니다.||그림 4.5: Pen new go: 100 + 20 구문의 분해  
|}
|}




'''Exmaple.''' 연습으로서, 우리는 여러분이 한 개의 단항메시지와 한 개의 키워드 그리고 한 개의 바이너리 메시지(그림 4.5를 보십시오)로 구성되어 있는 Pen new go:100+20의 평가를 분해 합니다.


===괄호 우선===


===괄호 우선===
<center>{{HighlightDoubleBox|
Rule Two. 괄호로 묶인 메시지는 다른 메시지 보다 먼저 전달됩니다.<br>
(메시지)> 단항 메시지>이항 메시지>키워드 메시지
}}</center>


<syntaxhighlight lang="text">
Rule Two. 괄호로 묶인 메시지는 다른 메시지 보다 먼저 발송됩니다.
(메시지)> 단항 메시지>바이너리 메시지>키워드 메시지
</syntaxhighlight>


<syntaxhighlight lang="smalltalk">
<syntaxhighlight lang="smalltalk">
1.5 tan rounded asString = (((1.5 tan) rounded) asString) ⇒ true "parentheses not needed here"
1.5 tan rounded asString = (((1.5 tan) rounded) asString) ⇒ true "여기에는 괄호가 필요하지 않습니다"
3 + 4 factorial ⇒ 27 "(not 5040)"
3 + 4 factorial ⇒ 27 "(5040이 아닙니다)"
(3 + 4) factorial ⇒ 5040
(3 + 4) factorial ⇒ 5040
</syntaxhighlight>
</syntaxhighlight>


여기서 우리는 실행하기 전 '''lowMajorScaleOn:'''을 강제로 보내기 전에 괄호가 필요합니다.


여기서 play 이전에 '''lowMajorScaleOn:'''을 강제로 보내려면 괄호가 필요합니다.
<syntaxhighlight lang="smalltalk">
<syntaxhighlight lang="smalltalk">
(FMSound lowMajorScaleOn: FMSound clarinet) play
(FMSound lowMajorScaleOn: FMSound clarinet) play
"(1) send the message clarinet to the FMSound class to create a clarinet sound.
"(1) 클라리넷 소리를 만들기 위해 clarinet 메시지를 FMSound 클래스에 보냅니다.
(2) send this sound to FMSound as argument to the lowMajorScaleOn: keyword
(2) FMSound에 인자로 보낸 소리를 lowMajorScaleOn: 키워드 메시지로 보냅니다.
message.
(3) 결과 소리를 재생합니다."
(3) play the resulting sound."
</syntaxhighlight>
</syntaxhighlight>


'''Exmaple.''' 메시지 (65@325 extent: 134 @ 100) center는 상단 왼쪽 꼭지점이 (65,325)이며 그 크기가 134x100인 직사각형의 center(중심)을 리턴합니다. 예 4.3은 어떻게 메시지가 분해되며 발송되는지를 보여줍니다. 괄호안에 있는 메시지가 제일 먼저 발송됩니다: 65@325 와 134@100, 두 개의 바이너리 메시지를 포함한 괄호로 묶인 메시지가 제일 먼저 발송되며, 이어서 꼭지점들을 리턴하고, 그 다음 키워드 메시지 extent:가 발송되며, 직사각형을 리턴 합니다. 마지막으로 단항 메시지 center가 직사각형에 발송되며, 꼭지점이 리턴 됩니다. 괄호 없는 메시지를 분해하는 작업은 에러를 발생시킵니다. 그 이유는 오브젝트 100이 메시지 center를 이해하지 못하기 때문입니다.


'''Exmaple.''' (65@325 extent: 134 @ 100) center 라는 메시지는 상단 왼쪽 꼭지점이 (65,325)이며 그 크기가 134x100인 직사각형의 중심을 반환합니다. 예 4.3은 어떻게 메시지가 분해되며 전달되는지를 보여줍니다. 먼저 괄호 사이에 있는 메시지를 보냅니다. 여기에는 먼저 보내어 포인트 정보를 돌려 받을 (65@325)(1번) 와 134 X 100(2번) 두 개의 이항 메시지가 있으며, 그 다음에 134 X 100 의 정보를 보내고 사각형 정보를 돌려 받을 extent:(3번) 키워드 메시지가 있습니다. 마지막으로 단항 메시지 center는 직사각형에 보내지며(4번), 점 정보를 돌려 받습니다. 100 이라는 객체는 center라는 메세지를 이해하지 못하기때문에 괄호없이 메시지를 처리하면 오류가 발생합니다


{| style="font-weight: bold; border: 1px solid black; background-color:#BBBBBB;"
{| style="font-weight: bold; border: 1px solid black; background-color:#BBBBBB;"
|- style="text-align: center; color: white; background-color: black;"
|- style="text-align: center; color: white; background-color: black;"
| colspan="5" | 예 4.3: 괄호의 예제
| colspan="5" | 예 4.3: 괄호 예제
|- style="text-align: left;"
|- style="text-align: left;"
|&nbsp;|| colspan= "3"|(65 @ 325 extent: 134 @ 100) center||&nbsp;
|&nbsp;|| colspan= "3"|(65 @ 325 extent: 134 @ 100) center||&nbsp;
|-
|-
|(1)||65@325||&nbsp;||&nbsp;||''"binary"''
|(1번)||65@325 ||&nbsp;||&nbsp;||''"binary"''
|-
|-
|&nbsp;||⇒ aPoint||&nbsp;||&nbsp;||&nbsp;
|&nbsp;||⇒ aPoint||&nbsp;||&nbsp;||&nbsp;
|-
|-
|(2)||&nbsp;||&nbsp;||134@100||''"binary"''
|(2번)||&nbsp;||&nbsp;||134@100 ||''"binary"''
|-
|-
|&nbsp;||&nbsp;||&nbsp;||⇒ anotherPoint||&nbsp;
|&nbsp;||&nbsp;||&nbsp;||⇒ anotherPoint||&nbsp;
|-
|-
|(3)|| colspan="3"|aPoint extent: anotherPoint||''"keyword"''
|(3번)|| colspan="3"|aPoint extent: anotherPoint||''"keyword"''
|-
|-
|&nbsp;||⇒ aRectangle||&nbsp;||&nbsp;||&nbsp;
|&nbsp;||⇒ aRectangle||&nbsp;||&nbsp;||&nbsp;
|-
|-
|(4)|| colspan="3"|aRectangle center||''"unary"''
|(4번)|| colspan="3"|aRectangle center||''"unary"''
|-
|-
|&nbsp;||⇒ 132@375||&nbsp;||&nbsp;||&nbsp;
|&nbsp;||⇒ 132@375||&nbsp;||&nbsp;||&nbsp;
|}
|}




===왼쪽에서 오른쪽으로===
===왼쪽에서 오른쪽으로===


이제 우리는 다양한 종류의 메시지와 우선권이 취급되는 방식을 알게 되었습니다. 제기되어야 할 마지막 질문은, 동일한 우선권을 가진 메시지가 어떤 순서로 발송될까? 입니다. 동일한 우선권을 가진 메시지들은 왼쪽에서 오른쪽 순서로 발송됩니다. 예시 4.3에서 여러분이 두 개의 꼭지점 생성 메시지 (@)가 다른 것보다 먼저 발송되었던 것을 보셨던 것을 상기해 주십시오.  
이제 우리는 다양한 종류의 메시지와 우선권이 취급되는 방식을 알게 되었습니다. 더 생각해봐야할 마지막 질문은, 동일한 우선권을 가진 메시지가 있는경우 어떤 순서로 전달되는지에 대한것입니다. 동일한 우선권을 가진 메시지들은 왼쪽에서 오른쪽 순서로 전달됩니다. 4.3 에서 두 개의 점 정보 생성 메시지 (@)가 다른 것보다 먼저 전달되었던 것을 보셨던 것을 기억해주세요.  
 


<syntaxhighlight lang="text">
<center>{{HighlightDoubleBox|Rule Three. 동일한 종류의 메시지가 있을 때, 처리 순서는 왼쪽에서 오른쪽 입니다.}}</center>
Rule Three. 동일한 종류의 메시지가 있을 때, 평가 순서는 왼쪽에서 오른쪽 입니다.
</syntaxhighlight>


'''Exmaple.''' 메시지 보내기 (message sends) Pen new down 모든 메시지는 단항 메시지이므로, 가장 왼쪽의 Pen new가 가장 먼저 발송됩니다. 이것은 그림 4.6에서 보이는 것 처럼, 두 번째 메시지 down 이 발송된 새롭게 만들어진 Pen을 리턴합니다.


'''Exmaple.''' 보낼메시지 Pen new down 에서 모든 메시지는 단항 메시지이므로, 가장 왼쪽의 Pen new가 가장 먼저 처리됩니다. 이것은 그림 4.6에서 볼수있듯이, 두 번째 메시지인 down이 새롭게 만들어진 Pen 객체를 리턴합니다.


{| style="border: 1px solid white;"
{| style="border: 1px solid white;"
Line 169: Line 173:
|}
|}


===산술적 불일치===


메시지 작성 규칙들은 단순하지만, 바이너리 메시지로 표현된 산술적 메시지 보내기의 실행에 있어 불일치를 낳습니다. 여기서, 우리는 괄호가 필요한 일반적인 상황들에 대해 알아볼 것입니다.


===산술적 비일관성===
메시지 작성 규칙들은 단순하지만, 바이너리 메시지로 표현된 산술 메시지를 실행하는경우 비일관성이 생기게 됩니다. 이제부터 괄호가 필요한 일반적인 상황들에 대해 알아볼 것입니다.


{| style="border: 1px solid black;"
{| style="border: 1px solid black;"
|-  
|-  
|3+4*5||⇒ 35 ''"(not 23) Binary messages sent from left to right"''
|3+4*5||⇒ 35 ''"(not 23) 왼쪽에서 오른쪽으로 이항 메시지를 보냈습니다"''
|-
|-
|3 + (4 * 5)||⇒ 23
|3 + (4 * 5)||⇒ 23
Line 190: Line 195:




'''Exmaple.''' 메시지 보내기(the message sends) 20+2 * 5에서, 바이너리 메시지는 +와 * 뿐 입니다. 그럼에도 불구하고, 스몰토크에서는 연산 +와 *를 위한 특정 우선권은 존재하지 않습니다. 이것들은 단지 바이너리 메시지 이므로, *는 +에 우선권을 갖지 않습니다. 예시 4.4에서 보이듯이, 여기서는 제일 왼쪽의 +가 발송되었으며 (1) 그 다음 *가 결과에 발송되었습니다.


'''Exmaple.''' 메시지 보내기 20+2 * 5에서, 바이너리 메시지는 + 와 * 뿐 입니다. 그럼에도 불구하고, 스몰토크에서는 연산 + 와 * 를 위한 특정 우선권은 존재하지 않습니다. 이것들은 단지 바이너리 메시지 이므로, * 는 + 에 대해 우선권을 갖지 않습니다. 예 4.4에서 볼 수 있듯이, 이 경우 제일 왼쪽의 +가 전달되며(1번) 그 다음 *가 해당결과에 전달됩니다(2번).


{| style="font-weight: bold; border: 1px solid black; background-color:#BBBBBB;" width="40%"
{| style="font-weight: bold; border: 1px solid black; background-color:#BBBBBB;" width="40%"
|- style="text-align: center; color: white; background-color: black;"
|- style="text-align: center; color: white; background-color: black;"
| colspan="2" | 예시 4.4: 20+2*5 분해하기
| colspan="2" | 4.4: 20+2*5 분해하기
|- style="text-align: center;"
|- style="text-align: center;"
| colspan="2" | ''"바이너리 메시지들 사이에 우선권이 존재하지 않듯이, 제일 왼쪽의 메시지 +는 , 산술적 규칙 *가 첫 번째로 발송되어야 함에도 불구하고, 첫 번째로 평가됩니다"''
| colspan="2" | ''"바이너리 메시지들 중에서 우선순위는 없기때문에, 산술규칙 *가 첫 번째로 전달되어야 하지만 가장 왼쪽의 메시지인 +가  첫 번째로 처리됩니다"''
|-  
|-  
| style="width: 1%;"|&nbsp;|| 20 + 2 * 5
| style="width: 1%;"|&nbsp;|| 20 + 2 * 5
|-
|-
| style="width: 1%;"|(1)||20 + 2 ⇒ 22
| style="width: 1%;"|(1번)||20 + 2 ⇒ 22
|-
|-
| style="width: 1%;"|(2)||2 * 5 ⇒ 110
| style="width: 1%;"|(2번)||2 * 5 ⇒ 110
|}
|}




그림 4.4에서 보이듯이, 이 메시지 보내기(message send)의 결과는 30이 아니며 110입니다. 이 결과는 아마도 기대하지 못했던 것이지만, 메시지를 보내기 위해 사용된 규칙을 직접 따른 것입니다.


그림 4.4에서 볼 수 있듯이, 이 메시지 전송 결과는 30이 아니며 110입니다. 생각했던 결과는 아니지만, 메시지를 보내기 위해 사용된 규칙을 바로 따랐을 것입니다. 결국 스몰토크 모델의 단순성때문에 이런 결과가 나오게 됩니다. 원하는 올바른 결과를 얻으려면 괄호를 사용해야 합니다. 메시지를 괄호로 둘러쌓으면 괄호로 둘러싼 메시지를 먼저 처리합니다. 따라서 보내는 메시지 20 + (2 * 5) 가 반환하는 결과는 예 4.5에서 확인할 수 있습니다.


{| style="border: 1px solid white;"
{| style="border: 1px solid white;"
Line 218: Line 223:
|[[image:uunKeyBinPar.png|center|800px]]
|[[image:uunKeyBinPar.png|center|800px]]
|- style="text-align: center;"
|- style="text-align: center;"
|그림 4.7 괄호를 사용하는 등가 메시지들
|그림 4.7 괄호를 사용하는 등가 메시지
|}
|}
괄호사용은 스몰토크 모델의 단순성을 위해 어느 정도 지불할 필요가 있는 수고입니다.
우리는 정확한 결과를 얻기 위해, 괄호를 사용해야만 합니다. 메시지에 괄호를 넣으면, 첫 번째로 평가됩니다. 그러므로 메시지 보내기 20+(2*5)는 예시 4.5에서 보이는 것과 같은 결과를 리턴합니다.




{| style="font-weight: bold; border: 1px solid black; background-color:#BBBBBB;" width="40%"
{| style="font-weight: bold; border: 1px solid black; background-color:#BBBBBB;" width="40%"
|- style="text-align: center; color: white; background-color: black;"
|- style="text-align: center; color: white; background-color: black;"
| colspan="3" | 예시 4.5: 20+(2*5) 분해하기
| colspan="3" | 4.5: 20+(2*5) 분해하기
|- style="text-align: center;"
|- style="text-align: center;"
| colspan="3" | ''"괄호로 싸인 메시지가 처음으로 평가되며, 그러므로 *는 정확한 동작을 유발하는 + 이전에 전송됩니다"''
| colspan="3" | ''"괄호로 둘러 쌓인 메시지를 먼저 처리하므로 * + 보다 우선순위를 주어 올바른 처리를 유도합니다."''
|-  
|-  
| style="width: 1%;"|&nbsp;||style="width: 5%;"|20 + ||(2 * 5)
| style="width: 1%;"|&nbsp;||style="width: 5%;"|20 + ||(2 * 5)
Line 239: Line 240:
|}
|}


<syntaxhighlight lang="text">
스몰토크에서는 연산 +와 * 와 같은 산술적 연산자는(arithmetic operator) 다른 우선권을 갖지 않습니다. +와 *는 단지 바이너리 메시지일 뿐이므로, *는 +에 대해 우선권을 갖지 않습니다. 원하는 결과를 얻기 위해 괄호를 사용합니다.
</syntaxhighlight>


첫 번째 규칙이 바이너리 메시지와 키워드 메시지 이전에 발송된 단항 메시지는 명확한 괄호 넣기를 피한다는 진술에 유의하십시오. 표 4.8은 규칙들이 존재하지 않을 경우, 규칙들과, 동등한 메시지들을 따르며 메시지 보내기(message sends)가 작성됨을 보여줍니다.  
<center>{{HighlightDoubleBox|
스몰토크에서는 연산 +와 * 와 같은 산술 연산자는 다른 우선권을 갖지 않습니다.<br>
+와 *는 단지 바이너리 메시지일 뿐이므로, *는 +에 대해 우선권을 갖지 않습니다.<br>
원하는 결과를 얻기 위해 괄호를 사용합니다.
}}</center>
 
 


참고로 첫 번째 규칙에서 바이너리 메시지와 키워드 메시지 이전에 발송된 단항 메시지는 명확한 구문을 위해 괄호 넣기를 하지 않는다라는 규칙을 기억해주세요. 표 4.8은 규칙을 따라 작성한 메시지전송식과 규칙이 존재하지 않을 경우 의미가 같은 메시지전송식을 보여주고 있습니다. 두 메시지는 같은 결과를 내며 같은 결과를 반환합니다.


{| style="font-weight: bold; border: 1px solid black;"
{| style="font-weight: bold; border: 1px solid black;"
Line 258: Line 263:
|2 factorial +4||2 factorial + 4 (2 factorial) + 4
|2 factorial +4||2 factorial + 4 (2 factorial) + 4
|}
|}


==Notes==
==Notes==

Latest revision as of 02:33, 17 September 2013

메시지 구성하기

3종류의 메시지는, 명쾌한 방식으로 메시지가 작성될 수 있도록 해주는 각각 다른 우선순위를 가지고 있습니다.

  1. 단항 메시지는 항상 먼저 전달되며, 그 다음 바이너리 메시지이고, 마지막으로 키워드 메시지가 보내집니다.
  2. 괄호 안에 있는 메시지는 어떤 종류의 메시지 보다 먼저 보내집니다.
  3. 동일한 종류의 메시지는 왼쪽에서부터 오른쪽으로 계산됩니다.


이 규칙들은 매우 자연스러운 읽기 순서로 이어집니다. 지금, 만약 당신이 원하는 순서대로 메시지가 전달되기를 원한다면, 그림 4.3에서 볼수있듯이 원하는만큼 괄호들을 추가로 사용하면 됩니다. 이 그림에서, 메시지 yellow는 단항 메시지이며, 메시지 color:는 키워드 메시지이므로, 우선순위에 의해 메시지 전송식 Color yellow 가 먼저 전달됩니다. 하지만 굳이 Color yellow 주위에(필요없는) 괄호를 넣은 것은 단지 이 메세지전송식이 먼저 보내진다는것을 강조하는 의미가 있습니다. 나머지 장에서는 이 강조할 점을 설명합니다.

그림 4.3: Color yellow 가 전달되어야 하기때문에 단항메시지(yellow)가 먼저 전송됩니다. 이 단항 메세지는 aPen color:의 메세지로 전달될 color 객체를 반환합니다.


단항 > 바이너리 > 키워드

단항 메시지를 먼저보내고, 그 다음이 바이너리 메시지이며, 마지막으로 키워드 메시지가 전달됩니다. 또한 다른 종류의 메시지보다 단항 메시지가 더 높은 우선순위를 가지게 됩니다.


Rule One.단항 메시지가 먼저 전달되고, 그 다음이 바이너리 메시지이며, 마지막으로 키워드 메시지가 전달됩니다.
Unary > Binary > Keyword


아래의 예제에서 볼 수 있듯이, 스몰토크의 문법 규칙은 일반적으로 보내는 메시지가 자연스럽게 보여질 수 있도록 합니다:

1000 factorial / 999 factorial ⇒ 1000
2 raisedTo: 1 + 3 factorial ⇒ 128


안타깝게도, 보내지는 산술메시지들은 단순하게 처리되기 때문에, 바이너리 연산자들에 대한 우선순위를 원할 때마다 괄호를 넣는것이 좋습니다.

1+2*3 ⇒ 9
1 + (2 * 3) ⇒ 7


약간 더 복잡한 (!) 다음 예는 심지어 복잡한 스몰토크 표현식도 자연스럽게 보여질 수 있다는 것을 훌륭하게 보여줍니다:


[:aClass | aClass methodDict keys select: [:aMethod | (aClass>>aMethod) isAbstract ]]
  value: Boolean ⇒ an IdentitySet(#or: #| #and: #& #ifTrue: #ifTrue:ifFalse: #ifFalse: #not #ifFalse:ifTrue:)


이제 우리가 알아보려는것은 어떤 Boolean클래스의 메서드가 추상요소인가 하는 것입니다[1]. 메서드 사전dictionary의 키를 위해, aClass 라는 인자클래스를 이 클래스의 추상메서드를 선택합니다. 그 다음, Boolean이라는 실체적인 값 에 인자 aClass 를(arugument aClass)를 바인딩합니다. 단항 메시지 isAbstract를 메서드에 보내기 전에, 클래스에서 메서드를 선택하는 >> 이항 메시지를 보내는 용도로만 쓰일 괄호가 필요합니다. 결과적으로 Boolean의 실체적 하위클래스인 True와 False로 구현한 메서드를 볼 수 있습니다.


Exmaple. 메시지 aPen color: Color yellow 메시지는, 클래스 Color로 보내지는 단항메세지와 aPen으로 보내지는 Color: 라는 키워드 메시지를 가지고 있습니다. 예 4.1을 보면 우선순위에 의해 단항 메시지가 먼저 전달되기때문에 Color yellow가 전달됩니다(1번). 이 메시지 전달식은 보신바와 같이 메시지 aPen color: aColor 의 인자로서 전달되는 color 객체입니다(2번). 그림 4.3은 어떻게 메시지가 발송되는지 그림으로 보여줍니다.

예 4.1: aPen color: Color yellow의 처리 분석하기
  aPen color : Color yellow  
(1번)   Color yellow "단항 메시지가 먼저 전덜되고"
    ⇒ aColor  
(2번) aPen color : aColor "그 다음 키워드 메시지가 전달됩니다"


Example. 메시지 aPen go:100 + 20 은, 바이너리 메시지 + 20 과 키워드 메시지 go: 를 가지고 있습니다. 바이너리 메시지는 키워드 메시지 전에 전달되므로, 100 + 20 이 먼저 전달됩니다. (1번): 메시지 + 20 은 100 이라는 객체로 전달되며, 숫자 120을 리턴합니다. 그 다음, 메시지 aPen go: 120 에서, 120은 go: 셀렉터의 인자로서 함께 전달됩니다(2번). 예 4.2는 메시지가 어떻게 실행되는지를 보여줍니다.

예 4.2: aPen go: 100 + 20 분해하기
  aPen go : 100 + 20  
(1번)   100 + 20 "이항 메시지가 먼저 전달되고"
    ⇒ 120  
(2번) aPen go : 120 "그 다음 키워드 메시지가 전달됩니다"


Example. 연습으로 하나의 단항 메시지와 하나의 키워드, 하나의 이항 메시지(그림 4.5 참조)로 구성된 Pen new go: 100 + 20 의 처리과정을 분석해 보겠습니다.

UKeyBinPar 01.png UunKeyBin.png
그림 4.4: 이항 메시지가 키워드 메시지보다 우선적으로 전달 되었습니다. 그림 4.5: Pen new go: 100 + 20 구문의 분해


괄호 우선

Rule Two. 괄호로 묶인 메시지는 다른 메시지 보다 먼저 전달됩니다.
(메시지)> 단항 메시지>이항 메시지>키워드 메시지


1.5 tan rounded asString = (((1.5 tan) rounded) asString)  true "여기에는 괄호가 필요하지 않습니다"
3 + 4 factorial  27 "(5040이 아닙니다)"
(3 + 4) factorial  5040


여기서 play 이전에 lowMajorScaleOn:을 강제로 보내려면 괄호가 필요합니다.

(FMSound lowMajorScaleOn: FMSound clarinet) play
"(1) 클라리넷 소리를 만들기 위해 clarinet 메시지를 FMSound 클래스에 보냅니다.
 (2) FMSound에 인자로 보낸 소리를 lowMajorScaleOn: 키워드 메시지로 보냅니다.
 (3) 결과 소리를 재생합니다."


Exmaple. (65@325 extent: 134 @ 100) center 라는 메시지는 상단 왼쪽 꼭지점이 (65,325)이며 그 크기가 134x100인 직사각형의 중심을 반환합니다. 예 4.3은 어떻게 메시지가 분해되며 전달되는지를 보여줍니다. 먼저 괄호 사이에 있는 메시지를 보냅니다. 여기에는 먼저 보내어 포인트 정보를 돌려 받을 (65@325)(1번) 와 134 X 100(2번) 두 개의 이항 메시지가 있으며, 그 다음에 134 X 100 의 정보를 보내고 사각형 정보를 돌려 받을 extent:(3번) 키워드 메시지가 있습니다. 마지막으로 단항 메시지 center는 직사각형에 보내지며(4번), 점 정보를 돌려 받습니다. 100 이라는 객체는 center라는 메세지를 이해하지 못하기때문에 괄호없이 메시지를 처리하면 오류가 발생합니다

예 4.3: 괄호 예제
  (65 @ 325 extent: 134 @ 100) center  
(1번) 65@325     "binary"
  ⇒ aPoint      
(2번)     134@100 "binary"
      ⇒ anotherPoint  
(3번) aPoint extent: anotherPoint "keyword"
  ⇒ aRectangle      
(4번) aRectangle center "unary"
  ⇒ 132@375      


왼쪽에서 오른쪽으로

이제 우리는 다양한 종류의 메시지와 우선권이 취급되는 방식을 알게 되었습니다. 더 생각해봐야할 마지막 질문은, 동일한 우선권을 가진 메시지가 있는경우 어떤 순서로 전달되는지에 대한것입니다. 동일한 우선권을 가진 메시지들은 왼쪽에서 오른쪽 순서로 전달됩니다. 예 4.3 에서 두 개의 점 정보 생성 메시지 (@)가 다른 것보다 먼저 전달되었던 것을 보셨던 것을 기억해주세요.


Rule Three. 동일한 종류의 메시지가 있을 때, 처리 순서는 왼쪽에서 오른쪽 입니다.


Exmaple. 보낼메시지 Pen new down 에서 모든 메시지는 단항 메시지이므로, 가장 왼쪽의 Pen new가 가장 먼저 처리됩니다. 이것은 그림 4.6에서 볼수있듯이, 두 번째 메시지인 down이 새롭게 만들어진 Pen 객체를 리턴합니다.

UcompoUn.png
그림 4.6: Pen new down 분해하기
UcompoNoBracketPar.png


산술적 비일관성

메시지 작성 규칙들은 단순하지만, 바이너리 메시지로 표현된 산술 메시지를 실행하는경우 비일관성이 생기게 됩니다. 이제부터 괄호가 필요한 일반적인 상황들에 대해 알아볼 것입니다.

3+4*5 ⇒ 35 "(not 23) 왼쪽에서 오른쪽으로 이항 메시지를 보냈습니다"
3 + (4 * 5) ⇒ 23
1 + 1/3 ⇒ (2/3) "and not 4/3"
1 + (1/3) ⇒ (4/3)
1/3 + 2/3 ⇒ (7/9) "and not 1"
(1/3) + (2/3) ⇒ (7/9)


Exmaple. 메시지 보내기 20+2 * 5에서, 바이너리 메시지는 + 와 * 뿐 입니다. 그럼에도 불구하고, 스몰토크에서는 연산 + 와 * 를 위한 특정 우선권은 존재하지 않습니다. 이것들은 단지 바이너리 메시지 이므로, * 는 + 에 대해 우선권을 갖지 않습니다. 예 4.4에서 볼 수 있듯이, 이 경우 제일 왼쪽의 +가 전달되며(1번) 그 다음 *가 해당결과에 전달됩니다(2번).

예 4.4: 20+2*5 분해하기
"바이너리 메시지들 중에서 우선순위는 없기때문에, 산술규칙 *가 첫 번째로 전달되어야 하지만 가장 왼쪽의 메시지인 +가 첫 번째로 처리됩니다"
  20 + 2 * 5
(1번) 20 + 2 ⇒ 22
(2번) 2 * 5 ⇒ 110


그림 4.4에서 볼 수 있듯이, 이 메시지 전송 결과는 30이 아니며 110입니다. 생각했던 결과는 아니지만, 메시지를 보내기 위해 사용된 규칙을 바로 따랐을 것입니다. 결국 스몰토크 모델의 단순성때문에 이런 결과가 나오게 됩니다. 원하는 올바른 결과를 얻으려면 괄호를 사용해야 합니다. 메시지를 괄호로 둘러쌓으면 괄호로 둘러싼 메시지를 먼저 처리합니다. 따라서 보내는 메시지 20 + (2 * 5) 가 반환하는 결과는 예 4.5에서 확인할 수 있습니다.

UcompoNumberBracket.png
UKeyUnBinPar.png
UunKeyBinPar.png
그림 4.7 괄호를 사용하는 등가 메시지


예 4.5: 20+(2*5) 분해하기
"괄호로 둘러 쌓인 메시지를 먼저 처리하므로 * 를 + 보다 우선순위를 주어 올바른 처리를 유도합니다."
  20 + (2 * 5)
(1)   (2 * 5) ⇒ 10
(2) 20 + 10 ⇒ 30


스몰토크에서는 연산 +와 * 와 같은 산술 연산자는 다른 우선권을 갖지 않습니다.
+와 *는 단지 바이너리 메시지일 뿐이므로, *는 +에 대해 우선권을 갖지 않습니다.
원하는 결과를 얻기 위해 괄호를 사용합니다.


참고로 첫 번째 규칙에서 바이너리 메시지와 키워드 메시지 이전에 발송된 단항 메시지는 명확한 구문을 위해 괄호 넣기를 하지 않는다라는 규칙을 기억해주세요. 표 4.8은 규칙을 따라 작성한 메시지전송식과 규칙이 존재하지 않을 경우 의미가 같은 메시지전송식을 보여주고 있습니다. 두 메시지는 같은 결과를 내며 같은 결과를 반환합니다.

그림 4.8: 메시지 보내기와 괄호를 넣은 등가물
aPen color: Color yellow aPen color: (Color yellow)
aPen go: 100 + 20 aPen go: (100 + 20)
aPen penSize: aPen penSize + 2 aPen penSize: ((aPen penSize) + 2)
2 factorial +4 2 factorial + 4 (2 factorial) + 4


Notes

  1. 사실, 비슷한 수준으로 작성할 수 있지만 이지만 더 간단한 표현을 쓰겠습니다: Boolean methodDict select: #isAbstract thenCollect: #selector