如何保证成员4字节对齐？

Question

为了使用 OSAtomicDecrement（mac 特定的原子操作），我需要提供一个 4 字节对齐的 SInt32。

这样的煮法有用吗？还有其他方法可以解决对齐问题吗？

struct SomeClass {
  SomeClass() {
    member_  = &storage_ + ((4 - (&storage_ % 4)) % 4);
    *member_ = 0;
  }

  SInt32 *member_;

  struct {
    SInt32 a;
    SInt32 b;
  } storage_;
};

Answer 1

如果您使用的是 Mac，则意味着 GCC。 GCC 可以为您自动对齐变量：

  __attribute__((__aligned__(4))) int32_t member_;

请注意，这不能跨编译器移植，因为这是 GCC 特定的。

Answer 2

我猜想任何 SInt32 都已经对齐，即使在 Mac 上也是如此。

澄清一下：

struct Foo {
    SInt32 member;
};

member 始终正确对齐，除非您打包结构并将 member 放在字符后面。

Answer 3

默认情况下，int 与任何 OS X 编译器都是 4 字节对齐的。您需要做的就是不要故意破坏该对齐方式（例如，通过执行不正确的指针转换、将您的结构标记为“打包”等）。

Answer 4

我对 Mac 编程一无所知，但在我曾经使用过的小型计算机上，指针总是在 4 字节（字）边界上对齐。 IIRC，结构也是如此。分配的内存总是如此。

Answer 5

如果您的编译器支持 TR1（或 C++0x），则可以使用 std::aligned_storage 模板。

要为大小为 S 且对齐方式为 A 的对象分配空间，您可以分配 std::aligned_storage::storage< 类型的对象/代码>。

（命名空间可能因编译器而异。我认为 TR1 没有指定扩展必须放置在哪个命名空间中。在 MSVC 上，使用命名空间 std::tr1）

除此之外，32 位编译器已经将整数进行 4 字节对齐（至少在 32 位整数的自然对齐为 4 字节的平台上）

Answer 6

如果您想在结构中强制进行良好的对齐，可以使用位字段。

struct 
{
   Foo _hisFoo;
   unsigned int dummyAlignment : 0;
   Foo _myFoo;
}