题目

编写程序，比对两种动态二维矩阵的实现范式：一种是初学者常用的多级指针/嵌套动态数组 std::vector<std::vector<int>>；另一种是工程高性能计算规范的“单连续一维向量平铺映射” std::vector<int>（通过 row * cols + col 寻址）。从堆分配次数、内存连续性与 CPU 缓存行（Cache Line）友好性角度进行深入解析。

输入格式：无需外部输入。

输出格式：输出二维矩阵扁平化寻址结果与内存布局分析。

数据范围与约定：内存局部性原理与高性能矩阵存储。

思路与算法

1. 嵌套 vector 的性能毒药
vector<vector<int>> 拥有 R 行就要向操作系统申请 R + 1 次堆分配。且每一行的堆内存彼此离散孤立，CPU 无法进行空间预取（Spatial Prefetching），缓存未命中率（Cache Miss）极高。

2. 一维连续平铺优势
分配 std::vector<int> matrix(rows * cols) 仅需 1 次堆分配，所有元素严格在内存中紧密连续排布。不仅节省了 R 个 vector 头部开销（几十字节乘以行数），更极大优化了 SIMD 向量化指令。

3. 封装二维访问接口
在类中重载 operator()(size_t r, size_t c) 或提供 at(r, c)，既保留了优雅的二维下标语义，又享受了一维平铺的极致性能。

完整程序

#include <iostream>
#include <vector>
#include <cstddef>

// 高性能平铺连续二维矩阵封装
class FlatMatrix {
private:
    size_t rows_;
    size_t cols_;
    std::vector<int> data_;

public:
    FlatMatrix(size_t r, size_t c, int initVal = 0) 
        : rows_(r), cols_(c), data_(r * c, initVal) {}

    // 重载圆括号实现优雅的二维寻址
    int& operator()(size_t r, size_t c) {
        return data_[r * cols_ + c];
    }

    const int& operator()(size_t r, size_t c) const {
        return data_[r * cols_ + c];
    }

    const int* data() const { return data_.data(); }
    size_t rows() const { return rows_; }
    size_t cols() const { return cols_; }
};

int main() {
    const size_t R = 3;
    const size_t C = 4;

    FlatMatrix mat(R, C);

    // 填充数据并打印地址连续性
    int counter = 1;
    for (size_t r = 0; r < R; ++r) {
        for (size_t c = 0; c < C; ++c) {
            mat(r, c) = counter++;
        }
    }

    std::cout << "--- 一维平铺二维矩阵元素与内存地址连续性 ---\n";
    for (size_t r = 0; r < R; ++r) {
        for (size_t c = 0; c < C; ++c) {
            std::cout << "mat(" << r << "," << c << ") = " << mat(r, c) 
                      << " [相对首元素偏移: " << (&mat(r, c) - &mat(0, 0)) << "]\n";
        }
    }

    // 校验首尾地址差值是否完全等于元素总字节数
    const int* startPtr = &mat(0, 0);
    const int* endPtr = &mat(R - 1, C - 1);
    ptrdiff_t totalOffset = endPtr - startPtr + 1;
    std::cout << "\n首尾元素跨度: " << totalOffset << " 个整型 (期望严格为: " << R * C << ")\n";
    std::cout << "结论: 全数组在内存中 100% 绝对连续无空隙，缓存预取友好！\n";

    return 0;
}

运行示例

输出：

--- 一维平铺二维矩阵元素与内存地址连续性 ---
mat(0,0) = 1 [相对首元素偏移: 0]
mat(0,1) = 2 [相对首元素偏移: 1]
mat(0,2) = 3 [相对首元素偏移: 2]
mat(0,3) = 4 [相对首元素偏移: 3]
mat(1,0) = 5 [相对首元素偏移: 4]
mat(1,1) = 6 [相对首元素偏移: 5]
mat(1,2) = 7 [相对首元素偏移: 6]
mat(1,3) = 8 [相对首元素偏移: 7]
mat(2,0) = 9 [相对首元素偏移: 8]
mat(2,1) = 10 [相对首元素偏移: 9]
mat(2,2) = 11 [相对首元素偏移: 10]
mat(2,3) = 12 [相对首元素偏移: 11]

首尾元素跨度: 12 个整型 (期望严格为: 12)
结论: 全数组在内存中 100% 绝对连续无空隙，缓存预取友好！