首页 > 代码库 > C++多线程环境下的构造函数

C++多线程环境下的构造函数

2024-07-18 00:33:03   225人阅读

多线程的环境里，我们总不可避免要使用锁。于是一个常见的场景就是：

 1 class ObjectWithLock 2 { 3 private: 4   std::mutex mtx_; 5   SomeResType shared_res_; 6  7 public: 8   // Constructor/Destructor 9   …10 11   void OpOnSharedRes()12   {13     std::lock_guard<std::mutex> lock(mtx_);14 15     // read/write shared resource: shared_res_16     …17   }18 };

问题

多线程环境下该如何实现拷贝构造函数和移动构造函数呢？

要实现默认构造函数，没有挑战。使用成员初始化列表就可以：

ObjectWithLock() : mtx_(), shared_res_() {} // 如果SomeResType有默认构造函数的话。

那么我们的拷贝构造怎么写呢？

方案一

非常有可能见到的一种解决方案是：

1 ObjectWithLock(ObjectWithLock const & rhs)2 {3   std::lock_guard<std::mutex> lock(rhs.mtx_);4 5   shared_res_ = rhs.shared_res_;6 }

优点

很明显，这个方案解决了我们的问题。

缺点

方案一的缺点也是显而易见的。就是shared_res_ = rhs.shared_res_。为什么这么说呢？

我们先来复习下成员变量初始化顺序。

C++成员变量的初始化顺序

成员变量的初始化顺序在C++里弄不好，就是各种坑。

首先我们比较容易知道的是，C++成员变量的初始化发生在构造函数之前。

那么成员变量之间初始化的顺序是如何的呢？

没有专门去注意过这个问题的童鞋，很可能会认为，成员变量的初始化顺序是有成员变量初始化列表的顺序决定的。而事实上成员变量的初始化顺序是有其声明顺序决定的。

方案一的问题

所以方案一的问题就是，shared_res_ = rhs.shared_res_，做的是赋值而不是初始化。如果我们要过分看待这个问题的话，那么结论就是这会带来性能损耗(看具体情况，对性能存在很大的影响也是有可能的)。

当然很多时候我们没有必要吹毛求疵。事实上方案一最大的问题是他有很多局限性。这些局限性要求SomeResType必须：

  1. 有无参默认构造
  2. 支持赋值操作
  3. 没有const成员变量，没有引用类型的成员变量等

如果SomeResType不支持这些前提条件，那么为了解决当前的问题，要么让SomeResType支持，要么重新设计ObjectWithLock。如果ObjectWithLock是一个正确的设计想法，那么就只能为难SomeResType了。蛋疼。

难道这个问题就无解了不成？当然不是这样的，不过如果按照C++98/03的标准来做，真的不容易。我们还是来看看C++11能给我们带来什么惊喜吧。

方案二

C++11引入了一个和构造函数相关的语法，delegate constructor，代理构造函数。一个在C#里早就存在的语法，终于C++里也有了。

所谓的delegate constructor，就是构造函数的初始化可以代理(delegates to)给该类另外一个构造函数去完成。一个简单的例子(来自C++11标准文档12.6.2，段落6)就是：

1 struct C2 {3   C(int c) {}     // #1: non-delegating constructor4   C() : C(42) {}  // #2: delegate to #15 };

有了代理构造函数，我们的问题就容易解决了。我们要解决的问题的关键就是，在初始化成员变量前，先将rhs对象lock住。

那么原先的拷贝构造函数要做到和下面伪代码类似的事情：

ObjectWithLock::ObjectWithLock(ObjectWithLock const & rhs)  : shared_res_(rhs.shared_res_), lock(rhs){}

借助代理构造函数，我们先实现一个自定义的构造函数，能够做拷贝，并且接受一把锁：

1 ObjectWithLock::ObjectWithLock(ObjectWithLock const & rhs,2                                std::lock_guard<std::mutex> const &)3   : shared_res_(rhs.shared_res_)4 {}

然后很自然我就有了：

ObjectWithLock::ObjectWithLock(ObjectWithLock const & rhs)  ObjctWithLock(rhs, std::lock_guard<std::mutex>(rhs.mtx_)){}

问题完美解决了！

C++98/03的解决方案

C++98/03到底能不能解决这个问题呢？能！当然能！就是看你能不能想到了。

这里我就直接给结果，留给大家自己去想吧。

ObjectWithLock::ObjectWithLock(ObjectWithLock const & rhs)  : shared_res_((std::lock_guard<std::mutex>(rhs.mtx_), rhs.shared_res_)){}

结束语

这里就只罗列的拷贝构造函数，移动构造函数同理，留给大家自己想吧。完！


联系
我们