오류가 날 것 같은 코드 였는데, 확인해 보니 그렇지 않군요.

typedef struct{
  int a;
  int b;
} c;

(unsigned long)&((c*)0)->b;
에서 &, ->의 연산자 우선순위의 혼돈을 피하기 위해
(unsigned long) &(((c*)0)->b);
로 바꾸고, 이것을 다시 분리하면

c *p1   = (c *) 0;
int *pn = &(p1->b);               // 여기서 p1을 참조하므로 오류가 발생될 줄 알았는데 확인해 보니 아니군요. OTL...
Caption = (int) pn;                // 결과 : 4

이것의 어셈블리 코드를 보면

c *p1   = (c *) 0;
  // xor edx, edx
  // mov [ebp-0x70], edx          p1 <-- 0을 넣습니다.

int *pn = &(p1->b);   
  // mov ecx, [bp-0x70];          ecx <-- p1의 값을 불러옵니다.
  // add ecx, 0x04                ecx <-- b의 위치(4)를 더합니다.
  // mov [ebp-0x74], ecx          pn <-- ecx

하지만
int b2 = p1->b;
를 추가시
  // mov eax, [bp-0x70];          eax <-- p1의 값을 불러옵니다.
  // mov edx, [ebp + 0x04]        edx <-- p1->b의 값을 구함 (여기서 Access violation 오류 발생)
  // mov [ebp - 0x78], edx        b2 <-- p1->b의 값 저장.
와 같이 되어 오류가 발생됨.

결론은 신성기 님이 말씀하신데로 메모리를 줄이고, 실행속도 등을 향상시키기 위한 것이라고
판단됩니다.

- heredity -


ssb 님이 쓰신 글 :
: typedef struct{
:   int a;
:   int b;
: }c;
:
: (unsigned long)&((c*)0)->b; //<-이게 의미하는게 b의 위치를 말하는거 같은데 이해가 잘 안되네요.