| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
이준희
가입: 2006년 9월 18일
올린 글: 43
|
 올려짐: 2006년10월29일 1:46 주제: dissolveCbr에서... |
 |
|
이번에도 뻘질문(?) 하나 날려보려고 합니다-_-;; 맨날 이상한 질문만 해서..-_-;;
dissolveCbr은 결국 함수 f를 어떻게 f'으로 바꾸느냐가 관건인것 같습니다. 그러기 위해선 스펙에 있는대로 f에 들어간 인자 이름을 적절히 바꿔야 할텐데요,
프로시져가 | 코드: | | f(x) = x := x + 1 ; x |
일 경우, 이를 바꾼 f'(x)는 x가 &y의 형태로 들어오게 되기 때문에 프로시져 내에서 x를 *x로 바꿔야겠죠?
| 코드: | | f'(x) = *x := *x + 1 ; *x |
꼴이 되어야 할텐데(어차피 이 내용은 준이가 쓴 글에도 다 있으니..  ), 문제는 기존 k-의 정의상 *x가 Lvalue로 쓰일수가 없기 때문에, 저렇게 바꾸게 되면문제가 될것 같은데요...
CBR을 쓰는 이유가 인자의 값을 직접 고치는데도 있기 때문에, 저런 구문을 허용하지 않을수도 없는 일이고(그럴만한 수단도 마땅치 않고), 고민스럽네요.
혹시 어떤 해법을 가지신 분은 의견을 피력해주세요.
................이번에도 또 헛소리 한거면 어쩌지 OTL
_________________
... |
|
| 위로 |
|
 |
이준
가입: 2006년 9월 7일
올린 글: 30
|
| 올려짐: 2006년10월29일 3:34 주제: |
|
|
전 저렇게 상세히 해답을 알린적이....
얼마나 조심 조심 눈치껏 썼는데요..ㅡ.ㅜ
ㅎㅎ암튼요.. 꼭 Lvalue의 x도 *x로 바꿀 필요는 없지 않을까요?
모든 x를 *x로 바꾸지 않고 Lvalue로 오는 x에 대해서는 특별히 처리를 하게되면
잘 돌아가는것 같더라구요 |
|
| 위로 |
|
|
이준희
가입: 2006년 9월 18일
올린 글: 43
|
| 올려짐: 2006년10월29일 21:40 주제: |
|
|
| 역시 그냥 그렇게 해야겠지? ㅠㅜ |
|
| 위로 |
|
|
박대준
가입: 2005년 10월 7일
올린 글: 245
|
| 올려짐: 2006년10월30일 16:51 주제: |
|
|
1번 문제가 그리 간단히 해결되는 것이 아닙니다.
말씀하신 복잡하고 다양한 경우의 수를 모두 고려해서,
어떠한 상황에도 잘 작동할 수 있는 변환 룰을 찾는 것이 숙제의 목표입니다. |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
