回答編集履歴

説明を修正

2019/06/28 08:32

投稿

rubato6809

スコア1382

answer CHANGED Viewed

@@ -59,7 +59,7 @@
 次に、関数の引数として ``` int **dptr ``` がある場合、
 - （Ｃ）配置の基本
-仮引数としてダブルポインタ dptr があるということは、dptr が指すメモリにもうひとつのポインタ変数が存在し、そのポインタ変数が int 型の値がある、これは基本の形ですね。ダブルポインタがあるということは、このような構造があることを意味します。
+仮引数としてダブルポインタ dptr があるということは、dptr が指すメモリにもうひとつのポインタ変数が存在し、そのポインタ変数が int 型の値をポイントしている、これが基本の形です。ダブルポインタがあるということは、このような構造があることを意味します。
 実際は、この基本形だけではなく、
 - ポインタが配列になっている

文章を一部修正

2019/06/28 08:32

投稿

rubato6809

スコア1382

answer CHANGED Viewed

@@ -71,6 +71,6 @@
 この場合、図の右側に { 31, 28, ... 31 } と、{ 31, 29, ... 31 } という２つの配列が描かれています（描いたつもりですw）が、この２つの配列はメモリ上で連続している保障がありません。二次元配列では days[0][11] の次が days[1][0] だったような保障は無い、ということ。
 以上、配列として確保したメモリは(A)もしくは（Ｂ）の姿をしていて、そのなかにはポインタとなっているメモリは存在しないということ、
-一方、ダブルポインタの場合は、ダブルポインタが指すメモリにもうひとつのポインタ変数（もしくはポインタ変数の配列）が存在していますので、メモリ上の姿は二次元配列と異なっている、よって同じものではない・互換性は無いのです。
+一方、ダブルポインタの場合は、ダブルポインタが指すメモリにもうひとつのポインタ変数（もしくはポインタ変数の配列）が存在していますので、メモリ上の姿は二次元配列と異なっている、よって同じものではないのです。この違いを理解しないと何時までも疑問が解消しないと思います。
 ![メモリ配置の様子](90304152edf296bb4641cfccf2c60d1b.jpeg)

図と説明を追加

2019/06/28 08:12

投稿

rubato6809

スコア1382

answer CHANGED Viewed

@@ -23,7 +23,7 @@
 - 特に、アドレス（ポインタ）を引数で渡す際の注意
 まず、二次元配列とダブルポインタを混同しないこと。
-そのためには、コード上の字面で理解しようとするのではなく、**メモリ上の配置を図に描いて理解する**ことをお勧めします。時間があれば図に描いて説明しますが。
+そのためには、コード上の字面で理解しようとするのではなく、**メモリ上の配置を図に描いて理解する**ことをお勧めします（後半に図を追加しました）。
 逆にお聞きしたいのだけど、どこに「二次元配列とダブルポインタは同じ」と書いてありましたか？
 次に、関数の引数には仮引数と実引数があります。ご存じでしたか？
@@ -46,4 +46,31 @@
 と、どちらも同じ格好の ``` **days ``` なのがオカシイのです（この書き方自体が誤りですが）。質問者の呼び出し方だとさしずめ
  ``` arr = **days; ``` のような代入になるでしょう。arr には常に days[0][0] の値が代入されます。つまり ``` arr = 31; ``` という代入です。それは質問者が期待した動作でしょうか？この辺り、もう少し簡単な一次元配列で確認してみると良いと思います（この段落、少し修正しました）。
-とりあえず、そんな事です。ご不明な点はコメントください。
+とりあえず、そんな事です。
+---
+**メモリ上の配置を図に描いて理解する**について、拙い図を描きました。
+二次元配列として。同じものを、２つの描き方をしました。
+- （Ａ）二次元配列のイメージ
+- （Ｂ）実際のメモリ上の配置
+メモリ上では days[0][11] の次が days[1][0] である=連続していることを示しています。
+次に、関数の引数として ``` int **dptr ``` がある場合、
+- （Ｃ）配置の基本
+仮引数としてダブルポインタ dptr があるということは、dptr が指すメモリにもうひとつのポインタ変数が存在し、そのポインタ変数が int 型の値がある、これは基本の形ですね。ダブルポインタがあるということは、このような構造があることを意味します。
+実際は、この基本形だけではなく、
+- ポインタが配列になっている
+- int 型のデータが配列になっている
+場合もあります。なぜなら、**ポインタが指す場所のメモリは連続しているので、配列とみなせる**からです。そんな場合を示したのが次の図です。
+- （Ｄ）配列をポイントする場合
+この場合、図の右側に { 31, 28, ... 31 } と、{ 31, 29, ... 31 } という２つの配列が描かれています（描いたつもりですw）が、この２つの配列はメモリ上で連続している保障がありません。二次元配列では days[0][11] の次が days[1][0] だったような保障は無い、ということ。
+以上、配列として確保したメモリは(A)もしくは（Ｂ）の姿をしていて、そのなかにはポインタとなっているメモリは存在しないということ、
+一方、ダブルポインタの場合は、ダブルポインタが指すメモリにもうひとつのポインタ変数（もしくはポインタ変数の配列）が存在していますので、メモリ上の姿は二次元配列と異なっている、よって同じものではない・互換性は無いのです。
+![メモリ配置の様子](90304152edf296bb4641cfccf2c60d1b.jpeg)

一部修正

2019/06/28 08:05

投稿

rubato6809

スコア1382

answer CHANGED Viewed

@@ -44,6 +44,6 @@
     pathday = day_of_month(..., **days); // 関数呼出し
 ```
 と、どちらも同じ格好の ``` **days ``` なのがオカシイのです（この書き方自体が誤りですが）。質問者の呼び出し方だとさしずめ
- ``` arr = **days; ``` のような代入になるでしょう。コンパイラがこれを受け付けたとすれば、arr に days[0][0] の値が代入されたかもしれません。つまり ``` arr = 31; ``` という代入です。それは質問者が期待した動作でしょうか？もう少し簡単な例で確認してみると良いと思います。これも時間があれば例を示しますが。
+ ``` arr = **days; ``` のような代入になるでしょう。arr には常に days[0][0] の値が代入されます。つまり ``` arr = 31; ``` という代入です。それは質問者が期待した動作でしょうか？この辺り、もう少し簡単な一次元配列で確認してみると良いと思います（この段落、少し修正しました）。
 とりあえず、そんな事です。ご不明な点はコメントください。