なぜ配列のアドレスがCの値と等しいのですか？

次のコードビットでは、ポインタ値とポインタアドレスが予想どおりに異なります。

しかし、配列の値とアドレスはそうではありません！

どうすればいいの？

出力

my_array = 0022FF00
&my_array = 0022FF00
pointer_to_array = 0022FF00
&pointer_to_array = 0022FEFC

#include <stdio.h>

int main()
{
  char my_array[100] = "some cool string";
  printf("my_array = %p\n", my_array);
  printf("&my_array = %p\n", &my_array);

  char *pointer_to_array = my_array;
  printf("pointer_to_array = %p\n", pointer_to_array);
  printf("&pointer_to_array = %p\n", &pointer_to_array);

  printf("Press ENTER to continue...\n");
  getchar();
  return 0;
}

配列の名前は、通常、配列の最初の要素のアドレスを評価し、これarrayと&array同じ値（ただし、異なるタイプを持っているので、array+1そして&array+1意志はありません配列が1つの以上の要素が長い場合に等しくなります）。

これには2つの例外があります。配列名がオペランドsizeofまたは単項&（address-of）の場合、名前は配列オブジェクト自体を参照します。したがってsizeof array、ポインタのサイズではなく、配列全体のバイト単位のサイズがわかります。

として定義されている配列の場合、T array[size]タイプはT *ます。インクリメントすると、配列の次の要素に移動します。

&array同じアドレスに評価されますが、同じ定義が与えられると、型のポインタを作成します。T(*)[size]つまり、単一の要素ではなく配列へのポインタです。このポインタをインクリメントすると、単一の要素のサイズではなく、配列全体のサイズが追加されます。たとえば、次のようなコードでは：

char array[16];
printf("%p\t%p", (void*)&array, (void*)(&array+1));

2番目のポインターは最初のポインターよりも16大きいことが期待できます（これは16文字の配列であるため）。％pは通常、ポインタを16進数に変換するため、次のようになります。

0x12341000    0x12341010

これは、配列名（my_array）が配列へのポインターと異なるためです。これは配列のアドレスのエイリアスであり、そのアドレスは配列自体のアドレスとして定義されます。

ただし、ポインタはスタック上の通常のC変数です。したがって、そのアドレスを取得して、内部に保持しているアドレスとは異なる値を取得できます。

私はこのトピックについてここに書きました -見てください。

もし（関数に渡すを含む）の発現の配列の名称を使用する場合、それはアドレスの（のオペランドでない限りCにおいて、&）オペレータまたはsizeofオペレータは、減衰その最初の要素へのポインタです。

つまり、ほとんどのコンテキストでarrayは&array[0]、タイプと値の両方が同等です。

あなたの例でmy_arrayは、printfにそれを渡すときにchar[100]減衰するタイプを持っていますchar*。

&my_arrayタイプchar (*)[100]（100の配列へのポインターchar）があります。これはのオペランドであるため&、my_array最初の要素へのポインタまですぐに減衰しない場合の1つです。

配列へのポインタは、配列オブジェクトがその要素の連続したシーケンスであるため、配列の最初の要素へのポインタと同じアドレス値を持っていますが、配列へのポインタは、要素へのポインタへの異なるタイプを持っていますその配列。これは、2種類のポインターに対してポインター演算を行う場合に重要です。

pointer_to_arrayタイプchar *-初期my_array化式で減衰するため、配列の最初の要素を指すように初期化され、&pointer_to_array タイプchar **（を指すポインターへのポインター）char。

これらの：my_array（減衰が後にchar*）、&my_array及びpointer_to_array配列または配列の最初の要素のいずれかで直接すべての点ので、同じアドレス値を有します。

理由my_arrayと&my_arrayアレイのメモリレイアウトを見ると、同じアドレスになる結果が簡単に理解できます。

10文字の配列があるとしましょう（コードでは100文字ではありません）。

char my_array[10];

のメモリはmy_array次のようになります。

+---+---+---+---+---+---+---+---+---+---+
|   |   |   |   |   |   |   |   |   |   |
+---+---+---+---+---+---+---+---+---+---+
^
|
Address of my_array.

C / C ++では、配列は次のような式の最初の要素へのポインタに減衰します。

printf("my_array = %p\n", my_array);

配列の最初の要素がある場所を調べると、そのアドレスが配列のアドレスと同じであることがわかります。

my_array[0]
|
v
+---+---+---+---+---+---+---+---+---+---+
|   |   |   |   |   |   |   |   |   |   |
+---+---+---+---+---+---+---+---+---+---+
^
|
Address of my_array[0].

Cの直前のプログラミング言語であるBプログラミング言語では、ポインターと整数は自由に交換可能でした。システムは、すべてのメモリが巨大な配列であるかのように動作します。各変数名には、グローバルまたはスタック相対アドレスが関連付けられています。各変数名について、コンパイラーが追跡しなければならないのは、それがグローバル変数であるかローカル変数であるか、および最初のグローバルまたはローカルを基準としたアドレスです。変数。

i;[すべてが整数/ポインタであったため、型を指定する必要がなかった]のようなグローバル宣言が与えられた場合、コンパイラーは次のaddress_of_i = next_global++; memory[address_of_i] = 0;ようi++に処理し、ステートメントは次のように処理されますmemory[address_of_i] = memory[address_of_i]+1;。

のような宣言arr[10];はとして処理されaddress_of_arr = next_global; memory[next_global] = next_global; next_global += 10;ます。その宣言が処理されるとすぐarrに、コンパイラーは配列であることをすぐに忘れる可能性があることに注意してください。のようなステートメントarr[i]=6;はとして処理されmemory[memory[address_of_a] + memory[address_of_i]] = 6;ます。コンパイラーはarr、配列とi整数のどちらを表すか、またはその逆かを気にしません。実際、両方が配列であるか、両方が整数であるかは問題ではありません。結果として生じる振る舞いが有用であるかどうかに関係なく、記述されているように完全に幸福にコードを生成します。

Cプログラミング言語の目標の1つは、Bとほぼ互換性を持つことでした。Bでは、配列の名前（Bの用語では「ベクトル」と呼ばれます）は、最初にポイントするために割り当てられたポインターを保持する変数を識別しました指定されたサイズの割り当ての最初の要素に追加されるため、その名前が関数の引数リストにある場合、関数はベクトルへのポインタを受け取ります。Cが「実際の」配列型を追加しましたが、その名前は、最初に割り当てを指すポインター変数ではなく、割り当てのアドレスに厳密に関連付けられていましたが、配列をポインターに分解すると、Cタイプの配列を宣言するコードは同じように動作しますベクトルを宣言し、そのアドレスを保持する変数を決して変更しないBコードに。

実際には&myarray、myarray両方ともベースアドレスです。

使用する代わりに違いを確認したい場合

printf("my_array = %p\n", my_array);
printf("my_array = %p\n", &my_array);

使用する

printf("my_array = %s\n", my_array);
printf("my_array = %p\n", my_array);