1.2 对象的创建很简单
对象构造要做到线程安全,唯一的要求是在构造期间不要泄露this 指针,即
不要在构造函数中注册任何回调;
也不要在构造函数中把this 传给跨线程的对象;
即便在构造函数的最后一行也不行。
之所以这样规定,是因为在构造函数执行期间对象还没有完成初始化,如果this被泄露(escape)给了其他对象(其自身创建的子对象除外),那么别的线程有可能访问这个半成品对象,这会造成难以预料的后果。
- // 不要这么做(Don't do this.)
- class Foo : public Observer // Observer 的定义见第10 页
- {
- public:
- Foo(Observable* s)
- {
- s->register_(this); // 错误,非线程安全
- }
- virtual void update();
- };
对象构造的正确方法:- // 要这么做(Do this.)
- class Foo : public Observer
- {
- public:
- Foo();
- virtual void update();
- // 另外定义一个函数,在构造之后执行回调函数的注册工作
- void observe(Observable* s)
- {
- s->register_(this);
- }
- };
- Foo* pFoo = new Foo;
- Observable* s = getSubject();
- pFoo->observe(s); // 二段式构造,或者直接写s->register_(pFoo);
这也说明,二段式构造——即构造函数+initialize()——有时会是好办法,这虽然不符合C++(www.cppentry.com) 教条,但是多线程下别无选择。另外,既然允许二段式构造,那么构造函数不必主动抛异常,调用方靠initialize() 的返回值来判断对象是否构造成功,这能简化错误处理。
即使构造函数的最后一行也不要泄露this,因为Foo 有可能是个基类,基类先于派生类构造,执行完Foo::Foo() 的最后一行代码还会继续执行派生类的构造函数,这时most-derived class 的对象还处于构造中,仍然不安全。
相对来说,对象的构造做到线程安全还是比较容易的,毕竟曝光少,回头率为零。而析构的线程安全就不那么简单,这也是本章关注的焦点。