GCC中__attribute__((__packed__))引发std::vector初始化异常问题

一、attribute((packed))的工作机制 #

__attribute__((__packed__))是GCC的编译器扩展属性，核心作用是强制结构体/联合体成员紧凑排列，取消编译器自动添加的对齐填充字节。

正常编译时，编译器会根据目标平台的内存访问规则，为结构体成员添加对齐填充（比如32位系统下，uint16_t成员可能被对齐到4字节边界），以提升内存访问效率。而添加__packed__属性后，结构体的总大小等于所有成员实际字节数的总和，成员之间不会有额外填充。

二、遇到的具体问题 #

问题代码 #

#include <vector>
#include <iterator>
#include <cstdint>

struct PackedReport
{
  uint16_t FluorScalingFactor[1];
} __attribute__((__packed__));
const static constexpr PackedReport DUMMY_REPORT_PACKED{{ 5 }};

int main() {
    // 情况1：begin/end存为变量，vector得到两个5
    auto begin = std::begin(DUMMY_REPORT_PACKED.FluorScalingFactor);
    auto end = std::end(DUMMY_REPORT_PACKED.FluorScalingFactor);
    const std::vector<float> expected_matrix(begin, end);

    // 情况2：直接传入std::begin/std::end，vector为空
    const std::vector<float> empty_matrix(std::begin(DUMMY_REPORT_PACKED.FluorScalingFactor), std::end(DUMMY_REPORT_PACKED.FluorScalingFactor));
    return 0;
}

异常现象 #

• 使用GCC编译时，expected_matrix会包含两个5（预期应为1个）；移除__attribute__((__packed__))或改用Clang编译时，结果符合预期。
• 若直接将std::begin和std::end的返回值传入vector构造函数，生成的vector为空。

三、问题原因分析 #

这是GCC对__packed__结构体中数组成员的指针/迭代器处理存在的兼容性bug：

1. 存为变量时的错误：
   当结构体被__packed__修饰后，GCC会将数组成员的指针标记为非对齐指针。std::begin和std::end在推导数组大小时，错误地将数组长度判定为2，导致end指针指向第一个元素之后的第二个位置。由于编译时内存布局的巧合，该位置的值恰好也是5，最终vector被初始化了两个元素。

2. 直接传参时的错误：
   直接传入std::begin和std::end时，GCC的模板参数推导逻辑出现异常，无法正确识别数组的实际大小，导致begin和end返回相同的指针，vector构造时因范围为空而生成空容器。

Clang不存在该问题，是因为它对__packed__结构体的数组指针处理严格遵循标准语义；而移除__packed__后，结构体成员恢复对齐，GCC的指针处理逻辑回归正常，结果也就符合预期了。

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