这篇博客本来上周日就应该写出来了，为什么呢？因为我周六晚上做梦的时候梦见这篇博文了，本来决定周日趁着还记得挺清楚直接写出来的，结果有事耽搁了，就一直拖到现在。周日早上我跟女朋友说做梦的事儿，她给了我一句评语，“你都快没生活情趣了，天天就想着这些东西。想着就算了，竟然还梦见了，天啊！”，哈哈。闲话少续，说说正经的。

—————————————————正式开始的分割线—————————————————-

上周在刘未鹏老大的TopLanguage(很遗憾，google groups被墙了，请翻墙查看该链接)里看到个讨论，似乎是说C++最佳面试题的，题目是“在类的成员函数中能不能调用delete this？”。由于我这个人忘性太大(上周五在toplanguage里潜水一下午看讨论，今天就忘光了)，把现在能想起来的部分内容记在这里。

在类的成员函数中能不能调用delete this？答案是肯定的，能调用，而且很多老一点的库都有这种代码。假设这个成员函数名字叫release，而delete this就在这个release方法中被调用，那么这个对象在调用release方法后，还能进行其他操作，如调用该对象的其他方法么？答案仍然是肯定的，调用release之后还能调用其他的方法，但是有个前提：被调用的方法不涉及这个对象的数据成员和虚函数。说到这里，相信大家都能明白为什么会这样了。

根本原因在于delete操作符的功能和类对象的内存模型。当一个类对象声明时，系统会为其分配内存空间。在类对象的内存空间中，只有数据成员和虚函数表指针，并不包含代码内容，类的成员函数单独放在代码段中。在调用成员函数时，隐含传递一个this指针，让成员函数知道当前是哪个对象在调用它。当调用delete this时，类对象的内存空间被释放。在delete this之后进行的其他任何函数调用，只要不涉及到this指针的内容，都能够正常运行。一旦涉及到this指针，如操作数据成员，调用虚函数等，就会出现不可预期的问题。

为什么是不可预期的问题？delete this之后不是释放了类对象的内存空间了么，那么这段内存应该已经还给系统，不再属于这个进程。照这个逻辑来看，应该发生指针错误，无访问权限之类的令系统崩溃的问题才对啊？这个问题牵涉到操作系统的内存管理策略。delete this释放了类对象的内存空间，但是内存空间却并不是马上被回收到系统中，可能是缓冲或者其他什么原因，导致这段内存空间暂时并没有被系统收回。此时这段内存是可以访问的，你可以加上100，加上200，但是其中的值却是不确定的。当你获取数据成员，可能得到的是一串很长的未初始化的随机数；访问虚函数表，指针无效的可能性非常高，造成系统崩溃。

Read the rest of this entry »

看boost库中的智能指针shared_ptr，发现一段神奇的代码：

class A
{
public:
virtual void sing(){std::cout << “1 2 3 4 5 6 7″<<std::endl; }
public:
~A() {std::cout<<”A Destructor is called.”<<std::endl;};
};

class B : public A
{
public:
void sing() {std::cout << “Do re mi fa so la”<<std::endl; }

public:
~B(){std::cout<<”B Destructor is called.”<<std::endl;};
};

int main(void)
{
boost::shared_ptr<A> p(new B());
p->sing();

}

请注意：代码中，A类的析构函数并没有virtual关键字。下面是输出结果：

Do re mi fa so la
B Destructor is called.
A Destructor is called.

神奇的地方出现了，A类的析构函数并不是虚函数，而shared_ptr在退出作用域范围时，却能够正确调用B类的析构函数。同样的代码，把shared_ptr换成scoped_ptr之后，B类的析构函数没有被调用，输出的只有A类析构函数的消息。

我不知道为什么，要探索boost的源码才能搞清楚，先记下来放这里，我找到原因后再来编辑。

———————————————编辑分割线———————————————-

看代码也没研究明白，无意间在网上看到篇文章介绍这个特性，看这里。

大意：在创建shared_ptr<X>对象时，内部实际上初始化了两个指针，一个是shared_ptr里的px，其值就是原始指针p，另一个是pn，在shared_count中可以看出来，其类型是p的实际类型，也就是说，p的实际类型与shared_ptr的模板参数类型X可以不一样，当然也只能是派生关系，否则也编译不过去。

具体情况分析请看上面的链接。