考虑以下代码：
void populate(int *arr)
{
for(int j=0;j<4;++j)
arr[j]=0;
}
int main()
{
int array[2][2];
populate(&array[0][0]);
}
在当地社区对此代码是否有效进行了讨论（我应该提及它的名称吗？）。一个人说它调用了UB，因为它违反了
C++ 标准（$5.7/5 [expr.add]）
"如果指针操作数和结果都指向同一个数组对象的元素，或者超过数组对象的最后一个元素，则计算不应产生溢出；否则，行为未定义。”
但我看不出代码有什么问题，代码对我来说完全没问题。
所以，我只想知道这段代码是否有效？我错过了什么吗？
【问题讨论】：
您的array 是int[2] 的两个数组，而您的函数populate() 将其视为int[4] 的单个数组。根据编译器决定对齐array 元素的确切方式，这可能不是一个有效的假设。
具体来说，当j 为2 并且您尝试访问arr[2] 时，这超出了main 的array[0] 的范围，因此无效。
【讨论】：
arr[2]时，arr不是一个“任何东西的数组[2]”，它是一个指针。我不确定这个论点是否适用。
&array[0][0]+2 == &array[1][0]，但(&a[0][0] + 2) + 1 未定义，而&a[1][0] + 1 有效。
你有一个数组数组。 array[1] 在内存中跟在 array[0] 后面，因为数组是连续的。如果p == array[0]，则p[1] 跟随p[0]，因为数组是连续的。所以，你是对的：array 的所有内存都是连续的。
在图片中，array 看起来像这样。
+-----------------+-----------------+
| [0] | [1] |
+-----------------+-----------------+
现在，让我们分解array[0] 和array[1]，它们分别看起来像这样：
+--------+--------+
| [0] | [1] |
+--------+--------+
所以，最终的图片是：
+--------+--------+--------+--------+
| [0][0] | [0][1] | [1][0] | [1][1] |
+--------+--------+--------+--------+
现在，问题是，您能否以您的方式访问这个连续的内存。答案是，标准不保证。数组是连续的，但标准不允许按照您所做的方式进行索引。换句话说：
&array[0][0]+2 == &array[1][0]，但(&a[0][0] + 2) + 1 未定义，而&a[1][0] + 1 有效。如果这看起来很奇怪，那就是，但是根据您从标准中发布的报价，您只能计算一个位于数组内部或最多超过数组的指针（不取消引用“过去”指针） .
实际上，我怀疑这会在任何地方失败，但至少根据标准，您的代码由于未定义的行为而无效。
【讨论】：
这并不总是有效。 C 有数组数组，而不是二维数组。子数组并不总是指定在内存中是连续的（静态数组可能是，检查 C/C++ 标准）在这个特定的例子中，我怀疑它可以正常工作。但是，如果您动态分配了传入的内存，您很可能会失败，因为 malloc（或 new）可能会将子数组相距很远。
但是，如果您想线性地遍历“二维”内存，则可以针对一维数组构造一个二维访问器，它可以正常工作，而 memset 之类的东西也可以针对一维数组工作。
【讨论】：
int 来说是个问题。
char 数组的问题。
array[i] 的最后一个元素和array[i+1] 的第一个元素之间？但是array[i] 和array[i+1] 是数组的连续元素，所以不能有任何填充。
在C 中，所有内容都存储在线性内存段中。您正在传递a[0][0] 的地址，这与a[0] 的地址相同，所以
a[i][j] 与 a[i*ColSize+j] 相同，因为所有内容都是线性存储的。但是，如果您动态分配内存，它将失败，因为那时所有行可能都不会存储在连续的位置。那么a[i][j] 将是*(&a[i]+j)。
【讨论】：