为何std::format要求其参数必须满足内存对齐要求？

问题代码 #

#include <format>
#include <iostream>

#pragma pack(push)
#pragma pack(1)
struct A {
    long l;
    int  n;
    char c;
};
#pragma pack(pop)

int main() {
    A arr[] = {{42, 42, 42}, {42, 42, 42}};
    std::cout << std::format("{} {} {}", arr[0].l, arr[0].n, arr[0].c); // 正常运行
    std::cout << std::format("{} {} {}", arr[1].l, arr[1].n, arr[1].c); // 触发错误
}

编译命令 #

clang-19 -std=c++23 -stdlib=libc++ -O3 -fsanitize=undefined

运行时错误 #

runtime error: reference binding to misaligned address 0x7ffc995b2f3d for type 'long', which requires 8 byte alignment.

原因解析 #

这本质上不是std::format主动“要求”参数对齐，而是C++标准的对齐规则和libc++实现细节共同作用的结果：

1. 结构体对齐被强制破坏：
   你用#pragma pack(1)强制结构体A按1字节对齐，导致单个A对象的大小为8+4+1=13字节（无对齐填充）。数组中第二个A对象的起始地址是第一个A的末尾，也就是偏移13字节的位置——而long类型在x86-64架构下要求8字节对齐，13不是8的倍数，因此第二个A的l成员地址完全不符合对齐要求。

2. 引用绑定的未定义行为：
   C++标准明确规定，将引用绑定到不符合类型对齐要求的对象属于未定义行为。虽然x86架构的CPU允许不对齐的内存访问，但这种操作依然违反标准，而-fsanitize=undefined会主动检测这类违规行为。

3. std::format的实现触发检查：
   直接用std::cout输出时，编译器可能生成了直接读取不对齐内存的代码（x86兼容），但std::format的libc++实现依赖模板转发参数，内部会以引用的方式处理传入的arr[1].l——这一操作触发了UBSan的对齐检查，从而抛出错误。

简单来说：不是std::format刻意限制，而是你的代码构造了不符合标准对齐要求的对象，std::format的实现路径恰好暴露了这个未定义行为。

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