将“`unsigned` bitset”转换为`unsigned`时的gcc警告； 它仍然安全吗？

Question

出于调试目的，我确实将“ unsigned bitset”类型转换为unsigned ：

“ unsigned ”如下所示：

typedef struct {
        unsigned f1 : 1;
        unsigned f2 : 1;
        unsigned f3 : 1;
/* ...less than 10 alltogether... */
} output_flags_t

输出代码如下所示：

output_flags_t output_flags;
/*...*/
printf("... %u\n", *(const unsigned *) &output_flags);

（ gcc不喜欢直接转换）

但是，当使用-O2我会收到一个额外的警告（gcc 4.8.5）：

warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]

我想知道：如果“ unsigned ”和unsigned具有相同的位数； 警告不应该毫无意义吗？ 也就是说：仅当两种类型的大小不同时，该警告才相关吗？

有没有更简洁的方法来打印“ unsigned ”的值？

Answer 1

使用union可能更干净：

typedef union {
    struct {
        unsigned f1 : 1;
        unsigned f2 : 1;
        unsigned f3 : 1;
        /* ...less than 10 altogether... */
    };
    unsigned all;
} output_flags_t;

（注意：在 C11 中添加了未命名的struct / union成员，尽管一些编译器在标准化之前支持它们。）

输出代码如下所示：

output_flags_t output_flags = {0};
output_flags.f3 = 1;
printf("... %u\n", output_flags.all);

在我的系统上，上面打印：

... 4

但输出取决于实现，并且output_flags.all的值可能是陷阱表示（见下文）。

关于使用union进行类型双关，这在 C 标准中是明确允许的，尽管双关值可能是陷阱表示：

C17 6.5.2.3

3. 后缀表达式后跟. 运算符和标识符指定结构或联合对象的成员。 该值是命名成员的值， ⁹⁷⁾ ，如果第一个表达式是左值，则是左值。 如果第一个表达式具有限定类型，则结果具有指定成员类型的如此限定版本。

---

⁹⁷⁾如果用于读取联合对象内容的成员与上次用于在对象中存储值的成员不同，则将该值的对象表示的适当部分重新解释为新对象中的对象表示类型如 6.2.6 中所述（有时称为“类型双关”的过程）。 这可能是一个陷阱表示。

Answer 2

它不是。 改用联合：

typedef union {
    struct {
        unsigned f1 : 1;
        unsigned f2 : 1;
        unsigned f3 : 1;
/* ...less than 10 alltogether... */
    }
    unsigned raw;
} output_flags_t;