Cの配列の目的は、ポインターがその仕事を果たした可能性があるときは何ですか？

配列とポインターはCでは同じものではありませんが、それらは関連しており、同様に使用できます。これまでのところ、全員が同意しています。

しかし、ポインタがCに含まれていた理由はわかりません。

配列表記（たとえば、a [5]またはint a [4] = {0,1,2,3};）を削除することは言っていません。これは非常に便利で便利です。しかし、見栄えをよくするために、ポインタと同じように（同じように）同じ表記を使用することもできます。したがって、配列表記は配列を持つ理由ではなく、単に表記です！

私が目にする唯一の違いは、配列は定数ポインタであり、それらが指すメモリのサイズは変更できないことです。しかし、これはポインタを使用して、正確にそれらを一定にすることによっても達成できます（メモリは固定サイズではありませんが、これが問題であるかどうかはわかりません）。

それでは、なぜポインタだけではなく、プログラマにポインタの動作（つまり、定数、定数ではなく、固定サイズ、可変サイズなど）を決定させるのでしょうか。

配列は、スタック上に作成された連続したメモリです。この構文シュガーがなければ、連続したスタックメモリを保証することはできません。可能であれば、別のポインターを割り当てて、ポインターの計算を実行できるようにする必要があります（ただし*(&foo + x)、私がそうしたくない場合を除きます）。もちろん、l値のセマンティクスに違反する可能性がありますが、少なくともかなり扱いにくく、ある種の構文上の砂糖を叫ぶことになります）。デザイン的には、単一の識別子でコレクションを参照できるので、カプセル化の一種でもあります（別の方法で別のポインターが必要になります）。そして、それらを連続して割り当て、それらを参照する別のポインターを割り当てることができたint fooForSomething, fooForSomethingElseとしても、コレクションが成長するにつれてかなりの創造性を強制するかのどちらか になるでしょう。 int foo1, foo2 ...、これは配列のように見えますが、保守が困難です。

配列表記は便利で読みやすく、エラーが発生しにくくなります。これは、ポインタの形式を提供します。シンタックスシュガーかもしれませんが、たまには少し甘さが必要ですよね。

すべての抽象化と同様に、抽象化が提供する便宜のために少しの柔軟性をあきらめます。

多次元配列についてまだ誰もコメントしていないことに驚いています。

「ネストされたポインタ」（たとえばint **p）で構成されるマトリックスがある場合、各「行」（外部次元）にあるのはその行の最初の要素を指すポインタなので、値にアクセスするには2つのメモリアクセスが必要です。さらに、必要なメモリはですsizeof(*int)*n + n*m*sizeof(int)。

2次元配列のシナリオint p[n][m]では、行のアドレスは検索ではなく計算されるため、要素へのアクセスに必要なメモリアクセスは1回だけです。必要なメモリはちょうどn*m*sizeof(int)です。

配列をポインターで置き換えることができないもう1つの場所は、構造体内です。

struct s {
    int[2];
    float;
}

間違いなく同じではありません

struct s {
   *int;
   float;
}

そこでは配列のサイズが重要であり、ポインタはその情報を持っていません。

つまり、一次元配列と単一ポインターはほとんど交換可能ですが、それらの類似点はそこで終わります。

値型に配列を使用できないようにしたいのはなぜですか？

int a[4] = {0,1,2,3};

外部メモリのない8031など、サポートしていないプラットフォームをどのように処理しますmallocかalloca？たぶん、Cはビッグアイロン用だけでなく、エレベーターのコントローラーやトースター用でもあることを忘れているでしょう。

Cでは、式内の配列表記は常に単純なポインター演算です。式での配列識別子のすべての使用は、「Tの配列」から「Tへのポインター」にすぐに変換され、値は配列の最初の要素へのポインターに変換されます。配列表記（例：）a[1][2]は常にポインタ演算（例：）に展開されます*(*(t+1)+2)。

ただし、宣言と定義の配列表記はまったく別のものです。配列宣言子は、「Tの配列」型を記述します。この型の値は、T型の要素のシーケンスです。配列オブジェクトの定義は、便利で簡単に理解できる配列表記を使用して、オブジェクトの目的の配列に適切な量のストレージを割り当て、配列識別子がポインタのように見えなくてもこのストレージを参照できるようにすることです。実際には、宣言または定義の配列表記は、sizeof()算術を使用して式を生成するマクロであり、定義の場合は、alloca() 自動配列の場合、またはグローバル配列のリンカーでの同等の場合、およびコンパイル時にすべて実行する（C99可変長配列を除く）。

式で配列表記を使用することと配列型を使用することはそれほど密接に関連しているわけではありませんが、式で配列表記を使用して、配列として宣言または定義されたオブジェクトのストレージを参照することは伝統と慣用です。ポインターの計算をよりクリーンで意味のあるものにするために、ポインター型で配列表記を簡単に使用できます。確かにCでは、形式の式は式とまったくe1[e2]同じ*((e1)+(e2))です。通常のバイナリ変換が2つのオペランドに適用され、結果は常に左辺値になります。間接演算子は（以来*）そのオペランドの一つとしてポインタを有していなければならないe1し、e2ポインタでなければならず、他方が整数でなければならないが、それは問題ではありません「Tの配列」の最初の単項変換は「Tへのポインタ」に変換するためです。式の配列表記は、実質的にはポインター算術式を生成するコンパイラー（言語レベル）マクロです。

したがって、実際にはCはすでに提案された方法で動作しますが、2つの非常に異なるコンテキストでの表記法の使用を混乱させています。