面试题：C++构造函数调用顺序在多线程与动态对象创建场景下的深入影响

线程安全问题分析

内存管理问题：
- 双重释放：不同线程可能同时创建和销毁同一个对象。例如，线程1创建了一个对象，线程2也尝试对该对象进行操作并销毁它，这就会导致双重释放，造成内存错误。
- 悬空指针：如果一个线程销毁了对象，而其他线程仍然持有指向该对象的指针，就会产生悬空指针。后续使用这些悬空指针会导致未定义行为。
资源竞争问题：
- 构造函数中的资源初始化：假设构造函数需要初始化一些共享资源（如文件句柄、数据库连接等）。如果多个线程同时调用构造函数，可能会导致资源竞争。例如，两个线程尝试同时打开同一个文件，可能会导致文件操作出现混乱。
- 虚函数调用：在构造函数中调用虚函数时，由于对象还未完全构造完成，可能会导致虚函数的行为不符合预期。在多线程环境下，这种情况可能会更加复杂，因为不同线程可能在对象构造的不同阶段访问虚函数。

避免问题的设计方法

内存管理方面：
- 智能指针：使用std::unique_ptr或std::shared_ptr来管理对象的生命周期。std::unique_ptr保证对象的唯一所有权，避免双重释放。std::shared_ptr通过引用计数来管理对象，当引用计数为0时自动释放对象，也能有效避免双重释放和悬空指针问题。
资源竞争方面：
- 互斥锁：在构造函数中需要访问共享资源时，使用互斥锁（如std::mutex）来保护共享资源。在访问资源前锁定互斥锁，访问完成后解锁，这样可以避免多个线程同时访问共享资源。
- 避免在构造函数中调用虚函数：尽量将初始化逻辑放在非构造函数的成员函数中，这样可以确保对象完全构造后再调用虚函数。

代码示例

#include <iostream>
#include <memory>
#include <mutex>
#include <thread>

// 定义基类
class A {
public:
    // 构造函数
    A() {
        std::cout << "A constructor" << std::endl;
    }
    // 虚析构函数
    virtual ~A() {
        std::cout << "A destructor" << std::endl;
    }
    // 虚函数
    virtual void print() {
        std::cout << "A print" << std::endl;
    }
};

// 定义派生类
class B : public A {
public:
    // 构造函数
    B() {
        std::cout << "B constructor" << std::endl;
    }
    // 重写虚函数
    void print() override {
        std::cout << "B print" << std::endl;
    }
};

std::mutex resourceMutex; // 用于保护共享资源的互斥锁

// 线程函数，用于创建对象
void createObject() {
    // 使用std::unique_ptr管理对象生命周期
    std::unique_ptr<A> ptr;
    {
        // 锁定互斥锁，保护共享资源（这里假设没有实际共享资源操作，只是示例用法）
        std::lock_guard<std::mutex> lock(resourceMutex);
        // 创建对象
        ptr = std::make_unique<B>();
    }
    // 使用对象
    if (ptr) {
        ptr->print();
    }
}

int main() {
    std::thread t1(createObject);
    std::thread t2(createObject);

    t1.join();
    t2.join();

    return 0;
}

代码注释

类定义部分：
- 定义了基类A，包含构造函数、虚析构函数和虚函数print。
- 定义了派生类B，继承自A，重写了print函数。
全局变量部分：
- 定义了一个std::mutex对象resourceMutex，用于保护可能的共享资源。
线程函数createObject部分：
- 使用std::unique_ptr<A>来管理对象，确保对象的生命周期管理安全。
- 使用std::lock_guard<std::mutex>在构造对象前锁定互斥锁，这里虽然没有实际共享资源操作，但展示了如何保护共享资源。构造完成后自动解锁。
- 创建对象时使用std::make_unique<B>()，这样可以正确地分配和管理B对象的内存。
- 检查ptr是否有效后调用print函数。
main函数部分：
- 创建两个线程t1和t2，都执行createObject函数。
- 等待两个线程完成后退出程序。

星途面试题库

面试题：C++构造函数调用顺序在多线程与动态对象创建场景下的深入影响

知识考点

面试题答案

线程安全问题分析

避免问题的设计方法

代码示例

代码注释