struct Foo{

   int a;

   char b;

   short c;

};

如果我想观察编译器为了达到内存对齐的要求都在Foo的每个变量后加了多少padding字节，有什么办法？

我们知道编译器在定位一个成员变量的时候利用了2个信息：

1. 类对象的地址

2.将要访问的成员变量相对于类起始地址的偏移地址

这样编译器就可以通过 类对象的地址+成员变量的偏移地址 的简单计算得到成员变量在内存中的真正地址。

回到我们先头的问题，其实我们就是想知道第2个信息，即：将要访问的成员变量相对于类起始地址的偏移地址。

偏移地址的计算是编译器在编译该类的时候就已经确定的，因此应该有办法在编译期就得到这个值。考虑一般的调用情况：

Foo foo;

Foo *pfoo = &foo;

pfoo->b;  //这一句编译器就将计算a的真正地址=pfoo的值+b的偏移地址。

那么如果pfoo的值为零，我们岂不是正好得到a的偏移地址吗？也就是

((Foo*)0)->b我们能通过这样的形式获得我们想要的偏移地址吗？

OK，运行一下... ...

发现运行期报了一个内存访问违规的异常（VC8），正常情况下，如果你的编译器没有什么问题，你都应该得到这个异常。仔细观察这个异常：

Unhandled exception at 0x00411a06 in sss.exe: 0xC0000005: Access violation reading location 0x00000004.

啊？0x00000004不就是我们想要的偏移地址吗？

恍惚一下~~ 

发现自己犯了一个弱智的错误：我们不是要访问b的值，我们只是想得到他的偏移地址而已。把他的偏移地址当做他的内存地址当然会出错啦~~毕竟你的pfoo什么都不是（空指针）。

于是乎强制转换成地址：(int)((void*)(&(((Foo*)0)->c)))

这次输出正确了，就是4.

其实在stddef.h中有更加完整的定义，就是offsetof宏：

#define offsetof(s,m)   (size_t)&reinterpret_cast<const volatile char&>((((s *)0)->m))

评论