C语言无法操控1bit的位域 | 操控1bit时, 其他也会改变

文章探讨了在C语言中使用union和位字段时遇到的问题,即修改位字段后,其他位字段的值被意外改变。作者尝试了添加volatile声明符来防止编译器优化,但未解决问题。最终,通过添加staticvolatile解决了问题,这表明static关键字在此场景下阻止了变量在函数调用间的默认行为,确保了变量状态的持久性。
摘要由CSDN通过智能技术生成


注: 此测试用了三种编译方式,结果均一致
1 - gcc test.c
2 - gcc test.c -O0
3 - cl test.c

问题

Test 1

#include <stdio.h>

union bits
{
    struct __bits
    {
        unsigned char i0 : 1;
        unsigned char i1 : 1;
        unsigned char i2 : 1;
        unsigned char i3 : 1;
        unsigned char i4 : 1;
        unsigned char i5 : 1;
        unsigned char i6 : 1;
        unsigned char i7 : 1;
    };
    unsigned char var;
};

int main()
{

    union bits a;
    unsigned char t;

    printf("size = %d\n",sizeof(union  bits));

    scanf("%d", &t);
    a.i0 = t;
    printf("%d\n", a.var);

    scanf("%d", &t);
    a.i1 = t;
    printf("%d\n", a.var);

    scanf("%d", &t);
    a.i2 = t;
    printf("%d\n", a.var);

    scanf("%d", &t);
    a.i3 = t;
    printf("%d\n", a.var);

    scanf("%d", &t);
    a.i4 = t;
    printf("%d\n", a.var);

    scanf("%d", &t);
    a.i5 = t;
    printf("%d\n", a.var);

    scanf("%d", &t);
    a.i6 = t;
    printf("%d\n", a.var);

    scanf("%d", &t);
    a.i7 = t;
    printf("%d\n", a.var);
	return 0;
}

期望结果应是自由操纵每一位,而不改变其他位
实际结果是只能改变一位
result

Test 2

#include <stdio.h>

union bits
{
    struct __bits
    {
        unsigned char i0 : 1;
        unsigned char i1 : 1;
        unsigned char i2 : 1;
        unsigned char i3 : 1;
        unsigned char i4 : 1;
        unsigned char i5 : 1;
        unsigned char i6 : 1;
        unsigned char i7 : 1;
    };
    unsigned char var;
};

int main()
{

    union bits a;
    unsigned char t;

    printf("size = %d\n",sizeof(union  bits));


    a.i0 = 1;
    a.i1 = 1;
    printf("%d\n", a.var);

    a.i0 = 1;
    a.i1 = 1;
    scanf("%d", &t);
    printf("%d\n", a.var);
    
	return 0;
}

当我进行如上测试时,发现执行 scanf 会改变a的值

解决方案

思路1 - 添加 volatile 声明符

#include <stdio.h>

union bits
{
    struct __bits
    {
        unsigned char i0 : 1;
        unsigned char i1 : 1;
        unsigned char i2 : 1;
        unsigned char i3 : 1;
        unsigned char i4 : 1;
        unsigned char i5 : 1;
        unsigned char i6 : 1;
        unsigned char i7 : 1;
    };
    unsigned char var;
};

int main()
{

    volatile union bits a;
    unsigned char t;

    printf("size = %d\n",sizeof(union  bits));

    a.i0 = 1;
    a.i1 = 1;
    printf("%d\n", a.var);

    a.i0 = 1;
    a.i1 = 1;
    scanf("%d", &t);
    printf("%d\n", a.var);

	return 0;
}

结果还是老样子

思路2 - 添加 static volatile 声明符

我无意间想到是不是可以加个static试一下

#include <stdio.h>

union bits
{
    struct __bits
    {
        unsigned char i0 : 1;
        unsigned char i1 : 1;
        unsigned char i2 : 1;
        unsigned char i3 : 1;
        unsigned char i4 : 1;
        unsigned char i5 : 1;
        unsigned char i6 : 1;
        unsigned char i7 : 1;
    };
    unsigned char var;
};

int main()
{

    static volatile union bits a;
    unsigned char t;

    printf("size = %d\n",sizeof(union  bits));

    a.i0 = 1;
    a.i1 = 1;
    printf("%d\n", a.var);

    a.i0 = 1;
    a.i1 = 1;
    scanf("%d", &t);
    printf("%d\n", a.var);

	return 0;
}

结果发现,真可以,得到预期的结果了

把最初的程序加上 static volatile ,成功了

结论

加上 volatile 还可以理解, 但是为什么加上 static 就好了呢?
有大佬知道的,赐教一下

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值