多线程CCTV系统中使用std::swap交换cv::Mat是否安全？

我正在开发多线程CCTV系统，主线程中创建了变量vector<cv::Mat> all_camera_frame，并将元素传递给不同子线程。每个子线程创建局部变量cv::Mat frame获取相机帧，为提升效率，我用std::swap(all_camera_frame[0], frame);替代all_camera_frame[0] = frames.clone();，目前功能正常，但担忧其安全性。我知道swap会交换元素指针和元数据，但一个在堆上一个在栈上，疑惑线程结束后，主线程元素是否会因指向已销毁的线程局部数据而导致段错误？

以下是我当前的实现函数——我知道swap并非原子操作，因此在函数中添加了锁；即使frame_buffers和frame_renew是子线程的局部参数，交换全局与局部参数也能正常工作，因为交换的是元数据而非元数据指针：

void collect_frames_from_buffers(std::vector<cv::Mat> &frames, 
                                 std::vector<int> &frame_update,
                                 std::vector<cv::Mat> &frame_buffers,
                                 std::vector<int> &frame_renew,
                                 std::vector<std::unique_ptr<std::mutex>> &set_of_frame_mutex_ptr)
{
    size_t num_cameras = frames.size();

    // Ensure that the number of mutexes matches the number of cameras
    if (set_of_frame_mutex_ptr.size() != num_cameras) {
        throw std::invalid_argument("Insufficient number of mutexes provided.");
    }

    // Create a vector to hold the unique locks
    std::vector<std::unique_lock<std::mutex>> locks;
    locks.reserve(num_cameras);

    // Acquire all locks in a consistent order to avoid deadlocks
    for (size_t i = 0; i < num_cameras; ++i) {
        if (set_of_frame_mutex_ptr[i]) { // Check if the unique_ptr is not null
            locks.emplace_back(*set_of_frame_mutex_ptr[i]);
        }
        else {
            throw std::runtime_error("Mutex pointer is null for camera index " + std::to_string(i));
        }
    }

    // Now all buffers are locked, proceed to swap
    std::swap(frames, frame_buffers);
    std::swap(frame_update, frame_renew);

    // Locks will be automatically released when they go out of scope
}

1. cv::Mat的swap本质与内存安全性 #

cv::Mat并非直接存储像素数据，它是一个带引用计数的智能容器：像素数据始终存放在堆上，而Mat对象本身（包含数据指针、尺寸、通道数、引用计数等元数据）可以在栈或堆上分配。

std::swap对cv::Mat的操作，只是交换两个Mat对象的元数据（包括数据指针、引用计数等），不会触碰底层的像素数据。具体到你的场景：

• 子线程局部frame持有相机采集的堆上像素数据D，引用计数为1；
• 主线程all_camera_frame[0]持有旧数据D_old，引用计数为1；
• swap后，all_camera_frame[0]持有D，引用计数1；frame持有D_old，引用计数1；
• 子线程结束时，局部frame析构，会释放它当前持有的D_old——但此时主线程的all_camera_frame[0]已经不再关联D_old，而是持有D，完全不受影响；而D的引用计数仍为1，主线程可以安全访问。

所以你担心的“主线程元素指向已销毁的线程局部数据”不会发生，因为线程销毁的是原来主线程Mat的旧数据，而非现在主线程Mat持有的新数据。

2. 当前实现的锁机制合理性 #

你提到swap并非原子操作，这一点是对的——无论是单个cv::Mat的swap，还是整个vector<cv::Mat>的swap，都不是原子操作。

当前实现中，按固定顺序获取所有相机对应的锁，再执行swap，这个设计可以有效避免死锁，同时保证swap操作的原子性（相对于其他线程的并发访问），是正确的做法。需要注意的是，所有访问frames或frame_buffers的线程，都必须遵循相同的锁顺序规则，否则仍可能出现死锁。

3. 额外注意事项 #

• 确保子线程在swap完成后，不再访问原frame对象的像素数据——因为swap后frame持有的是旧数据，主线程后续可能会修改或释放它；
• 如果你的场景中存在多个线程同时读写all_camera_frame，必须保证所有读写操作都在锁的保护下执行，避免数据竞争。

内容的提问来源于stack exchange，提问作者lessthanenough