为什么m [1] - m [0]返回3，其中m是3x3矩阵？

Question

这是我的代码：

int m[][3] = { 
       { 0 , 1 , 2 }, 
       { 10, 11, 12 }, 
       { 20, 21, 22 } 
      }; 
printf("%d %d\n", m[1] - m[0], m[1][0] - m[0][0]); 

？为什么

m[1] - m[0] 

回报3？我知道为什么第二个表达式会返回10，但是对我来说似乎并不合逻辑1 ^st。

Answer 1

在您的代码：

m[1] - m[0] 

表示指针减法，让你基于的类型的两个指针的差异。在这种情况下，无论是指针由3个要素区分，所以结果是3。

引述C11标准，章§6.5.6

当两个指针相减，既应指向元件相同的数组对象， 或一个过去的数组对象的最后一个元素;结果是两个数组元素的 下标的差异。 [...]

和

[...]换句话说，如果表达式P和Q指向，分别i和第j的第一个 元素数组对象，表达式(P)-(Q)的值为i−j，前提是该值适合ptrdiff_t类型的对象。 [....]

为了帮助更好地可视化，请参阅下面的图像

这里，s是一个二维阵列，被定义为s[4][2]。考虑到数组使用者的数据类型为每个2字节，请遵循元素（索引）和相应的内存位置（任意）。这将更好地说明内存中的实际情况，数组元素是连续的。

因此，根据该表示，s[0]和s[1]通过两个元素s[0][0]和s[0][1]来区分。因此，s[1] - s[0]将产生2的结果。

Answer 2

因为m[1]和m[0]之间的“差异”是三个要素。

这可能是更容易，如果你看它像这样

 
m[0]       m[1]       m[2] 
|        |        | 
v        v        v 
+---------+---------+---------+---------+---------+---------+---------+---------+---------+ 
| m[0][0] | m[0][1] | m[0][2] | m[1][0] | m[1][1] | m[1][2] | m[2][0] | m[2][1] | m[2][2] | 
+---------+---------+---------+---------+---------+---------+---------+---------+---------+

m[1]和m[0]之间的区别，了解是元素m[0][0]，m[0][1]和m[0][2]。