为何alignas说明符无法让2字节缓冲区严格按1字节边界对齐？

问题描述 #

为何使用alignas说明符无法在栈上创建一个2字节且严格按指定对齐方式（不多不少）的缓冲区？

我理解任何按2字节边界对齐的地址都满足1字节对齐，但仍期望alignas能严格按指定值对齐，尤其std::byte的对齐要求本应允许将buf严格按1字节边界对齐。想请教：为何alignas的表现如此？是否有办法强制编译器按指定对齐方式对齐缓冲区（除了分配更大缓冲区并跳过内部字节）？或是我存在认知遗漏？

示例代码 #

#include <cassert>
#include <cstddef>
#include <cstdint>

int main()
{
    // 创建一个栈上的2字节缓冲区，期望按1字节边界对齐
    alignas(1) std::byte buf[2]{};

    // 将缓冲区首地址转换为无符号整数
    const auto buf_ptr_as_uint = reinterpret_cast<std::uintptr_t>(buf);

    // 期望首地址的最后一位是1（即未按2字节对齐），但断言总是触发
    assert((buf_ptr_as_uint & 1));
}

问题原因 #

alignas的作用是提升变量的对齐要求，而非强制限制对齐到某个精确值。C++标准规定，当指定alignas(N)时，变量的实际对齐值是N与变量自身默认对齐要求中的较大者。

对于std::byte来说，它的默认对齐要求就是1字节，所以alignas(1)不会改变任何规则——编译器仍可选择按更高的对齐方式（比如2字节、4字节）分配栈空间，因为栈分配通常会遵循平台的最小高效对齐单位，以此优化内存访问性能。

你的断言错误核心在于：alignas(1)仅保证地址满足1字节对齐（所有内存地址都天然满足这一点），但完全不禁止编译器使用更严格的对齐策略。

解决思路 #

标准C++没有直接语法支持强制栈内存使用精确的低对齐值，因为栈的布局和对齐策略由编译器与平台共同决定。不过可以尝试以下非标准手段：

• 使用编译器内置扩展：比如GCC的__builtin_alloca配合手动偏移调整，但这属于编译器专属特性，移植性极差。
• 借助联合体破坏对齐：定义包含高对齐类型与std::byte数组的联合体，利用联合体的对齐取成员最大值的特性反向操作，但这种方式依赖编译器实现，且可能触发未定义行为。

需要注意：强制使用非对齐内存访问在多数平台会导致性能下降，部分架构（如部分ARM设备）甚至会触发硬件异常，除非有明确的业务需求，否则不建议这么做。

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