|
|
이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
황재동
가입: 2014년 9월 2일 올린 글: 80
|
올려짐: 2014년12월21일 12:37 주제: Check_cmd Unconditional Jump에 대한 질문. |
|
|
아래의 두 코드 모두 Unconditional Jump에 대한 이슈를 다루고 있다고 생각됩니다.
둘 모두 언 컨디셔널 점프를 고려하면 True가 고려하지 않으면 False가 나옵니다.
그런데 조교님 께서는 첫번째 글에서는 이러한 인풋은 들어오지 않는다고 명시하셨습니다.
반면에 두번째 코드에서는 false를 리턴할 만한 인풋이지만, True가 되도록 하라고 말씀하셨으며
기존에 올라온 다른 예제들과 다른 경우라 말씀하셨는데
어떤 식으로 다르다는 것인지 잘 이해가 가지 않습니다.
그 코드에서 L2로 점프하는 것을 unconditional 하게 하지 않으면 False가 나오느데 이는 첫번째 코드(loc2)에서도 마찬가지입니다.
이에 대하여 명확히 말씀해주시면 수강생들의 혼란을 종식시킬 수 있을 것 같습니다.
만약에 이에 대하여 True를 리턴하여야 한다면
Check_cmd 또한 read의 범위를 고려하여야 하나요?
일례로
코드: | x has read
y has 200
z has x + y
goto L on z
Done : say w
L : w has 1
goto Done on w |
가 가능하니 말입니다.
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4728
코드: | x has 1
goto loc2 on x
loc1: say z
goto done on z
loc2: z has 1
goto loc1 on z
done: say z |
인용: |
2. true로 해도 됩니다만, false로 해도 괜찮습니다.
어떤 문장이 실행이 되는지 안 되는지까지 고려를 안 해도 만점을 드릴 예정입니다.
그 말은, 즉 이런 테스트는 없을 예정이고, 명시된 조건 체크만 확실히 하시면 됩니다.
|
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4826
코드: | x has 1
goto L2 on x
L1: y has x+z
say y
L2: z has 2
goto L1 on z
say x |
인용: |
1. 이런 경우는 true가 맞는 답인데, false를 리턴할 만도 한 인풋이네요.
글쎄요.. 최대한 true를 리턴하게 해 보시는 걸 권장합니다.
아래 글에서 계속 말해왔던 "실행 여부" 관련 글은, 확실히 변수를 정의가 안 된 채로 사용하는 문장이 있지만 그 문장이 실제로 실행이 안 되는 경우에 대해서이고, 이 코드는 약간 다른 경우라고 생각됩니다. |
아울러 Check_exp의 경우 Read 의 범위까지 고려하는 것이 맞죠? |
|
위로 |
|
|
김윤승
가입: 2014년 9월 1일 올린 글: 452 위치: 302동 312-2호
|
올려짐: 2014년12월21일 14:02 주제: |
|
|
생각해보니 모순이 있네요.
원래 의도는 아니었지만 저런 경우에도 false를 리턴해도 되는 걸로 하겠습니다. |
|
위로 |
|
|
이성환
가입: 2014년 9월 9일 올린 글: 34
|
올려짐: 2014년12월21일 15:21 주제: |
|
|
결론적으로, check_cmd의 경우 read의 범위는 고려하지 않아도 된다는 뜻인가요?
즉, goto에서 jump가 일어나는지에 대해서는 고려하지 않아도 되는가요? |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|