std::make_unique<alignas(32) std::byte[]>是否会分配对齐内存？能否替换指定代码？

可以将你提供的两段代码互相替换，且auto p = std::make_unique<alignas(32) std::byte[]>(size);确实会分配32字节对齐的内存，原因如下：

• 类型对齐要求的传递：当你用alignas(32)修饰std::byte[]时，这个数组类型的对齐要求被显式设置为32字节。std::make_unique在为该类型分配内存时，会自动识别并遵循这个类型的对齐约束，底层会调用带有对应对齐参数的new操作（等价于你手动指定std::align_val_t{32}的版本）。

• 代码等价性验证：两段代码的核心逻辑完全一致：

  • 原代码：手动通过new (std::align_val_t{32})指定对齐要求，再将裸指针交给std::unique_ptr管理。
  • 替换后代码：通过alignas赋予数组类型对齐属性，make_unique自动处理对齐内存的分配和unique_ptr的构造，代码更简洁且符合C++ RAII的最佳实践，避免了手动操作裸指针的潜在风险。

• 析构的正确性：两种方式创建的unique_ptr在释放内存时，都会正确处理对齐的内存块，不会出现对齐相关的释放错误——因为unique_ptr会跟踪内存的对齐信息（或依赖new/delete的对齐兼容机制）。

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