C++使用vector<vector<float>>实现连续内存矩阵的安全与实现问题

云上老周

2026-8-29

问题涉及的原始实现代码

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

vector<vector<float>> func(int M)
{
    // res = matrix size MxM
    vector<vector<float>> res;
    float* buffer = static_cast<float*>(malloc(M * M * sizeof(float)));
    res.reserve(M);
    for (int i=0; i<M; i++) {
        res.emplace_back(buffer + i * M, buffer + (i + 1) * M);
        /// res[i] = compute_the_matrix();
    }
    
    return res;
}

现有实现的核心问题

这段代码既不安全，也达不到连续内存存储的设计目的，问题主要有三点：

内存释放逻辑完全不匹配，必然触发未定义行为。你用malloc申请的内存，但是std::vector默认析构逻辑是用delete[]释放自身持有的堆内存，malloc/free和new/delete不能混用，程序轻则内存泄漏，重则直接触发内存损坏崩溃。
从根本上没有实现连续内存存储。你调用的emplace_back(buffer + i*M, buffer + (i+1)*M)走的是vector的范围构造函数，这个构造函数的逻辑是自行申请一段新内存，把传入迭代器区间内的所有元素拷贝过去，根本不会接管你传入的malloc地址。也就是说每一行的vector还是会单独申请一块内存存本行数据，你malloc出来的整块内存从头到尾没有被任何对象接管，函数返回后直接丢失指针，必然泄漏。
完全不具备异常安全性。如果循环中emplace_back抛出异常（比如内存不足），或者后续执行res[i] = compute_the_matrix()时抛出异常，一方面已经构造的内层vector析构时会错误释放内存触发未定义行为，另一方面你申请的malloc内存没有对应的free逻辑，一定会产生泄漏。

你提到的“调用拷贝构造而非移动构造”是正常现象：传入的是两个裸指针，根本不是一个vector对象，不存在移动的可能，范围构造只会执行拷贝逻辑。

正确实现连续内存矩阵的方案

std::vector<std::vector<float>>本身的设计就决定了它天生无法保证所有元素连续存储：每个内层vector都是独立容器，自带独立的内存管理逻辑，各行的内存地址天然是分散的。要实现内存完全连续、支持二维下标访问的高性能矩阵，最稳妥高效的方案是自定义轻量矩阵类，内部用一维vector存储全量数据：

#include <vector>
#include <cstddef>

class Matrix {
private:
    int rows_;
    int cols_;
    std::vector<float> buffer_;
public:
    Matrix(int M, int N): rows_(M), cols_(N), buffer_(M * N) {}

    // 重载[]返回行首指针，直接支持mat[i][j]形式的访问
    float* operator[](int row_idx) {
        return buffer_.data() + row_idx * cols_;
    }
    const float* operator[](int row_idx) const {
        return buffer_.data() + row_idx * cols_;
    }

    // 通用工具接口
    int rows() const { return rows_; }
    int cols() const { return cols_; }
    float* data() { return buffer_.data(); }
    const float* data() const { return buffer_.data(); }
};

这个实现的优势非常明显：

所有元素完全存储在一段连续内存中，缓存友好性拉满，访问效率和原生C数组一致，也可以直接把data()传给BLAS/LAPACK等要求连续内存的高性能计算库
所有内存都由std::vector自动管理，不需要手动写malloc/free逻辑，天然异常安全，不会出现内存泄漏、重复释放的问题
二维下标访问的使用体验和vector<vector<float>>完全一致，没有额外的学习成本

如果你一定要强行返回std::vector<std::vector<float>>类型，只能通过实现自定义共享内存分配器，让所有内层vector从同一个大内存块申请内存，但这种方案实现复杂度极高，需要处理分配器状态、引用计数、vector扩容偏移等一堆边界问题，兼容性和可维护性都很差，实际项目中完全不推荐。

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