C언어, 구조체
글쓴이: gurumong / 작성시간: 화, 2009/01/20 - 6:46오후
구조체와 그 구조체가 가지는 첫번째 맴버 사이에서의
포인터 형변환은 정렬제한에 관한 문제를 겪지않는다고 알고있습니다
그렇게 구조체의 포인터를 첫번째로 가지는 맴버형으로의 형변환된 포인터로 접근해서 값을 읽거나 변경하는것이 정의되지 않는 행동을 일으킨다는데
왜 그런거죠? 상식적으로 아무런 문제가 있을꺼 같지는 않은데요
struct foo {
int a;
} object;
int *pi = (int *)&object;
*pi = 10; /* wrong */Forums:
저도 특별히 문제가
저도 특별히 문제가 생기지 않는걸로 알고 있었는데, 문제가 생긴다는 내용이 어디에 나온것인가 궁금합니다.
Neogeo - Future is Now.
Neogeo - Future is Now.
C언어 펀더멘탈 에서...
p652 "최소한 첫번째로 선언되는 맴버는 구조체의 가장 처음에 배치된다. 따라서 일반적으로 서로 다른 데이터형을 가르키는 포인터 사이의 변환은 정렬제한으로 인한 잠재적인 문제 때문에 정의되지 않지만, 어떤 구조체형을 가리키는 포인터가 첫번째 맴버를 가리키는 포인터로 변환된다면 정렬제한의 문제를 겪지 않는다, 따라서 다음과 같은 포인터 변환이 허락된다. 물론 포인터 변환이 허락된다는 사실과 변환된 포인터를 통해 값을 읽어올 수 있다는 사실은 별개의 문제다. 즉 위와 같은 포인터 변환 자체는 허락되지만, 변환된 포인터로 값을 읽어오려고 시도하는 것은 정의되지 않는 행동을 일으킨다."
라고 나와있어요 ㅜ.ㅜ
어떤 구조체형을
어떤 구조체형을 가리키는 포인터가 첫번째 맴버를 가리키는 포인터로 변환된다면 정렬제한의 문제를 겪지 않는다
---> 이 문장에서 된다는 얘기인거 같은데요.
Bold체로 쓰여진건 일반적인 Case를 이야기 하는 것 같은데요
댓글 달기