編集履歴

回答編集履歴

誤字

2017/01/24 11:15

投稿

スコア1591

test CHANGED Viewed

@@ -464,6 +464,6 @@
 a[1]で指示される場所が120バイト先のアドレスというだけだ。
-一方、p[1]はアドレスを確保するための変数として4バイト確保されている。
+一方、p[1]はアドレスを保存するための変数として4バイト確保されている。
 そこに代入している。

更に追記

2017/01/24 11:15

投稿

haru666

スコア1591

test CHANGED Viewed

@@ -237,3 +237,233 @@
 > 100
 ```
+---
+更に追記
+どんな時に使うのかが質問だった。
+まず、`char **p`と`char (*p)[100]`の違いはなんですかって質問を見つめなおそう。
+こいつはね、`ポインタのポインタ`と`配列のポインタ`の違いを聞いてる。
+これはもっと抽象化すると、`ポインタのポインタ`と`ある型のポインタ`の違いを聞いてる。
+これがわかるかどうかはstrike君次第だけど…
+記法よりも、何をしているのかに着目してほしい。
+これはプログラミングっていうより国語の問題だ。
+`ポインタのポインタ`と`ある型のポインタ`は根本的に別物だよ。
+`char **p`と`int *p`の違いはなんですかって言ってるのと本質的には大差無い。
+`ある型のポインタ`の`型`には`配列の型`も指定できるんだよ。それが`char (*p)[100]`って記法だ。
+だから、あるポインタをある配列のポインタに変換することもできる。
+```C++
+char c[100*5];
+char (*ap)[100] = (char(*)[100])c;
+char a[5][100];
+char *cp = (char*)a;
+```
+このコードはコンパイル通るし、お互いの範囲内で使う分には安全だよ。
+cもaも変数としては連続した500バイトのメモリアドレスを確保していてどのようにアクセスするかが違うだけだ。
+下記は今じゃまず使わないけどこのサンプルで配列型のポインタの使い方を示しているつもりだ。
+```C++
+#include <iostream>
+using namespace std;
+void char100print(char (*str)[100], int length)
+{
+    for (int i = 0; i < length; i++)
+    {
+        cout << *str++ << endl;
+    }
+}
+int main() {
+    char value[][100] = {"test1", "test2", "test3", "test4"};
+    char100print(value, 3);
+    return 0;
+}
+> test1
+> test2
+> test3
+```
+より具体的なサンプルも示そう。
+昔は固定長のファイルが多かった。
+今でも現役の固定長フォーマットに全銀協制定フォーマットがある。
+銀行でお金を振り込んでくださいってことをするファイルだ。
+これは120バイト（固定）を１行として使うファイルなんだ。
+ファイルの読み書きは行単位ではなく、120バイト単位にしなきゃならない。
+```C++
+ZENGIN ReadZenginFormat(const char *p, int record_num);
+ZENGIN ReadZenginFormat(const char (*p)[120], int record_num);
+```
+このサンプルは上下で情報量が全然違うよね。
+でも動作原理はまったく一緒だし、読み取るための関数だから参照先アドレスを編集することがないので`const`属性がついてる。
+record_num=5の場合、pはとあるアドレスを参照しており、そこから連続した600バイトのメモリが確保されている。
+一方、以下は全く意味が異なる。
+```C++
+ZENGIN ReadZenginFormat(const char **p, int record_num);
+```
+pは…ポインタのポインタの配列なんだろう。読み取り専用だしね。
+でもそうなると、ポインタそのものは5行であったとしたら、pのアドレスから確保されているバイト数はわずか4*5バイト=20バイトだ。
+その20バイトの中に、5つの文字列のポインタが入っているわけだ。
+使い方を示すとこうだ。
+```C++
+char *p[5];
+p[0] = malloc(120);
+p[1] = malloc(120);
+p[2] = malloc(120);
+p[3] = malloc(120);
+p[4] = malloc(120);
+ReadZenginFormat(p, 5);
+```
+ポインタそれぞれに別の文字列の参照を持つ。
+p[0]からp[4]で参照しているメモリアドレスは別に連続したメモリ空間じゃない。
+一旦次のポインタに移動して、そこから別の文字列を参照する。
+これは`配列のポインタ`とは構造が全く異なるんだよ。
+`ポインタのポインタ`と`配列のポインタ`には互換性が無いんだ。
+互換させる場合はこうなる。
+```C++
+char a[5][120];
+char *p[5];
+p[0] = a[0];
+p[1] = a[1];
+p[2] = a[2];
+p[3] = a[3];
+p[4] = a[4];
+ReadZenginFormat(p, 5);
+```
+わかるかな。
+a[0]は先頭アドレスを指している。
+a[1]はその120バイト先のアドレスを指しているが、a[1]には大きさがあるわけではない。
+a[1]で指示される場所が120バイト先のアドレスというだけだ。
+一方、p[1]はアドレスを確保するための変数として4バイト確保されている。
+そこに代入している。

追記

2017/01/24 11:10

投稿

haru666

スコア1591

test CHANGED Viewed

@@ -79,3 +79,161 @@
 > 4290089160
 ```
+追記
+---
+ポインタはアドレスの先頭を指している。一つのint型は4バイト使うので、もしも隣接する要素もint型なら次の4バイトは4バイト先のアドレスから始まる。型の大きさはプログラミングする上で重要な要素なんだ。受け取ったポインタが配列だった場合、次の要素の位置を簡単に指し示すことができるからね。
+```C++
+#include <iostream>
+using namespace std;
+int main() {
+    char str[12];
+    char *p = str;
+    *(p+0) = 'H';
+    *(p+1) = 'E';
+    *(p+2) = 'L';
+    *(p+3) = 'L';
+    *(p+4) = 'O';
+    *(p+5) = ' ';
+    *(p+6) = 'W';
+    *(p+7) = 'O';
+    *(p+8) = 'R';
+    *(p+9) = 'L';
+    *(p+10) = 'D';
+    *(p+11) = '\0';
+    cout << str;
+    return 0;
+}
+> HELLO WORLD
+```
+```C++
+#include <iostream>
+using namespace std;
+int main() {
+    char str[3][100] = { "Line1", "Line2", "Line3" };
+    char *p = (char *)str;
+    cout << p << endl << p+1 << endl;
+    p = (char*)((int)p + 100);
+    cout << p << endl << endl;
+    char (*arrayp)[100] = str;
+    cout << *arrayp << endl << *(arrayp+1) << endl;
+    return 0;
+}
+> Line1
+> ine1
+> Line2
+> Line1
+> Line2
+```
+型情報には、アドレスをどうシフトさせたら次の要素が参照できるのかが得られるだけの差別化がある。
+`**`ポインタのポインタは4バイトシフトするポインタだが、要素数100のchar型の配列のポインタは100バイトシフトするポインタなわけで、全然別ものなんだよね。
+```C++
+#include <iostream>
+using namespace std;
+int main() {
+	char *p = 0;
+    char **pp = 0;
+    char (*ap)[100] = 0;
+    cout << (unsigned int)(p+1) << endl;
+    cout << (unsigned int)(pp+1) << endl;
+    cout << (unsigned int)(ap+1) << endl;
+    return 0;
+}
+> 1
+> 4
+> 100
+```