김진현
가입: 2005년 9월 20일 올린 글: 91 위치: SNUCSE OPT. lab.
|
올려짐: 2005년11월14일 19:51 주제: 숙제 6-2 에 대한 의문 |
|
|
어떤 한 변수가 주소를 나타낸다고 했을 때,
그 주소에 저장되어 있는 값은 assign 구문으로 바꿀 수 있습니다.
이 때, 서로 다른 타입으로 바꿀 수도 있나요?
즉, x의 주소에 저장되어 있는 값이 int 였는데, 나중에 (이를테면) string 으로 바뀔 수 있나요?
주어진 M 이라는 언어가 nML 과 비슷한 것 같은데, nML 은 이런 경우를 허용하지 않습니다.
만약 이런 경우가 허용된다면, 타입 갖춘 프로그래밍이 어려워질 수 있습니다.
왜냐하면 if 문을 통해서 타입을 마음껏 바꿀 수 있을텐데,
if 의 조건문이 매우 복잡하다면 이를 실행해보지 않고는 타입을 알 수 없을테고,
그 실행에 오히려 더 많은 시간이 걸릴수도 있을 것 같습니다.
요약하면,
한 변수가 향하는 주소에 저장되는 값의 타입은 프로그램에서 일정하다고 봐도 될런지요?
덧. 사실 SM5 에서 타입 문제로 한참 고생했는데, 결국 이 문제 때문에 한참 짠 프로그램을 다시 뒤엎었던 기억이 나네요 -_- _________________ The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it. |
|