软件行业人员流动比较频繁，如果你是一个公司的老员工，你常常会有如此经历：一个同事即将离职，领导可能分配你去与之进行工作交接，有时他做过的项目很可能和你做过的有很大差距，没办法领导发话了，你还是要硬着头皮接下来，心中盘算着但愿这个项目的产品在现场运行不要出现什么问题或者用户最好一个新需求都不要提，这样就算是挂个名，也没什么大不了的。

可是事情往往是事与愿违，需求变化速度之快让你猝不及防，这时如果你接手的维护项目和你做的东西是一个套路的，那也许还并不是很头疼，顶多花上一段时间就可以搞定，但是如果你像我一样，接手了一个多年都不接触的，有复杂业务逻辑的项目维护，那简直就是一种折磨呀，如果还是在你自己手头上的活加班都做不完的情况下，则更是让你抓心挠肝了^_^。

这不五一前一个同事离职，按照领导的意志，其项目维护暂由我来接替。恰逢最近忙于系统的结构设计，进度吃紧之关头，这个维护的项目要进行现场软件升级，由于以前版本控制不是很好，导致居然找不到对应的Release版本，无奈之下只能基于其中一个版本修改，采用比较不精密的方式：文件比对，花了若干时间，才勉强拿出一个版本交给现场的实施人员进行升级。运行一段时间过后，现场维护发现出了问题，并反馈回来。无奈之下，开始博览成千上万行的代码，无果。打电话问离职人员，几番交流之后，发现原来改动时基于的版本不对，原因是他在修改一个版本后忘记做记录了，唉，还好，这个版本代码还在，文件比对后，发现改动的地方就两行代码。之前看了若干小时的代码的我本来也想这么改的，呵呵。

我一直在Unix下开发，而这个维护项目是Windows上的使用Visual C++开发的，昨天无奈下装上Visual C++。

把新的Release版本发给远方的维护后，我心里在想：在这种情况下一定要端正态度啊，无论如何这都是你的活，摆正心态解决问题才是正道，否则抱怨只能延缓你解决问题的时间。当然了，谁接到这样的活心里不是别别扭扭的，刚开始都不例外。

晚上饭后抽空看了看如何实现一个内存管理器，涉及内存操作必定少不了指针，恰研究到offsetof这个operator，也看了它的实现，顿有所悟。

先看一段代码：
struct Foo {
        int     a;
        char*   p;
        char    b;
};

Foo* p1 = reinterpret_cast(0);
Foo* p2 = 0;

bool b = (p1 == p2);
std::cout << b << std::endl;

输出结果：
1

请考虑一下虽然打印出来的结果是：1，但是这两个赋值语句的意义相同吗？？？

Foo* p2 = 0;
相信所有C++的初学者都知道，这句的意思是p2是一个空指针，或者说p2尚未指向任何对象。

Foo* p1 = reinterpret_cast(0);
那么这句呢？难道p1也是如p2一样，是一个空指针么？

我们再回顾一下一般我们给指针赋值都是如何做的：
Foo* p = new Foo();
或
Foo aFoo;
Foo *p = &aFoo;

无论是new Foo()还是&aFoo，实际上他们返回的都是一个地址常量，类似于0xffbff204这样的地址值，我们就不妨假设new Foo()或&aFoo返回的地址常量值就为0xffbff204。

继续！我们将如何解释一个指针呢？在Stanley B. Lippman的鸿篇巨制'C++ Primer 3rd'中的第3.3小节有这样的叙述：
每个指针都有一个相关的类型。… … 指针的类型可以指示编译器怎样解释特定地址上内存的内容以及该内存区域应该跨越多少内存单元。

好了，我们解释一下Foo *p = 0xffbff204; (或Foo *p = (Foo*)0xffbff204 或Foo *p = reinterpret_cast(0xffbff204) 更好一些，因为Foo *p = 0xffbff204;这样的语句在C++中很可能不能通过编译，并提示'invalid conversion from `unsigned int' to `Foo*'之类的错误')
我们有这样一个Foo类型的指针，其指向一个起始地址为0xffbff204的类型为Foo的对象，这样我们可以通过&(p->b)得到b的地址：即在0xffbff204的基础上再加上成员b在结构体中的偏移量，如偏移量是8，我们得到的b的地址就是0xffbff204 + 8d。

现在我们把0xffbff204换成了0，也就是Foo* p1 = reinterpret_cast(0); 其实我们再告诉编译器：我们有这样一个Foo类型的指针，其指向一个起始地址为0×0的类型为Foo的对象。这时如果我们想得到b的地址，我们一样可以通过&(p->b)获得，即在0×0的基础上再加上成员b在结构体中的偏移量，如偏移量是8，我们得到的b的地址就是0×0+ 8d = 8，其实这就是b在结构体里面的偏移量。

有些人一直在担心，p1指向地址为0处，一旦引用p1会不会出问题，请牢记这里我们并没有做dereference操作，即*p操作，而且获取b的地址实际上编译器是通过p1以及b的偏移量来计算得来的，也不涉及到dereference操作。你也可以理解为有一个'虚拟'的Foo object就存储在0×0这个地址上，呵呵。越过脑子中的那个阴影向前一步便会豁然开朗。

不进一步分析了，一般offsetof的实现如下：
#define offsetof(type, f) ((size_t)((char *)&((type *)0)->f – (char *)(type *)0))
有了上面的阐述相信理解这个宏定义应该不难。

用C++的写法：std::cout << reinterpret_cast<size_t>(&((reinterpret_cast<Foo*>(0))->p)) << std::endl;
不知道上面我的逻辑是否适合大家。^_^