如何在C++中定义8字节空间高效的双类型存储结构体？

我需要定义一个仅占8字节的结构体，因为要存储数百万个该结构体，内存使用极为紧张，必须保证空间高效。该结构体需根据类型存储两类不同信息。我采用以下方式定义后结构体大小为8字节——推测内部的address结构体占8字节。是否有更简洁规范的实现方式？我可以移除内部结构体和联合体，将其定义为62位字段并在代码中按需转换，但希望避免这种做法。

#pragma pack(push, 1)

struct Record{
    union {
        struct {
            uint64_t     offset:48;
            uint16_t     len:14;         
        } address;

        uint64_t  opaque:62;
    } recInfo;

    uint8_t      recType:2;      // Indicates the type of the record
};

#pragma pack(pop)

你当前的实现已经能保证8字节的大小，但可以做一些简化，让代码更清晰规范，同时避免手动位转换：

• 简化层级结构
  去掉嵌套的recInfo层级，直接把联合体放在Record内部，同时给address结构体补充2位占位字段，保证它和opaque的总位宽一致（62位），避免编译器对齐规则导致的意外空间占用：

  #pragma pack(push, 1)
  struct Record {
      union {
          struct {
              uint64_t offset : 48;
              uint16_t len : 14;
              uint16_t : 2;  // 占位，保证address总位宽62位
          } address;
          uint64_t opaque : 62;
          uint64_t raw : 64;  // 方便直接操作整个64位区域
      };
      uint8_t recType : 2;
  };
  #pragma pack(pop)
  

• 用匿名联合体/结构体进一步简化访问
  如果编译器支持C++11及以上标准，可以使用匿名联合体和匿名结构体，去掉address的命名，直接通过成员名访问，代码更简洁：

  #pragma pack(push, 1)
  struct Record {
      union {
          struct {
              uint64_t offset : 48;
              uint16_t len : 14;
              uint16_t : 2;
          };
          uint64_t opaque : 62;
          uint64_t raw : 64;
      };
      uint8_t recType : 2;
  };
  #pragma pack(pop)
  

  此时可以直接写record.offset，无需record.address.offset。

• 编译期验证大小
  增加静态断言，确保结构体大小严格为8字节，避免因平台或编译器差异导致的问题：

  static_assert(sizeof(Record) == 8, "Record must be exactly 8 bytes");
  

需要注意的是，位域布局可能因编译器和平台略有差异，但#pragma pack(push,1)已经最大程度消除了对齐影响，加上静态断言可以保证跨平台的一致性。

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