ダブルポインタについて

Question

先ほど質問した内容と重複する部分もありますが、お許しください。初心者なので分かりやすく説明して頂けると助かります。

この関数を利用するために、下記①のように宣言しました。
const char * id = 111 ;
int n = 0;
int * items = 0; // これは一次元配列と捕らえることは可能ですか？

②の関数を用いることで、関数の後半２つの仮引数が手に入るそうです。
ここで質問なのですが、なぜポインタで宣言した値が二次元は入れるになれるのですか？
構造上どのようになっていますか。

function_name(
const char* id, //input
int* ｎ, //output
int** items //output
);

また先輩いわく、char *, int * は１次元配列、char ** int **は、２次元配列と捕らえることが可能といっていましたが、本当ですか。

最初の質問ですが、要素数１の二次元配列があり、その要素１のやつがｉｔｅｍｓの一次元配列が入っているのですか？

Comments

[tnd-.-b]

「char int は、２次元配列」は「char＊＊とint＊＊」ですか？

[saito.kaz]

そうです。
申し訳ありません。

[退会済みユーザー]

こんにちは
直接の回答じゃなくて申し訳ないですけど，２件回答いただいている中で，自分の中で腑に落ちないところはどの辺にありますか？？

[yumetodo]

>こんにちは 直接の回答じゃなくて申し訳ないですけど，２件回答いただいている中で，自分の中で腑に落ちないところはどの辺にありますか？？
それは私も聞きたいな

Answer 1

なんか配列を誤解している気がする。

配列とは複数要素分メモリーを確保するものに過ぎません。

で、ここで大事なことを。

配列は3つの例外を除き常にポインタに読み替えられます
配列は3つの例外を除き常にポインタに読み替えられます

大事なことなので二度言いました。

つまり

int arr[15];//int[15]型
int* arr_p = arr;//単なるポインタのコピー

arr[1] = 3;//arrはint*型として扱われている。
arr_p[1] = 3;//arrはint*型として扱われている。
*(arr + 1) = 3;
*(arr_p+ 1) = 3;//この4つは同じ

size_t s = sizeof(arr);//3つの例外の一つ。arrはint[15]型として扱われる

ということです。

なお3つの例外とは、

1. 配列がsizeofの引数となるとき
2. アドレス演算子&の引数となるとき
3. char型の配列を文字列リテラルで初期値するとき)。

です。

2次元配列になっても同じです。

int m_arr[12][3];//int[12][3]型
int(*)[3] m_arr_p = m_arr;//単なるポインタのコピー

ところでこの時m_arrは配列なので常にポインタに読み替えられるのですがこの時の型はint**ではなくint(*)[3]型です。int[3]型の要素へのポインタになるんですね。

こういった事情から2次元配列は扱いづらく、一般に配列へのポインタ配列にしたり、1次元配列を多次元配列のように使ったりします。

このへんは図を書くといいです。

ついでに
https://yumetodo.github.io/2015_C_Textbook/c/12array.html

をどうぞ。

Comments

[yumetodo]

しっかしC言語のポインタ回りの文法は汚ねぇ。

Answer 2

こんにちは。

また先輩いわく、char *, int * は１次元配列、char int は、２次元配列と捕らえることが可能といっていましたが、本当ですか。

単純に誤りです。

さて、int* items = 0と定義すると、int型へのポインタitemsが定義されます。これはint型の配列へのポインタとしても使われます。（int型へのポインタ、int型配列へのポインタのどちらにも使え混乱しやすいので要注意です。）

次に、「int型へのポインタitemsへのポインタ」を考えて下さい。仮に、items_pointerとします。
*items_pointerはitemsそのものになりますね。

ではitems_pointerの型はどうなるでしょう？
int型へのポインタはint*です。同様にint*型へのポインタはint**型ですので、items_pointerの方はint**です。

ということは、int** items //output はitems_pointerと同じ型ですね。
つまり、function_name()関数内で*itemsとしてアクセスすることで、呼び出し側のitemsと同じものをアクセスできるのです。
ならば、function_name()関数内で*items=xxx;とすれば、呼び出し側のitemsへxxxを返却できるということになるのです

---

【追記】

また先輩いわく、char *, int * は１次元配列、char int は、２次元配列と捕らえることが可能といっていましたが、本当ですか。

ああっ、これは下記の間違いなのですね。

また先輩いわく、char *, int * は１次元配列、char ** int ** は、２次元配列と捕らえることが可能といっていましたが、本当ですか。

その意味であれば可能です。なかなかややこしいです。
int*をint型配列へのポインタと捉え、int**をint*型配列へのポインタと捉えるわけです。
まとめると、int**型を「「int型の配列へのポインタ」型の配列」へのポインタと捉えることが可能です。
そして、配列の配列は２次元配列ですから、int**は２次元配列へのポインタとして使うこととができます。

冒頭で説明したように、int*型はint型へのポインタでもあり、int型配列へのポインタでもありますから、int**型はint*型へのポインタでもあり、int*型配列へのポインタでもあります。

組み合わせると、下記４つの使い方が可能です。
①int型へのポインタ　　　 × int*型へのポインタ　　　→int型へのポインタのポインタ
②int型の配列へのポインタ × int*型へのポインタ　　　→１次元配列へのポインタのポインタ
③int型へのポインタ　　　 × int*型の配列へのポインタ
④int型の配列へのポインタ × int*型の配列へのポインタ→２次元ジャグ配列へのポインタ

前回の質問では、②の形式で使われていました。