bug，通过数组改结构体的值

浅浅酒窝˙Ⱉ˙ฅ

已于 2023-04-28 15:11:49 修改

阅读量127

点赞数

文章标签：算法 c++ c语言

于 2023-04-28 15:11:27 首次发布

本文链接：https://blog.csdn.net/weixin_44783692/article/details/130425256

版权

该程序讨论了C语言中结构体在内存中的布局和对齐规则，以及它如何影响数组和结构体成员的关系。通过示例展示了即使结构体成员相邻，由于内存对齐，其在数组中的位置可能并不相同。文章强调了不能假设`a1[sizeof(A)-1]`等于`a2->e`的值，因为结构体的大小可能因对齐策略而增加。

摘要由CSDN通过智能技术生成

// Online C compiler to run C program online
#include <stdio.h>
#include <string.h>
#include<stddef.h>//offsetof
typedef struct ABC
{
    unsigned int a;
    unsigned int b;
    unsigned char c[25];
    unsigned char d[20];
    unsigned char e;
}A;
//数组打印
void print(char a[],int num)
{
    int i;
        for(i=0;i<num;i++)
    {
        if(i!=0&&i%6==0)
             printf("\n"); 
        printf("a[%d]=%-4d  ",i,a[i]);
    }
}
#define max 60
int main() {
    char a1[max];
    A *a2=(A *)a1;
    int i;
    //数组赋值
    memset(a1,10,max);
    //结构体赋值
    a2->a=1;
    a2->b=2;
    memset( a2->c,3,25);
    memset( a2->d,4,20);
    a2->e=5;
    
    char *asd=a1+offsetof(A,e);//第一种方法
    //char  *asd=a1+((char *)(&a2->e)-(char *)(a2));//第二种方法
    *asd=6;
    //打印
    printf("sizeof(A)=%ld\n",sizeof(A));
    print(a1,max);
    return 0;
}

在这个程序里为什吗a1[sizeof(A)-1]!=a2->e;

回答：

在程序中，`a1[sizeof(A)-1]` 和 `a2->e` 的值可能不相等，原因如下：

1. 结构体 `ABC` 中的成员在内存中的布局是有一定的对齐方式的，因此结构体的大小可能会比其成员大小之和更大。具体的对齐方式可能会因为不同的编译器、操作系统或处理器而有所不同。因此，不能简单地认为 `sizeof(A)` 就等于结构体成员大小之和。

2. 在结构体 `ABC` 中，`c` 数组和 `d` 数组的大小之和为 $25 + 20 = 45$，而 `e` 只占用了一个字节的空间，因此 `a2->e` 的值可能会被填充到 `c` 数组或 `d` 数组的后面，而不是紧邻着结构体的末尾。

因此，即使 `a2` 指向的内存区域和 `a1` 数组在内存中的布局相同，也不能简单地认为 `a1[sizeof(A)-1]` 和 `a2->e` 的值一定相等。如果想要比较 `a1[sizeof(A)-1]` 和 `a2->e` 的值，需要根据具体的对齐方式进行分析。