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

#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의 주소를 가져옵니다.

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

매크로 이름과 같이 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 값으로 계산 되게 됩니다.