能否从位序列化形式安全重建cv::Mat？代码报错原因解析

问题代码 #

cv::Mat currentFrame; // 已分配内存的有效帧

std::vector<uint8_t> storage;

{
    cv::Mat m1 = currentFrame.clone();
    cv::Mat m2 = m1;
    const auto *m1ptr = reinterpret_cast<const uint8_t *>(&m1);
    storage.insert(storage.end(), m1ptr, m1ptr + sizeof(cv::Mat));
    m1.addref();
}

{
    cv::Mat m3;
    uint8_t *dstPtr = reinterpret_cast<uint8_t *>(&m3);
    std::copy_n(storage.begin(), sizeof(cv::Mat), dstPtr);
}

问题描述 #

在第一个代码块中，操作cv::Mat图像，通过复制提升引用计数，最终仅将cv::Mat头（96字节）以位序列化形式存入向量storage。通过m1.addref()操作将引用计数加1，避免m1和m2销毁时引用计数降至0导致内存释放。两个代码块之间无实际cv::Mat指向已分配的内存块，但storage中保存了该cv::Mat头的副本。

随后尝试从storage中反序列化重建矩阵，此时m3是已销毁的m1的副本，指向仍未释放的内存块，且引用计数应为1。预期逻辑应正常运行，但当m3所在代码块结束、析构函数被调用时，触发了无效指针异常。

核心问题 #

直接通过内存位拷贝序列化/反序列化cv::Mat属于C++未定义行为，原因如下：

• cv::Mat是非平凡类型：它拥有用户定义的构造函数、析构函数和赋值运算符，内部的引用计数、资源管理逻辑完全依赖这些合法的对象生命周期操作。
• 直接字节拷贝绕过了cv::Mat的类封装逻辑，导致m3并非一个合法构造的cv::Mat对象。即使表面上成员指针（如数据指针、引用计数指针）看起来正确，但其内部状态不符合类的设计预期，析构函数执行时会出现不可预测的错误（比如无效指针访问）。

你的addref()操作虽然维持了数据块的引用计数，但无法弥补直接内存拷贝带来的对象状态非法问题——cv::Mat的引用计数机制是和对象的合法创建、拷贝、销毁流程绑定的，直接拷贝字节破坏了这个流程的完整性。

正确的实现方式 #

不要直接序列化cv::Mat对象本身，而是序列化其元信息和像素数据，或者使用OpenCV官方提供的序列化工具：

方法1：手动序列化元信息与数据 #

// 序列化
{
    cv::Mat m1 = currentFrame.clone();
    // 保存元信息（此处简化为按字节存储，实际可使用更规范的序列化方式）
    int meta[] = {m1.rows, m1.cols, m1.type()};
    const uint8_t* metaPtr = reinterpret_cast<const uint8_t*>(meta);
    storage.insert(storage.end(), metaPtr, metaPtr + sizeof(meta));
    // 保存像素数据
    size_t dataSize = m1.total() * m1.elemSize();
    const uint8_t* dataPtr = m1.data;
    storage.insert(storage.end(), dataPtr, dataPtr + dataSize);
}

// 反序列化
{
    // 读取元信息
    int meta[3];
    uint8_t* metaDst = reinterpret_cast<uint8_t*>(meta);
    std::copy_n(storage.begin(), sizeof(meta), metaDst);
    int rows = meta[0], cols = meta[1], type = meta[2];
    // 创建新Mat并拷贝数据
    cv::Mat m3(rows, cols, type);
    size_t dataSize = m3.total() * m3.elemSize();
    std::copy_n(storage.begin() + sizeof(meta), dataSize, m3.data);
}

方法2：使用OpenCV官方序列化工具cv::FileStorage #

// 序列化
{
    cv::Mat m1 = currentFrame.clone();
    cv::FileStorage fs("mat_storage.yml", cv::FileStorage::WRITE);
    fs << "frame_data" << m1;
    fs.release();
}

// 反序列化
{
    cv::FileStorage fs("mat_storage.yml", cv::FileStorage::READ);
    cv::Mat m3;
    fs["frame_data"] >> m3;
    fs.release();
}

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