[解決済み] C/C++ int[] vs int* (ポインタと配列の表記法)。その違いは何ですか？

質問

C言語の配列は、順次格納されるデータへのポインタに過ぎないということは知っています。しかし、[]と*の表記はどのような違いを意味するのでしょうか？私は、すべての可能な使用状況のコンテキストで意味します。 例えば

char c[] = "test";

この命令を関数本体で指定すると、文字列がスタックに確保され、その間に

char* c = "test";

は、データ (読み取り専用) セグメントを指します。

この2つの表記法の違いを、すべての使用場面で列挙して、明確な全体像を示せますか。

どのように解決するのですか？

C99規格による。

配列型は、連続的に割り当てられた空でない集合を記述します。 オブジェクトが、エレメントと呼ばれる特定のメンバオブジェクトの型を持っています。 という型があります。

1. 配列の型は、その要素の型によって特徴付けられ、また 配列の要素数。配列の型は、次のように呼ばれます。 はその要素型から派生したものであり、その要素型が T の場合、その配列は と呼ばれることがあります。 の配列 T . 配列の構築は と呼ばれ、要素型から 配列型派生 .

ポインタ型は、関数型、オブジェクト型、またはポインタ型から派生することがあります。 参照される型と呼ばれる不完全な型。ポインタ型 の実体への参照を値に持つオブジェクトを記述します。 参照される型 被参照型から派生したポインタ型 T と呼ばれることがあります。 へのポインタ T . ポインタの構築は と呼ばれるもので、参照される型から ポインタ型派生 .

標準的な宣言によると...

char s[] = "abc", t[3] = "abc";
char s[] = { 'a', 'b', 'c', '\0' }, t[] = { 'a', 'b', 'c' };

...は同一です。配列の中身は変更可能です。一方、宣言は...

const char *p = "abc";

...pを以下のように定義します。 定数へのポインタ char を持つオブジェクトを指すように初期化し、そのオブジェクトの型は の定数配列です。 char ( C++の場合 ) で、その要素は文字列リテラルで初期化されます。を使おうとすると p を使用して配列の内容を変更した場合、その動作は未定義です。

によると 6.3.2.1 配列の添え字 の参照と配列の添え字は同じです。

添え字演算子の定義 [] というのは E1[E2] は と同じです。 (*((E1)+(E2))) .

配列とポインタの違いは。

• ポインタは、その背後にあるメモリ・サイズの情報を持っていません（それを取得するポータブルな方法はありません）。
• 不完全な型の配列は構築できない
• ポインタ型は不完全型から派生する可能性があります。
• ポインタは再帰的な構造を定義できる（これは前の2つの結果である）。

このテーマに関するより有用な情報は、以下のサイトに掲載されています。 http://www.cplusplus.com/forum/articles/9/