c++构造函数和并发性

c++ constructors and concurrency

本文关键字:并发 构造函数 c++      更新时间:2023-10-16

我一直在考虑编写一个容器类来控制对将在多线程环境中使用的复杂数据结构的访问。

然后我想到了一个问题:

是否存在c++构造函数必须是线程安全的情况?

通常,两个线程不能同时为同一对象调用构造函数。但是,同一个构造函数当然可以同时为不同的对象调用。

当然,您可以同时从多个线程调用同一个构造函数。从这个意义上说,它们必须是线程安全的,就像任何其他函数一样。如果构造函数要修改共享状态,例如容器,那么你必须使用同步来确保以确定性的方式修改状态。

你不能一次在多个线程上构造同一个对象,因为每个对象只构造一次,所以没有办法多次调用同一对象上的构造函数,更不用说同时在两个不同的线程上了。

根据我的经验,没有。这是隐式或以其他方式调用构造函数的代码,如果应用程序需要,需要使其成为线程安全的。

其原理是一次只有一个线程初始化一个对象,因此不需要同步来保护在构造函数中初始化的对象(如果对象还没有完成初始化,则无论如何都不应该在线程之间共享)。

另一种方法是:在返回构造函数之前,对象将被视为逻辑上不存在。因此,正在创建对象的线程是唯一"知道"对象的线程

当然,适当的同步规则适用于构造函数本身访问的任何共享资源,但这适用于任何函数(我遇到过一些人没有意识到这一点,他们认为构造函数是特殊的,并以某种方式提供对所有资源的独占访问)。