異なる文字列リテラルへの2つのcharポインタのアドレスは同じです

#include<stdio.h>
#include<string.h>

int main()
{
    char * p = "abc";
    char * p1 = "abc";
    printf("%d %d", p, p1);
}

2つのポインタの値を出力すると、同じアドレスが出力されます。どうして？

同じ内容の2つの異なる文字列リテラルを同じメモリ位置に配置するか、異なるメモリ位置に配置するかは、実装によって異なります。

同じアドレスを指している場合とそうでない場合があるためp、常にとp1を2つの異なるポインタとして扱う必要があります（同じ内容であっても）。コンパイラの最適化に頼るべきではありません。

C11標準、6.4.5、文字列リテラル、セマンティクス

それらの要素が適切な値を持っている場合、これらの配列が異なるかどうかは指定されていません。プログラムがそのような配列を変更しようとした場合、動作は定義されていません。

印刷の形式は%p次のとおりです。

  printf("%p %p", (void*)p, (void*)p1);

理由については、この回答を参照してください。

あなたのコンパイラは非常に賢いようで、両方のリテラルが同じであることを検出します。また、リテラルは定数であるため、コンパイラーはそれらを2回格納しないことを決定しました。

これは必ずしもそうである必要はないことを言及する価値があるようです。参照してくださいブルームーンさん、この上の答えを。

ところで：printf()ステートメントは次のようになります

printf("%p %p", (void *) p, (void *) p1);

as"%p"はポインタ値を出力するために使用され、タイプのポインタに対してvoid *のみ定義されます。^{* 1}

また、コードにはreturnステートメントが欠けていると思いますが、C標準は変更の過程にあるようです。他の人は親切にこれを明らかにするかもしれません。

^{* 1：void *ここへのキャストは、char *ポインターには必要ありませんが、他のすべてのタイプへのポインターには必要です。}

あなたのコンパイラは「文字列プーリング」と呼ばれる何かをしました。同じ文字列リテラルを指す2つのポインタが必要であると指定したため、リテラルのコピーは1つだけ作成されました。

技術的には：ポインタを「const」にしないことについて不平を言うべきでした

const char* p = "abc";

これは、Visual Studioを使用しているか、-WallなしでGCCを使用していることが原因である可能性があります。

それらをメモリに2回保存することを明示的に希望する場合は、次のことを試してください。

char s1[] = "abc";
char s2[] = "abc";

ここでは、文字への2つのポインターではなく、2つのc文字列文字配列が必要であることを明示的に指定します。

警告：文字列プーリングはコンパイラ/オプティマイザの機能であり、言語の側面ではありません。そのため、さまざまな環境でのさまざまなコンパイラは、最適化レベル、コンパイラフラグ、文字列がさまざまなコンパイル単位にあるかどうかなどに応じて、さまざまな動作を生成します。

他の人が言っているように、コンパイラはそれらが同じ値を持っていることに気づいているので、最終的な実行可能ファイルでデータを共有することを決定しています。しかし、それはより巧妙になります：私が以下をコンパイルするとgcc -O

#include<stdio.h>
#include<string.h>

int main()
{
  char * p = "abcdef";
  char * p1 = "def";
  printf("%d %d", p, p1);
}

それ4195780 4195783は私のために印刷します。つまり、のp13バイト後に開始するpため、GCCはdef（\0ターミネータを含む）の共通サフィックスを確認し、表示したものと同様の最適化を実行しました。

^{（コメントするには長すぎるので、これは答えです。）}

コード内の文字列リテラルは、コードの読み取り専用データセグメントに格納されます。「abc」のような文字列リテラルを書き留めると、実際には「const char *」が返され、コンパイラの警告がすべて表示されている場合は、その時点でキャストしていることがわかります。この質問で指摘したまさにその理由から、これらの文字列を変更することは許可されていません。

文字列リテラル（ "abc"）を作成すると、文字列リテラルを含むメモリに保存され、同じ文字列リテラルを参照すると再利用されます。したがって、両方のポインタが同じ場所を指します。 abc "文字列リテラルが格納されます。

私はこれを少し前に学んだので、それを本当に明確に説明しなかったかもしれません、ごめんなさい。

これは実際に使用しているコンパイラによって異なります。

TC ++ 3.5を使用する私のシステムでは、2つのポインターに対して2つの異なる値、つまり2つの異なるアドレスを出力します。。

コンパイラは、メモリ内の値の存在をチェックし、その存在に応じて、同じ参照を再割り当てまたは使用するように設計されています。、同じ値が参照されている場合、以前に格納された値のをています。

したがって、コンパイラがコードを解析する方法に依存するため、あまり考えないでください。

それで全部です...

文字列「abc」自体がメモリ内のアドレスであるためです。もう一度「abc」と書くと、同じアドレスが保存されます

これはコンパイラの最適化ですが、移植性のための最適化を忘れてください。コンパイルされたコードは、実際のコードよりも読みやすい場合があります。

文字列リテラルを使用しています、

complierが2つの同じ文字列リテラルをキャッチすると、

同じメモリ位置を与えるため、同じポインタ位置を示します。/