关于c语言结构体成员变量访问方式的一点思考
关于c语言结构体成员变量访问方式的一点思考
算法与编程之美 发表于5年前
关于c语言结构体成员变量访问方式的一点思考
  • 发表于 5年前
  • 阅读 5386
  • 收藏 35
  • 点赞 2
  • 评论 11

【腾讯云】如何购买服务器最划算?>>>   

前言

 

上篇博文(关于c语言结构体偏移的一点思考)对c语言中结构体偏移做了一些思考,发现博文中还有一些小的问题,没有描述的足够清楚,所以才萌生了本篇博文的想法。

为什么不直接将本篇博文作为上篇博文的一个“注”呢?主要有以下方面的原因,一是使用一篇独立的博文能够更好的阐述问题,从而彻底的理解它;二是上篇博文的篇幅已经比较长,考虑到读者的耐心,所以一篇博文不适合过长的篇幅;三是这个问题可以作为一个独立的主题来探讨,方便查阅;最后本着单一职责的原则,每篇博文讨论一个特定的主题,对于主题的粒度大小,可酌情考虑。

那么本篇博文主要探讨什么问题呢?从本文的标题我们可以看到,本文主要探讨的是c语言中关于结构体成员变量的访问方式。访问结构体成员变量?如此简单的问题,有什么可以思考的呢?很纳闷也很奇怪。既然这样,那就带着这个奇怪的问题继续阅读吧。

示例

我们的探讨还是从一个简单的示例开始:

已知结构体类型定义如下:

struct node_t {
    char a;
    int b;
    int c;
};

且结构体1Byte对齐:

#pragma pack(1)

接下来我们探讨几种访问该结构体成员变量c的方式:

 

情形1

如果程序中定义了一个struct node_t类型的变量node如下:

struct node_t node;

那么我们就可以直接通过下面的方式来访问成员变量c:

node.c

 


 

情形2

如果程序中定义了一个指向struct node_t类型的指针p_node如下:

struct node_t node;
struct node_t *p_node = &node;

或者在堆上分配了一块类型为struct node_t的内存如下:

struct node_t *p_node= (struct node_t *)malloc(sizeof(struct node_t));

那么我们就可以使用下面的方式来访问成员变量c:

p_node -> c;

 

情形3

上述两种访问方式都是比较常见的,也是大家所熟悉的,下面我们来探讨一种大家不是特别熟悉也不是很常见的情形:

如果程序中只给定了一个内存地址数值addr_node,且该地址addr_node起始的一段内存,指向一块类型为struct node_t的内存,addr_node声明如下:

unsigned long addr_node;

此时,我们如何根据这块内存地址来访问成员变量c呢?

 

由于我们知道了该结构体的起始地址addr_node,所以我们对其进行强制类型转换,从而得到一个指向该结构体的指针p_node:

struct node_t *p_node = (struct node_t *)addr_node;

接下来我们就可以通过情形2的方式来访问成员变量c了;

 

情形3要传达的意思是,我们可以通过一个具体的内存地址数值来访问我们的结构体成员变量;

关于情形3的一点说明

为什么特地的指出情形3,因为我们上一篇博文关于c语言结构体偏移的一点思考中使用了类似的用法:

 

((struct node_t *)0)->c

 

我们通过内存地址0来访问结构体struct node_t成员变量c,但这里面有几点需要说明一下:

1. 我们并未对内存地址0做过任何内存相关操作,如解引用、赋值等,即内存地址编号0开始的一段内存无任何变化;

2. 我们只是利用了编译器的特性来帮助我们计算结构体的偏移,仅仅是利用了编译器的特性来计算而已;

3. 善于利用编译器的一些特性来优化我们的程序或系统;

结论

本文主要介绍了c语言中关于访问结构体成员变量的几种方式,并对通过内存地址数值直接访问结构体成员变量做了说明,解释了上篇博文中可能产生疑问的一个问题。

如果您对算法或编程感兴趣,欢迎扫描下方二维码并关注公众号“算法与编程之美”,和您一起探索算法和编程的神秘之处,给您不一样的解题分析思路。

 

共有 人打赏支持
粉丝 228
博文 68
码字总数 67291
评论 (11)
开源中国TT
收藏起来
我土鳖
OFFSET_OF宏?
算法与编程之美

引用来自“我土鳖”的评论

OFFSET_OF宏?

这是我在上篇博文中自定义的,man 3 offsetof这个函数其实也是一个宏,不过我没有具体的看他宏的定义
我土鳖

引用来自“justin_cn”的评论

引用来自“我土鳖”的评论

OFFSET_OF宏?

这是我在上篇博文中自定义的,man 3 offsetof这个函数其实也是一个宏,不过我没有具体的看他宏的定义

GCC已经将offsetof视为内嵌函数了。LLVM/Clang好像也是这样。
算法与编程之美

引用来自“我土鳖”的评论

引用来自“justin_cn”的评论

引用来自“我土鳖”的评论

OFFSET_OF宏?

这是我在上篇博文中自定义的,man 3 offsetof这个函数其实也是一个宏,不过我没有具体的看他宏的定义

GCC已经将offsetof视为内嵌函数了。LLVM/Clang好像也是这样。

gcc的确是这样,我刚才查了下资料,定义如下
#define __builtin_offsetof(type, name) ((__SIZE_TYPE__)&((type *)(0ul))->name)
和我博客中说道的是一样的。
我土鳖

引用来自“justin_cn”的评论

引用来自“我土鳖”的评论

引用来自“justin_cn”的评论

引用来自“我土鳖”的评论

OFFSET_OF宏?

这是我在上篇博文中自定义的,man 3 offsetof这个函数其实也是一个宏,不过我没有具体的看他宏的定义

GCC已经将offsetof视为内嵌函数了。LLVM/Clang好像也是这样。

gcc的确是这样,我刚才查了下资料,定义如下
#define __builtin_offsetof(type, name) ((__SIZE_TYPE__)&((type *)(0ul))->name)
和我博客中说道的是一样的。

之前在stackoverflow看到过一个讨论,说这样用0不太合适什么的,所以GCC干脆些成了个内嵌函数。LZ不妨也介绍介绍container_of宏。
我土鳖
那个帖子还提到,说当 (type *)0->name 这一句出现的时候,有些笨拙的编译器就会直接产生一个内存访问(换句话说,没做优化),所以是有一定风险的。
我土鳖
更正一下,在C99里解引用null是未定义行为,详情请参见此贴一楼及一楼附属的讨论内容: http://stackoverflow.com/questions/7897877/how-does-the-c-offsetof-macro-work
算法与编程之美

引用来自“我土鳖”的评论

更正一下,在C99里解引用null是未定义行为,详情请参见此贴一楼及一楼附属的讨论内容: http://stackoverflow.com/questions/7897877/how-does-the-c-offsetof-macro-work

非常感谢你的建议,^_^
ghui_dev
说得很透彻,很好 我也想知道container_of的怎么样的79
算法与编程之美

引用来自“ghui_dev”的评论

说得很透彻,很好 我也想知道container_of的怎么样的79
谢谢鼓励,我会继续创作更多优质博客。
×
算法与编程之美
如果觉得我的文章对您有用,请随意打赏。您的支持将鼓励我继续创作!
* 金额(元)
¥1 ¥5 ¥10 ¥20 其他金额
打赏人
留言
* 支付类型
微信扫码支付
打赏金额:
已支付成功
打赏金额: