（记录）如何取结构体中成员的偏移

在linux一站式编程里看到一段程序。unix域套接字绑定。

#include <stdio.h>#include <stddef.h>#include <sys/socket.h>#include <sys/un.h>int main(void){    int fd, size;    struct sockaddr_un un;    memset(&un, 0, sizeof(un));    un.sun_family = AF_UNIX;    strcpy(un.sun_path, "foo.socket");    if ((fd = socket(AF_UNIX, SOCK_STREAM, 0)) < 0) {        perror("socket error");        exit(1);    }    size = offsetof(struct sockaddr_un, sun_path) + strlen(un.sun_path); //宏，取偏移量    if (bind(fd, (struct sockaddr *) &un, size) < 0) {        perror("bind error");        exit(1);    }    printf("UNIX domain socket bound\n");    exit(0);}

offsetof宏,它在stddef.h头文件中定义:

#define offsetof(TYPE, MEMBER) ((int)&((TYPE *)0)->MEMBER)

offsetof(struct sockaddr_un, sun_path)就是取sockaddr_un结构体的sun_path成员在结构体中的偏移,也就是从结构体的第几个字节开始是sun_path成员。

ANSI C标准允许任何值为0的常量被强制转换成任何一种类型的指针，并且转换结果是一个NULL指针，因此((TYPE*)0)的结果就是一个类型为TYPE*的NULL指针。如果利用这个NULL指针来访问TYPE的成员当然是非法的，但&(((TYPE*)0)->MEMBER)的意图并非想存取TYPE字段内容，而仅仅是计算当结构体实例的首址为((TYPE*)0)时MEMBER字段的地址。聪明的编译器根本就不生成访问MEMBER的代码，而仅仅是根据TYPE的内存布局和结构体实例首址在编译期计算这个(常量)地址，这样就完全避免了通过NULL指针访问内存的问题