行列の中身の表示について

Question

このコードの　printf("%d␣", (arr + (icols) + j));　によって行列の内容が表示できるのはなぜですか？

#include <stdio.h>
void display2DArrayA(int (*arr)[5], int rows);
void display2DArrayP(int *arr, int rows, int cols);


void display2DArrayA(int (*arr)[5], int rows)
{
  int i, j;
for(i=0; i<rows; i++) {
  for(j=0; j<5; j++)
printf("%d␣", arr[i][j]);
printf("\n");
}
}


void display2DArrayP(int *arr, int rows, int cols) {
int i, j;

for(i=0; i<rows; i++) {
   for(j=0; j<cols; j++)
     printf("%d␣", *(arr + (i*cols) + j));

    printf("\n");
  }
}
int main(void) {
int matrix[2][5] = {
  {1, 2, 3, 4, 5},
  {6, 7, 8, 9, 10}
};
display2DArrayA(matrix, 2);
display2DArrayP(&matrix[0][0], 2, 5);
return 0;
}

コード

Answer 1

int matrix[2][5] = {

{1, 2, 3, 4, 5},
{6, 7, 8, 9, 10}
};

こういう多次元配列のデータは順番に配置されるためですね

Comments

[pepperleaf]

確かにそうだと思うが、保証されてた?

[y_waiwai]

たしか、そこらへんは規約に入ってたかとおもいます

[pepperleaf]

バウンダリがちょっと気になった。でも単純に char にしただけでは問題無かった。(VC 2019)

[SHOMI]

保証されています。
JISX3010:2003
6.5.2.1 配列の添字付け
例 次の宣言で定義された配列オブジェクトを考える。
int x[3][5];
ここでxは，intの3×5の配列である。
より正確には，xは三つの要素オブジェクトの配列であり，その各要素は，五つのintの配列である。
式x[i]は(*((x)+(i)))と等価であり，xをまず五つのintの配列の最初の一つへのポインタに型変換する。
次にiを，xの型に対応するように調整する。このことは，概念的にはポインタが指すオブジェクト，
すなわち五つのintオブジェクトの配列の大きさをiに乗じることを伴っている。これらの結果を加えて，
間接演算を適用することによって，五つのintの配列を生じる。式x[i][j]中で用いられると，
その配列は先頭のintへのポインタに型変換され，その結果，x[i][j]はintを生じる。

[pepperleaf]

SHOMIさん、確認ありがとうございます。

[thkana]

JISX3010:2003
---
6.2.5 型
<略>
配列型（array type）は，要素型（element type）と呼ぶ特定のメンバオブジェクト型をもつ空でないオブジェクトの集合を連続して割り付けたものを表す
---
で、要素並びが「連続」していることが保証されているというのも大事かと。