设为首页 加入收藏

TOP

1.2 对象的创建很简单
2013-10-07 16:01:10 来源: 作者: 【 】 浏览:59
Tags:1.2 对象 创建 简单

1.2 对象的创建很简单

对象构造要做到线程安全,唯一的要求是在构造期间不要泄露this 指针,即

不要在构造函数中注册任何回调;

也不要在构造函数中把this 传给跨线程的对象;

即便在构造函数的最后一行也不行。

之所以这样规定,是因为在构造函数执行期间对象还没有完成初始化,如果this被泄露(escape)给了其他对象(其自身创建的子对象除外),那么别的线程有可能访问这个半成品对象,这会造成难以预料的后果。

  1. // 不要这么做(Don't do this.)  
  2. class Foo : public Observer // Observer 的定义见第10 页  
  3. {  
  4. public:  
  5. Foo(Observable* s)  
  6. {  
  7. s->register_(this); // 错误,非线程安全  
  8. }  
  9. virtual void update();  
  10. }; 

对象构造的正确方法:
  1. // 要这么做(Do this.)  
  2. class Foo : public Observer  
  3. {  
  4. public:  
  5. Foo();  
  6. virtual void update();  
  7. // 另外定义一个函数,在构造之后执行回调函数的注册工作  
  8. void observe(Observable* s)  
  9. {  
  10. s->register_(this);  
  11. }  
  12. };  
  13. Foo* pFoo = new Foo;  
  14. Observable* s = getSubject();  
  15. pFoo->observe(s); // 二段式构造,或者直接写s->register_(pFoo); 

这也说明,二段式构造——即构造函数+initialize()——有时会是好办法,这虽然不符合C++(www.cppentry.com) 教条,但是多线程下别无选择。另外,既然允许二段式构造,那么构造函数不必主动抛异常,调用方靠initialize() 的返回值来判断对象是否构造成功,这能简化错误处理。

即使构造函数的最后一行也不要泄露this,因为Foo 有可能是个基类,基类先于派生类构造,执行完Foo::Foo() 的最后一行代码还会继续执行派生类的构造函数,这时most-derived class 的对象还处于构造中,仍然不安全。

相对来说,对象的构造做到线程安全还是比较容易的,毕竟曝光少,回头率为零。而析构的线程安全就不那么简单,这也是本章关注的焦点。

】【打印繁体】【投稿】【收藏】 【推荐】【举报】【评论】 【关闭】 【返回顶部
分享到: 
上一篇1.1.3 一个线程安全的Counter 示例 下一篇1.3.1 mutex 不是办法

评论

帐  号: 密码: (新用户注册)
验 证 码:
表  情:
内  容:

·MySQL 安装及连接-腾 (2025-12-25 06:20:28)
·MySQL的下载、安装、 (2025-12-25 06:20:26)
·MySQL 中文网:探索 (2025-12-25 06:20:23)
·Shell脚本:Linux Sh (2025-12-25 05:50:11)
·VMware虚拟机安装Lin (2025-12-25 05:50:08)