如何调整Boost multiprecision整数以实现Intel原生紧凑存储？

问题背景 #

C++原生定宽整数类型（如uint32_t、int64_t）以及GCC/Clang扩展的__int128系列，其sizeof均严格等于位宽除以8。但Boost Multiprecision库的uint256_t、uint512_t却存在冗余：uint256_t占48字节（预期32），uint512_t占80字节（预期64），均多出16字节；仅uint128_t的sizeof符合预期（16字节）。

冗余根源 #

Boost多精度整数的基类cpp_int_base默认包含以下字段：

data_type m_data;
unsigned  m_limbs;
bool      m_sign, m_internal, m_alias;

其中仅m_data用于存储数值位，其余字段共同造成了16字节的额外开销。

核心需求与现有限制 #

你希望Boost多精度整数采用与原生类型完全一致的存储格式：无额外字段，有符号数使用最高位作为符号位的补码编码，从而支持直接通过reinterpret_cast操作内存数组，避免转换开销，同时简化模板代码中位宽的计算（直接用sizeof(T)*8）。

关于trivial模板参数的细节 #

cpp_int_base的模板签名中包含trivial参数：

template <unsigned MinBits, unsigned MaxBits, cpp_integer_type SignType,
    cpp_int_check_type Checked, class Allocator, bool trivial = false>
struct cpp_int_base;

当trivial=true时，cpp_int_base的特化仅保留两个字段：

local_limb_type m_data;
bool            m_sign;

仅比最小必要存储多1字节。且128位整数默认trivial=true，更大的整数默认trivial=false。但用户无法直接控制该参数——uint256_t的定义为：

using uint256_t = number<cpp_int_backend<256, 256,
    unsigned_magnitude, unchecked, void>>;

cpp_int_backend未暴露trivial参数，cpp_int_base属于库内部实现细节，无法直接访问。

uint128_t的sizeof疑问解答 #

uint128_t是无符号类型，对应的SignType为unsigned_magnitude，此时m_sign字段会被编译器优化移除（或在特化版本中直接不存在），因此最终sizeof刚好为16字节，符合预期。

可行解决方案 #

目前Boost Multiprecision库没有公开API支持直接为大于128位的整数启用trivial=true，但可以通过以下方式满足需求：

• 自定义封装原生数组+Boost运算代理：用原生字节数组（如std::array<uint64_t,4>存储256位无符号数）封装成类，内部临时转换为Boostuint256_t执行运算后写回数组。这种方式仍有转换开销，但可通过批量运算降低单次转换的影响。
• 修改Boost源码（不推荐）：修改cpp_int_backend的实现，增加模板参数传递trivial给cpp_int_base，或直接为256/512位整数特化trivial=true。但该方式会破坏库的兼容性，后续升级需重新适配。
• 切换到其他多精度库：选择支持原生对齐存储的库，比如GMP（可通过mpz_class的get_mpz_t()直接访问底层存储），或Abseil的uint256类型（本身采用原生字节数组存储，完全匹配你的需求）。

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