C++Builder Programming Forum
C++Builder  |  Delphi  |  FireMonkey  |  C/C++  |  Free Pascal  |  Firebird
볼랜드포럼 BorlandForum
 경고! 게시물 작성자의 사전 허락없는 메일주소 추출행위 절대 금지
C++빌더 포럼
Q & A
FAQ
팁&트릭
강좌/문서
자료실
컴포넌트/라이브러리
메신저 프로젝트
볼랜드포럼 홈
헤드라인 뉴스
IT 뉴스
공지사항
자유게시판
해피 브레이크
공동 프로젝트
구인/구직
회원 장터
건의사항
운영진 게시판
회원 메뉴
북마크
볼랜드포럼 광고 모집

C++빌더 강좌/문서
C++Builder Programming Tutorial&Docments
[203] 결합 법칙을 이용한 에러 줄이기
김상면 [windyboy] 24304 읽음    2009-09-25 10:43
C++아니 빌더에서는 동일 우선 순위의 연산자가 연속 될때 오른쪽을 먼저 평가하는지 아니면 왼쪽을 먼저 평가하는지 모르지만 아래의 글이 평가 순서에 따라 도움이 될듯합니다. 프로그램에서 가끔 변수가 가질수 있는 값을 범위를 예측 가능한 경우가 있지요 그때 사용하시기 바랍니다.

결합 법칙의 경우는 왼쪽을 먼저 평가하나, 오른쪽을 먼저 평가하나, 중간을 먼저 평가하나 항상 결과가 같기 때문에 연산의 순서가 문제가 되지 않습니다.
아래의 덧셈과 뺄셈식을 보면
    R = A+B+C+D-E-F-G+S
A+B……순으로 왼쪽에서 먼저 계산을 하나, S+G-F씩으로 오른쪽에서 먼저 계산하나, C+D, F-G ……씩으로 임의의 위치에서 계산을 해도 결과는 항상 동일하지요.

배부분의 컴파일러는 대체로 A+B+C……순으로 왼쪽을 먼저 평가하거나, S+G-F씩으로 오른쪽을 먼저 평가하거나 두가지 방법 중하나를 사용합니다. 물론 구현의 복잡성 때문이겠지요.

여기서는 왼쪽을 먼저 평가하는 컴파일러이며 각 변수는 최대 값 255, 최소값 -256범위의 값을 가져야 한다고 가정하고
다음과 같은 변수가 3개 있을때. 현재 A는 250의 값을 가지고 있으며, B는 50의 값을 가지고 있고, C는 -250값을 가지고 있다하면
R = A    +   B + C
= 250 + 50 + (-250)
앞의 부분을 평가하면서 300이 되어 버리므로 변수가 가질수 있는 최대값인 255를 넘어 버리므로 overflow가 발생합니다. 즉 평가가 되지 않는것입니다. 하지만 다음과 같이 연산순서를 바꾸면 아무런 문제가 없죠.
R   = A    +    C      +   B
50 = 250 + (-250)  + 50
앞쪽을 먼저 평가 했을때 결과가 0이 되어 버리므로 R = 50의 값을 가지게 됩니다.

프로그램을 만들다보면 변수의 값의 범위를 예측 할수 있는 경우가 가끔 있죠? 아마도 이런 최적화 방법과 컴파일러 수식의 결합 방향(법칙)을 알고 있다면 오류를 줄이는 한가지 길이 될것이다.

프로그래밍 언어론에 나오는 이야깁니다.
근대 가만히 생각 하니 곧 64비트 시대가 될것이고 좀더 있으면 128비트 시대가 될텐데.... 64비트만 되어도 가히 어마어마 한 수치인데 이런 최적화까지 알아야 할 필요가 있을까 싶군요....

가히 별로 도움이 안된다. 그지요...
그럼
장성호 [nasilso]   2009-09-25 10:56 X
얼마전에 (기억이 정학하지는 않는데)

다음 식과 같이
굉장히 큰수 나누기 또한 굉장히 큰수 계산을 위와같은식으로 한적이 있습니다.

Result = ( n ! * m ! ) / ( k! * p!)

n , m , k , p 가 모두 커서 
foctorial 계산을 먼저 다 하면 이미 UNIT64의 범위를 초과하는 경우여서
foctorial 계산을 다 한후에 곱셈하고 나눗셈 할수가 없었죠
(문론 수학lib라던지.. 다른 방식을 이용해서 그렇게 할수도 있지만...)

그래서 분자와 분모에 공통된 인수를 제가해가면서  foctorial 연산을 한기억이....
이경문 [gilgil]   2009-09-25 18:07 X
연산자 우선 순위와 방향은  거의 모든 C언어에 있어서 통일되어 있습니다.
조금만 구글링해 보시면 답이 나옵니다.
http://www.difranco.net/cop2220/op-prec.htm
이경문 [gilgil]   2009-09-25 18:24 X
5 + (-1) = 0x05 + 0xFF 로 나타낼 수 있겠고, 이것을 overflow로 보느냐 보지 않느냐는 보는 시각에 따라 다를 수 있습니다.

따라서, 말씀하신 것을 예로 들자면 A(250), B(50), C(-250)의 경우 (range가 -256 ~ 255라고 가정하는 경우)
A + B + C 와 A + C + B 는 동일한 결과를 가져 옵니다(overflow 발생과 관계 없이).
이종선 [xnunx]   2009-10-06 11:13 X
연산자우선순위는, 같은언어일경우 컴파일러에 따라 다른게 아닌, [gilgil]님 말씀데로, 언어에 따라 다른것입니다

+ -

관련 글 리스트
203 결합 법칙을 이용한 에러 줄이기 김상면 24304 2009/09/25
Google
Copyright © 1999-2015, borlandforum.com. All right reserved.