std::make_shared<uchar>返回内存的对齐边界？能否保证4字节对齐？

1. std::make_shared的默认对齐边界 #

std::make_shared<uchar>返回的内存，仅保证满足uchar的基本对齐要求（1字节）。虽然多数编译器和平台的实现里，内存分配器为了效率可能会返回对齐到更大边界（比如4字节、8字节）的内存，但这属于实现细节，C++标准并没有强制要求。你不能依赖这种“大概率可行”的情况，标准层面不做任何额外对齐的保证。

2. 如何确保4字节对齐的缓冲区 #

如果需要严格保证内存对齐到32位（4字节）边界，std::make_shared<uchar>默认做不到，得换用以下方式：

• 方法一：用带对齐属性的自定义类型包装
  定义一个带alignas(4)修饰的类型来封装uchar，再通过std::make_shared分配：

  struct alignas(4) AlignedUChar {
      uchar value;
  };
  // 按需分配单个或数组形式的对象
  auto single_buf = std::make_shared<AlignedUChar>();
  auto array_buf = std::make_shared<AlignedUChar[]>(100);
  

  这种情况下，std::make_shared会严格遵循AlignedUChar的4字节对齐要求分配内存。

• 方法二：结合对齐分配器与std::allocate_shared
  可以自定义一个调用std::aligned_alloc的分配器，再配合std::allocate_shared使用（C++17及以上支持std::aligned_alloc）：

  template <typename T>
  struct Aligned4Allocator {
      using value_type = T;
  
      T* allocate(std::size_t n) {
          void* ptr = std::aligned_alloc(4, n * sizeof(T));
          if (!ptr) throw std::bad_alloc();
          return static_cast<T*>(ptr);
      }
  
      void deallocate(T* ptr, std::size_t) noexcept {
          std::free(ptr);
      }
  };
  
  // 分配100个uchar的4字节对齐缓冲区
  auto buf = std::allocate_shared<uchar>(Aligned4Allocator<uchar>(), 100);
  

总结：默认std::make_shared<uchar>无法保证4字节对齐，必须通过自定义对齐类型或对齐分配器，才能实现严格的对齐要求。

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