C언어 전처리기 관련 질문입니다.

rullrow의 이미지

입사한지 1개월...
소스코드 분석중인데요..

#define xopt_offset(type, member) \
    (unsingnede long)(&((type *)0)->member)

&((type *)0)->member 이 부분이 이해가 가질 않습니다;;

type* 형태로 형변환한 null을 참조하여 memeber의 주소를 반환하라??

이 부분 관련한 개념을 보충하기 위해 어떤 검색어로 검색을 해야할까요;;ㅜ

klara의 이미지

rullrow의 이미지

혹시 이 부분을 어떻게 공부하게 되셨는지 여쭤봐도 될까요??

학부과정에서는 배운 기억이 없는데요.ㅜㅜ

공부하시는 책이나 방법이 있으신지요;;

klara의 이미지

그냥 본 적이 있어서 알고 있을 뿐입니다.
사실 전 전공자가 아니기 때문에 학교에서 가르치는지 안가르치는지도 모릅니다.
오랬동안 커뮤니티 활동을 하다보니 이런 저런 글을 많이 보게 되어서 알게 된 것들도 많습니다.

rullrow의 이미지

기분 좋은 하루 되세요.^^

rgbi3307의 이미지

#define offsetof(st, m) ((size_t)(&((st *)0)->m))는

st 구조체에서 멤버변수 m이 st 구조체의 처음 시작주소에서 얼마만컴 떨어져 있는지 오프셋 값을 가져옵니다.

#define container_of(ptr, type, member) ({ \
const typeof( ((type *)0)->member ) *__mptr = (ptr); \
(type *)( (char *)__mptr - offsetof(type,member) );})
위의 매크로는
member가 속해있는 구조체 ptr의 주소를 가져옵니다.

리눅스 커널 소스에서 자주 볼 수 있는 매크로 입니다.

From:
*알지비 (메일: rgbi3307(at)nate.com)
*커널연구회(http://www.kernel.bz/) 내용물들을 만들고 있음.
*((공부해서 남을 주려면 남보다 더많이 연구해야함.))

rullrow의 이미지

IAMROOT에서 하는 커널스터디 진행중인데 잘됐네요.^^

설명 감사드립니다.^^

taesaza0의 이미지

매크로 이름과 같이 offset을 계산해주는 매크로 이네요

즉 매크로에 타입과, 멤버의 이름을 넣게 되면 해당 구조체의 시작 주소값에서 offset이 얼마나 떨어져 있는지 계산하기 위함입니다.

해당 코드를 간단히 예를 들어서 설명하면
어떠한 구조체를 접근할때 st_ptr이라는 포인터 변수가 구조체에 대한 주소를 가지고 있고 이 값이 1000이라고 가정합시다
&st_ptr->var 와 같은 형태로 멤버 변수에 대한 주소 값을 얻어 오려고 한다면
&st_ptr->var 값은 구조체의 주소 + offset 즉 1000에 offset을 더한값이 되게 됩니다.
offset이란 구조체의 시작점에서 var라는 변수가 떨어진 주소 갭? 거리? 를 의미 하겠죠
&st_ptr->var 이 값은 컴파일 타임에 컴파일러가 계산해 주게 됩니다.

이걸 조금 응용한게 저 매크로 인데
물론 실제로 올바른 주소는 아니지만 구조체의 주소가 0이라고 가정하게 됩니다.
구조체의 주소가 0이라고 가정한 상태에서 멤버 변수의 주소값을 계산 하면 0 + offset 이 되게 되고 0에서 계산을 했기 때문에
offset 만큼이 됩니다.

즉 해당 매크로를 사용한 코드는 전처리기에의해 &(type *)0->var 으로 치환되게 되고 이는 컴파일러에 의해 var의 offset 값으로 계산 되게 됩니다.

rullrow의 이미지

자세한 설명 너무 감사드립니다.

궁금하던 부분을 모두 설명해주셨습니다.

다시 한 번 감사드립니다.