offsetof宏的使用、模拟实现及 (size_t)&(((struct_type*)0)->mem_name)的解释

简介: offsetof宏的使用、模拟实现及 (size_t)&(((struct_type*)0)->mem_name)的解释

宏原型:offsetof(type,member)

作用:返回数据结构或联合体类型中成员的偏移量,以字节为单位

返回值:size_t类型的无符号整数

使用案例:

#include <stdio.h>    
#include <stddef.h>   
struct foo {
  char a;
  char b[10];
  char c;
};
int main()
{
  printf("offsetof(struct foo,a) is %d\n", (int)offsetof(struct foo, a));
  printf("offsetof(struct foo,b) is %d\n", (int)offsetof(struct foo, b));
  printf("offsetof(struct foo,c) is %d\n", (int)offsetof(struct foo, c));
  return 0;
}

模拟实现:

#include <stdio.h>
//写一个宏,计算结构体中某变量相对于首地址的偏移,并给出说明
struct Stu
{
  int a;
  char c;
  double d;
};
#define OFFSETOF(struct_type, mem_name)      (size_t)&(((struct_type*)0)->mem_name)
//这样的强制类型转换应该使用 (size_t) 而不是 (int) 
//为了确保能够存储较大范围内的偏移值
int main()
{
  printf("%d\n", OFFSETOF(struct Stu, a));
  printf("%d\n", OFFSETOF(struct Stu, c));
  printf("%d\n", OFFSETOF(struct Stu, d));
  return 0;
}

关于“(size_t)&(((struct_type*)0)->mem_name)”的解释:

       该表达式的作用是用于获取结构体成员相对于结构体在内存中的偏移量,它将 0 强制类型转换为指向 struct_type 类型的空指针,获取结构体中成员的地址后再强制转换为无符号整型size_t。

注意事项:

  1. 这种技巧通常用于底层编程或者涉及到直接操作内存布局和字节对齐等细节时。一般情况下,在正常应用程序开发过程中不建议频繁使用此类技巧。
  2. 在实际应用时,请确保遵循相关语言和平台规范,并小心处理可能出现未定义行为或错误结果的情况。

关于“(struct_type*)0”的解释:

       在 C 和 C++ 中,整数 0 可以被隐式地转换为空指针。

注意事项:在实际应用中,并不推荐将整数 0 直接强制转换为空指针。根据 C 和 C++ 的规范,在大多数情况下,应该使用 NULL 或 nullptr 来表示空指针。

关于将地址强制类型转换为size_t类型后如何获取偏移量的解释:

#include <stdio.h>
typedef struct {
    int member1;
    char member2;
    double member3;
} MyStruct;
int main() {
    MyStruct myStruct;
    // 获取成员变量的地址
    int* ptr_member1 = &myStruct.member1;
    char* ptr_member2 = &myStruct.member2;
    size_t member1 = ptr_member1;
    size_t member2 = ptr_member2;
    size_t all = &myStruct;
    printf("%u\n", all);
    printf("%u\n", member1);
    printf("%u\n", member2);
    return 0;
}

       在这里我们获取了结构体本身地址强制类型转换为size_t后的值2845767320,以及它的两个成员强转后的值2845767320和2845767324,我们可以发现貌似只需要对这些值进行简单的减法运算就可以得到结构体每个成员相对于结构体在内存上的偏移量,但是我们发现关于#OFFSETOF自定义宏包括主函数中并未提及减法操作,但还是得到了相应的偏移量,这是因为:编译器在处理空指针时会有隐式行为:在获取结构体成员地址时,默认情况下编译器会计算出从起始位置(即空指针)到该成员之间的偏移量。然后就该偏移量被强制类型转换为size_t型输出......

~over~

相关文章
|
Linux 编译器 Shell
深入理解Linux中的动态库与静态库
深入理解Linux中的动态库与静态库
|
存储 程序员 C语言
C语言变量命名规则
C语言变量命名规则
816 0
|
11月前
|
Windows
IDEA如何查看已经安装的插件并删除
【10月更文挑战第1天】这段内容主要介绍了如何在IntelliJ IDEA中查看和删除已安装的插件。可以通过软件内的插件市场查看插件列表,包括插件名称、版本号和供应商等信息;也可以通过访问插件目录查看。删除插件则建议在插件市场中进行,包括禁用和卸载步骤,手动删除插件文件夹的方法不推荐,因为可能存在配置残留等问题。
2860 11
|
边缘计算 物联网 5G
4G 网络跟 5G 的区别
4G 网络跟 5G 的区别
702 0
|
SQL 存储 缓存
PostgreSQL函数管理接口
学习PostgreSQL服务端开发必须要对函数管理接口有比较深入的了解
|
关系型数据库 C语言 PostgreSQL
PostgreSQL服务端开发学习 -- fmgr.h
fmgr按官方的解释就是Postgres函数管理器和函数调用接口,在使用C语言开发PostgreSQL后端应用时,所以与backend交互时必须遵循fmgr.h中定义的一些规范。
|
缓存 安全 Java
多线程--深入探究多线程的重点,难点以及常考点线程安全问题
多线程--深入探究多线程的重点,难点以及常考点线程安全问题
408 1
|
存储 安全 Linux
句柄是什么?一文带你了解!
今天又学习了一个装X概念——句柄,看字面意思,感觉跟某种器具有关,但实际上,这个词可不是用来打造家居用品的。
1853 0