GCC中是否允许对整个结构体使用__attribute__((packed))属性？

核心结论 #

你给出的示例代码是合法且符合GCC规范的，不属于未定义行为。

关键解析 #

• GCC v12手册中"[packed]属性不适用于非成员对象"的表述，针对的是独立变量（比如uint32_t x __attribute__((packed));这类写法），而非结构体类型本身。
• 你的代码里，__attribute__((packed))是直接作用于结构体类型定义的，typedef只是给这个已被紧凑修饰的结构体起了别名。它和下面的标准写法完全等价：

struct junk __attribute__((packed)) {
    uint8_t   m1;
    uint16_t  m2;
    uint8_t   m3;
    uint32_t  m4;
    uint8_t   m5;
};
typedef struct junk junk;

• GCC长期支持这种在结构体定义时添加packed属性的写法，尽管部分版本手册的描述不够直白，但编译器的实际行为稳定：会移除结构体成员间的填充字节，强制按紧凑布局排列。

额外注意 #

• 使用packed可能导致性能下降（非对齐访问需要额外指令处理），部分架构甚至会直接触发非对齐访问异常，需根据场景谨慎使用。
• 若要进一步避免歧义，建议将packed属性放在结构体标签后，写法更贴合GCC手册中"属性应用于结构体类型"的明确说明。

内容的提问来源于stack exchange，提问作者ddbug