如何从位域转换为指针？

Question

我编写了以下代码来生成

警告：初始化使指针来自整数而不进行强制转换

或 A

警告：从不同大小的整数转换为指针

警告：从 gcc (GCC) 4.1.1 20070105 (Red Hat 4.1.1-52)

struct my_t {
  unsigned int a     : 1;
  unsigned int b    : 1;
};

struct my_t mine = {
  .a = 1,
  .b = 0
};

const void * bools[] = { "ItemA", mine->a, "ItemB", mine->b, 0, 0 };

int i;
for (i = 0; bools[i] != NULL; i += 2)
  fprintf(stderr, "%s = %d\n", bools[i], (unsigned int) bools[i + 1] ? "true" : "false");

如何让警告消失？无论我尝试什么投射，似乎总是会出现警告。

谢谢， 陈兹

Answer 1

嗯，为什么你坚持使用指针作为布尔值？这个替代方案怎么样？

struct named_bool {
    const char* name;
    int         val;
};

const struct named_bool bools[] = {{ "ItemA", 1 }, { "ItemB", 1 }, { 0, 0 }};

Answer 2

const void * bools[] = { "ItemA", mine->a, "ItemB", mine->b, 0, 0 }; 

此代码片段有几个问题：

1. mine 未声明为指针类型（至少在您发布的代码中没有），因此您不应使用 ->< /code> 组件选择运算符；

2. 如果您将其更改为使用 . 选择运算符，您将尝试将布尔值作为指针存储在 a 或 b 中，这不是您想要的；
3. 但这并不重要，因为您无法获取位字段的地址（第 6.5.3.2 节，第 1 段）。

如果您尝试将布尔值与另一个对象关联，那么最好声明一个类型

struct checkedObject {void *objPtr; int check};

并初始化一个数组，因为

struct checkedObject[] = {{"ItemA", 1}, {"ItemB", 0}, {NULL, 0}};

位字段有其用途，但这不是其中之一。在这种情况下，您实际上并没有节省任何空间，因为需要分配至少一个完整的可寻址存储单元（字节、字等）来保存两个位字段。

Answer 3

两个问题：

1. 不确定为什么要尝试将 unsigned int a:1 转换为 void*。如果您尝试引用它，语法将是 &mine->a 而不是 mine->a，但是...

2. 您可以不创建一个指向 C 中的位的指针（至少据我所知）。如果您尝试创建指向位的指针，您可能需要考虑以下选项之一：

   • 创建一个指向位域结构的指针（即struct my_t *），并（如有必要）使用单独的数字来指示要使用的位。示例：

     struct bit_ref {
         结构my_t *位；
         无符号整数a_or_b； // 0 表示位 ->a，1 表示位 ->b
     }
     

   • 不要使用位字段。对每个标志使用 char，因为它是您可以创建指向的指针的最小数据类型。

   • 确实使用位字段，但通过布尔运算手动实现它。示例：

     typedef unsigned int my_t;
     
     
     #define MY_T_A (1u << 0)
     #define MY_T_B (1u << 1)
     
     
     结构位引用{
         结构my_t *位；
         无符号整型移位；
     };
     
     
     int deref(const struct bit_ref bit_ref)
     {
         return !!(bit_ref.bits & (1 << bit_ref.shift));
     }
     

Answer 4

有几种方法可以消除警告，但仍然使用指针值作为布尔值。例如，您可以这样做：

const void * bools[] = { "ItemA", mine->a ? &bools : 0, "ItemB", mine->b ? &bools : 0, 0, 0 };

这使用 NULL 指针表示 false，并使用一个非空指针（在本例中为 &bools，但指向任何正确存储持续时间的对象就可以了）为 true。然后，您还可以在测试中删除对 unsigned int 的强制转换，以便它只是：（

fprintf(stderr, "%s = %d\n", bools[i], bools[i + 1] ? "true" : "false");

空指针始终计算为 false，非空指针始终计算为 true）。

但是，我确实同意您最好创建一个结构数组。