c - 为什么使用 char* 来处理 union 地址？

Question

union a {
    struct a_header a_hdr;
    struct b        b_hdr;
};

bzero((char*)(&(&a->a_hdr)[1]), sizeof(struct b) - sizeof(struct a_header));

这个调用是做什么的？ (char*)(&(&a->a_hdr)[1]) 指向哪里？

Answer 1

在 struct b 大于 struct a_header 的假设下工作(否则 sizeof(struct b) - sizeof(struct a_header) 会为零或非常大，因为 size_t 不能为负数)，此语句清除 union a 中被 b_hdr 使用但 的任何字节不是 a_hdr。

分解表达式:

&a->a_hdr

给定 a 是指向 union a 的指针，这将获取 a_hdr 字段的地址

(&a->a_hdr)[1]

这将上述地址视为一个数组并获取偏移量 1 处的元素。没有元素，所以这会是未定义的行为，但我们有:

&(&a->a_hdr)[1]

由于 a[b] 完全等同于 *(a + b)，所以上面的内容等同于:

&(*(&a->a_hdr + 1))

相邻的&和*相互抵消，所以现在你有:

&a->a_hdr + 1

所以这指向长度为 1 的数组之后的一个元素，即 a->a_hdr。正是这个地址被传递给 bzero。转换为 char * 是不必要的，因为 bzero 将 void * 作为其第一个参数。

第二个参数:

sizeof(struct b) - sizeof(struct a_header)

同样，假设 struct b 大于 struct a_header，这给了我们 struct b 大的字节数。所以 b_hdr 但不是 a_hdr 使用的字节被清除。

为了说明，假设 struct b 是 8 个字节，struct a_header 是 4 个字节。然后 union a 看起来像这样:

---------------------------------
| X | X | X | X | X | X | X | X |
---------------------------------
|           struct b            |
---------------------------------
|struct a_header|
-----------------

其中 X 是一些未知的字节值。在上面调用 bzero 之后，它看起来像这样:

---------------------------------
| X | X | X | X | 0 | 0 | 0 | 0 |
---------------------------------
|           struct b            |
---------------------------------
|struct a_header|
-----------------