c++中二维数组本质是行优先布局的一维连续内存，int arr3底层为12个int，arri等价于arr[i4+j]；可通过reinterpret_cast(arr)转为一维指针访问，但仅适用于真正二维数组而非vector。
二维数组在内存中本来就是一维的
C++里没有真正的“二维数组类型”，int arr[3][4] 这种声明只是语法糖，底层就是连续分配的 12 个 int。编译器靠行优先（row-major）规则把二维逻辑映射到一维地址上：第 i 行第 j 列对应下标 i * cols + j。
所以只要你知道列数（即每行元素个数），就能直接算出一维偏移。比如 arr[2][1] 在 int arr[3][4] 中，等价于 arr[2 * 4 + 1] 即 arr[9]。
用指针强制转换最直接
声明时是二维，但取首地址后可以当一维指针用。注意必须用 static_cast 或 C 风格转换，不能直接赋值（类型不匹配）：
int arr[3][4] = {{1,2,3,4}, {5,6,7,8}, {9,10,11,12}};
int* flat = reinterpret_cast<int>(arr); // 或 static_cast<int>(&arr[0][0])
// 现在 flat[5] 就是 arr[1][1]
</int></int>
- 必须确保
arr是栈上或静态分配的真正二维数组，不是int**动态分配的“假二维” -
reinterpret_cast在这里安全，因为标准保证&arr[0][0]和arr指向同一地址 - 别用
int* flat = (int*)arr—— C 风格转换在现代 C++ 中易掩盖问题
模板封装避免手算下标
手动写 i * cols + j 容易错，尤其行列变量名相似时（比如 width 和 height 搞反）。用函数封装更可靠：
template<typename t size_t rows cols>
T& at(T (&arr)[Rows][Cols], size_t i, size_t j) {
return arr[i * Cols + j]; // 注意：这里 Cols 是编译期常量
}
// 使用：at(arr, 2, 1) = 99;
</typename>
- 模板参数
Cols必须是编译期常量，否则无法推导；动态列数得另写函数版本 - 没做越界检查 —— 如果需要安全访问，加
if (i >= Rows || j >= Cols)抛异常或断言 - 返回引用，支持读写：
at(arr, 0, 0) = 42;
别和 std::vector<:vector>></:vector> 混淆
std::vector<:vector>></:vector> 是“指针数组套指针数组”，内存不连续。哪怕你取 &v[0][0]，也不能保证整个二维结构可一维遍历 —— 中间某行可能重新分配过内存。
- 这种结构用一维下标访问会崩溃或读到垃圾值
- 真要一维访问，得自己用单个
std::vector<int></int>存数据，再手动算下标 - 错误示例：
auto* p = &v[0][0]; p[5]—— 行为未定义，除非你 100% 确保所有子 vector 都没 realloc 过
真正容易被忽略的是：二维数组的“列数”必须作为元信息显式携带或硬编码，它不会自动附着在数组对象上。一旦传进函数丢失了列维度，一维访问就失效了。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
