C++变参模板实现无填充std::array打包解包接口的问题求助

现有代码的核心错误 #

• 原实现的SumOfSizeofs依赖运行期传入的对象引用计算大小，无法作为编译期常量传递给std::array的非类型模板参数，从语法上就无法完成编译期的数组大小推导。
• PackArray函数内直接返回类型名，既没有实例化数组对象，也没有完成实际的内存拷贝逻辑，仅书写了类型说明。
• 没有对可拷贝类型做基础约束，直接内存拷贝容易触发未定义行为。
• 目前C++标准库没有内置的std::packed_tuple类型，但完全可以通过变参模板实现等价的紧密排列、无填充的序列化逻辑。

完整可运行实现 #

#include <cstddef>
#include <cstdint>
#include <array>
#include <cstring>
#include <type_traits>

// 编译期计算所有参数类型的总占用字节数，无对齐填充
template <typename... Ts>
constexpr std::size_t PackedTotalSize = (sizeof(Ts) + ... + 0);

// 打包接口
template <typename... Args>
auto PackArray(Args&&... args)
    -> std::array<std::uint8_t, PackedTotalSize<std::decay_t<Args>...>>
{
    using ResultArray = std::array<std::uint8_t, PackedTotalSize<std::decay_t<Args>...>>;
    ResultArray buffer{};
    std::size_t offset = 0;

    // 逐参数顺序拷贝内存到连续数组
    auto write_elem = [&](const auto& elem) {
        using ElemT = std::decay_t<decltype(elem)>;
        static_assert(std::is_trivially_copyable_v<ElemT>, "仅支持可平凡拷贝类型的打包操作");
        std::memcpy(buffer.data() + offset, &elem, sizeof(ElemT));
        offset += sizeof(ElemT);
    };
    (write_elem(args), ...);

    return buffer;
}

// 解包接口
template <std::size_t BufferSize, typename... Args>
void UnpackArray(const std::array<std::uint8_t, BufferSize>& buffer, Args&... args)
{
    static_assert(BufferSize == PackedTotalSize<std::decay_t<Args>...>, "打包数据长度与目标参数总长度不匹配");
    std::size_t offset = 0;

    // 逐参数从数组反向拷贝内存
    auto read_elem = [&](auto& elem) {
        using ElemT = std::decay_t<decltype(elem)>;
        static_assert(std::is_trivially_copyable_v<ElemT>, "仅支持可平凡拷贝类型的解包操作");
        std::memcpy(&elem, buffer.data() + offset, sizeof(ElemT));
        offset += sizeof(ElemT);
    };
    (read_elem(args), ...);
}

使用方式 #

完全匹配最初设计的调用形式，无额外语法成本：

int x = 0x12345678;
float y = 3.14f;
double z = 2.71828;
// 生成的data总大小为 sizeof(int) + sizeof(float) + sizeof(double)，无任何内存填充
auto data = PackArray(x, y, z);

// 反向还原变量
int rx;
float ry;
double rz;
UnpackArray(data, rx, ry, rz);

注意事项 #

• 该实现按当前运行环境的内存字节序完成拷贝，不做跨机器/跨平台的字节序适配，仅适合同进程内的内存快速序列化/反序列化。
• 因为依赖memcpy完成内存拷贝，仅支持平凡可拷贝（trivially copyable）类型，带虚函数、自定义复杂构造/析构的类型直接使用会触发未定义行为。
• 相比标准库std::tuple，该实现完全移除了类型间的对齐填充，所有成员按顺序紧密排列，没有多余空隙，完全满足无填充序列化的需求。

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